טכנולוגיה

Veriest מטמיעה מתודולוגית Formal Verification בחברת Valens

Veriest New Logo Nov2014 80 60

העבודה מאפשרת לחברה המובילה בתחום בחיבוריות לשוק הרכב לשפר את איכות ויעילות התכן.

Veriest Solutions , חברה מובילה בתחום שירותי תכנון אלקטרוני, הודיעה היום על השלמת פרוייקט להטמעת מתודולוגית Formal Verification בחברת Valens, חברה מובילה בתחום פתרונות חיבוריות עבור שוקי האודיו-וידאו והרכב, בתקן HDBaseT.

במהלך הפרוייקט, מהנדסי וריאסט הגדירו ויישמו מתודולוגיה כדי להוסיף Formal Verification לשיטות הוריפיקציה בValens, אשר הביאו לאיכות ויעילות תכן משופרים.

מלבד יצירת רכיב Formal VIP עבור ממשק HDBaseT, Formal Verification מהווה כעת חלק ממערך הבדיקות עבור ליבת עיבוד הRISC שפותחה בחברה, לצד מנהל תורים ועוד בלוקים חיוניים.

משה זלצברג, מנכ"ל Veriest, אמר: " יותר ויותר מלקוחותינו נעזרים בעוצמה של Formal Verification אשר, לצד טכניקות וריפיקציה נוספות, מאפשרות צוותי פיתוח להשיג רמת כיסוי בדיקתיות גבוהה יותר, בהרבה פחות מאמץ ומשאבים. למומחים שלנו יש את הניסיון הדרוש על מנת להטמיע שיטות פורמליות לסביבות פיתוח קיימות ולסייע ללקוחותינו לאמץ יכולות אלה אליהם."

איתמר ניצן, מנהל הוריפיקציה של Valens הוסיף: "אנו מאוד מרוצים מהשירותים שקיבלנו מVeriest – המומחיות של האנשים היתה גורם מכריע למאמצים שלנו להטמיע מתודולוגית Formal Verification בחברה. בעזרתם, הצלחנו להוסיף כלים אלו לסביבת הפיתוח שלנו ולהשיג תוצאות מצוינות – תוך כדי הפרעה מינימלית למהלך העבודה היומיומי שלנו"

מוביל תחום ה Formal Verification בחברת Veriest, אלחנן רפפורט, יעביר מצגת בנושא "שימוש ב Formal Verificationלבדיקת מעבד ייעודי", המבוסס על ניסיונו בValens', במהלך כנס CDNLive Israel של חברת ת ,Cadenceשיתקיים היום, במלון "דויד אינטרקונטיננטל", תל-אביב.

לפרטים נוספים הקליקו כאן

מערכת SemIsrael