אימות שבבים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ סיווג תבניות עדכון/השלמה* |
זה טעות systemc הוא בעצם אוסף של class's ו interfaces בC++ , מקור https://en.wikipedia.org/wiki/SystemC עריכה |
||
שורה 29:
* VERA של חברת synopsys
* Specman שנוצרה במקור בחברת Verisity ונרכשה על ידי חברת [[cadence]]. הכלי המתאים ל[[מעגל אלקטרוני דיגיטלי|מעגלים דיגיטליים]]. את סביבות הווריפיקציה של ספקמן כותבים בשפת התכנות e.
* SystemC, המבוססת על שפת ++C, ומיועדת בעיקר עבור דיזיין שנוצר ב SystemC
*כמו כן ישנן חברות רבות אשר משתמשות בכלים פנימיים אשר עושים שימוש בשפות סטנדרטיות כגון verilog או C
| |||