אימות שבבים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שורה 23:
== כלי וריפיקציה ==
כיום השפות הנפוצות בקידוד לוריפיקציה הם:
*[[systemVerilog]] - הרחבה של שפת [[Verilog]] שנועדה לאפשר תאור גם של הדזיין וגם של הוריפיקציה באותה שפה (IEEE 1800TM)
* VERA של חברת synopsys
* Specman שנוצרה במקור בחברת Verisity ונרכשה על ידי חברת [[cadence]]. הכלי המתאים ל[[מעגל אלקטרוני דיגיטלי|מעגלים דיגיטליים]]. את סביבות הווריפיקציה של ספקמן כותבים בשפת התיכנות e.
| |||