אימות שבבים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ ←אופן הביצוע: תקליד |
Lotankantor (שיחה | תרומות) |
||
שורה 21:
== כלי וריפיקציה ==
כיום השפות הנפוצות בקידוד לוריפיקציה הם:
*
* VERA של חברת synopsys
* Specman שנוצרה במקור בחברת Verisity ונרכשה על ידי חברת [[cadence]]. הכלי המתאים ל[[מעגל אלקטרוני דיגיטלי|מעגלים דיגיטליים]]. את סביבות הווריפיקציה של ספקמן כותבים בשפת התיכנות e.
*כמו כן ישנן חברות רבות אשר משתמשות בכלים פנימיים אשר עושים שימוש בשפות סטנדרטיות כגון verilog או C
== סביבת העבודה ==
|