Codasip כללה דגמי התייחסות של Imperas ב- Testbenches שלה כדי להבטיח זרימת אימות יעילה המתאימה למגוון רחב של תכונות ואפשרויות גמישות תוך שינוי קנה המידה על פני מפת הדרכים כולה של ליבות עתידיות כדי לאפשר אישור קפדני של איכות פונקציונלית
אימפראס, ספיקת פתרונות אימות עבור RISC-V, ו- Codasip, ספקית IP של מעבד RISC-V הניתן להתאמה אישית, הודיעה היום כי קודסיפ אימצה את עיצובי הייחוס של אימפראס ואת פתרון ה- DV של Imperas עבור Codasip IP. Codasip השקיעה רבות באימות מעבדים כדי לספק מעבדי RISC-V איכותיים.
Codasip כללה דגמי התייחסות של Imperas ב- Testbenches שלה כדי להבטיח זרימת אימות יעילה המתאימה למגוון רחב של תכונות ואפשרויות גמישות תוך שינוי קנה המידה על פני מפת הדרכים כולה של ליבות עתידיות כדי לאפשר אישור קפדני של איכות פונקציונלית.
RISC-V היא ארכיטקטורה מודולרית המציעה יכולות רבות ושונות של הוראות בסיס, הרחבות אופציונליות סטנדרטיות והוראות מותאמות אישית – המעלה חששות לגבי בטיחות היישומים וגורמת סיכון לפיצול. הבדיקה הפנימית של Codasip כבר משתמשת במודל פנימי מדויק להוראות, במספר מקורות של בדיקות ישירות ואקראיות (פנימיות ומבחוץ), ובמספר טכנולוגיות שונות כדי לבדוק ולהבטיח תאימות למעבד. מודלי הפניה הניתנים להגדרה של Imperas כבר נבדקו במלואם ומאפשרים את כל אפשרויות התצורה הדרושות כדי לתמוך בתצוגה מקיפה זו.