שפת התוכנה 'אי' נקבעה כסטנדרט פיתוח

הישג עולמי משמעותי לשפת התוכנה "e" נזקף לזכות מרכז הפיתוח בישראל של קיידנס העולמית (Cadence:CDNS), ובעיקר לזכותו של יואב הולנדר, מפתח השפה, עם הכרזתה כסטנדרט פיתוח על-ידי איגוד הסטנדרטים של המכון העולמי לאלקטרוניקה ולהנדסת חשמל, ה- IEEE -Institute of Electrical and Electronics Engineers.

שפת ה-"e" הינה ייחודית לתחום הוריפיקציה המשמש את תעשיית האלקטרוניקה העולמית, ולמעשה היא שפת הוריפיקציה הראשונה שזוכה לסטנדרטיזציה. שפה זאת נמצאת כיום בשימוש נרחב של מתכנני שבבים ומחשבים ברחבי העולם, שרשמו עד היום 65 מיליון שורות "e".

יואב הולנדר, יזם היי-טק ומי שהקים את חברת התוכנה וריסיטי שנמכרה באפריל 2005 לקיידנס העולמית, הוא מפתח השפה שנקבעה כסטנדרט (IEEE 1647 TM). כיום, מכהן הולנדר כ-CTO בכיר של חטיבת הוריפיקציה בקיידנס העולמית, הממוקמת במרכז הפיתוח של החברה בפארק אפק בראש העין.

הסטנדרט החדש עונה על האתגר הכרוך בוריפיקציה (אימות) של תכנון מערכות שבבים מורכבות (SoC-system-on-chip). הסטנדרט לשפת האימות הפונקציונאלי "e" הינו הסטנדרט האחיד הפתוח הראשון לשפת ה- e באופן ספציפי. שפה זו כוללת תבניות וכלים מתקדמים אשר אינם קיימים בשפות אימות אחרות.

הקביעה כסטנדרט יוצרת שפה יציבה ומוגדרת היטב, המספקת בסיס ליצירת כלי אוטומציה מתקדמים מבוססי "e", המאפשרים התמודדות עם משימות האימות המאסיביות של היום. הסטנדרט מגדיר את עצמאות היישום של שפת ה- e ומפרט את תבניות השפה ואת האינטראקציות שלה עם שפות סימולציה אחרות.

ירון קשאי, יוצא חברת וריסיטי, המכהן כיום כדירקטור קבוצת ההנדסה בחטיבת מחקר הוריפיקציה בקיידנס העולמית, היה מעורב בתהליך הסטנדרטיזציה של שפת ה- "e", במסגרת תפקידו כיו"ר קבוצת העבודה על סטנדרט 1647 באיגוד הסטנדרטים של ה- IEEE.

קשאי אמר, כי "הסטנדרטיזציה של שפת ה- e מהווה ציון דרך משמעותי בתעשיית האלקטרוניקה. כאשר מבני השבבים מגיעים כיום ל- 65 ננומטר ומטה, היצרנים נדרשים לשיטות המתקדמות ביותר בתחום אימות המערכות, על-מנת לתכנן ולייצר מערכות SoCs מתקדמות באופן חסכוני ויעיל".

קשאי הוסיף, כי "הסטנדרט החדש מצייד את המהנדסים והמשתמשים האחרים בשפת תכנות חזקה, מונחית אספקטים (Aspect-Oriented), המאפשרת אימות בר-הרחבה של התכנון האלקטרוני. בנוסף, הסטנדרט החדש מקנה לשפת ה- e את היציבות הנדרשת על-ידי קהילת המשתמשים, הכוללת יותר מ- 75% מחברות האלקטרוניקה הגדולות בעולם. יציבות זו מבטיחה ששפת ה- e תוסיף להתקיים בעת שכלים מתקדמים המבוססים עליה ממשיכים להתפתח".

הסטנדרט החדש IEEE 1647 נבחן ואושר על-ידי 55 מומחים מהתעשיה והאקדמיה. "אנו מעריכים את הזמן והעבודה הקשה שהושקעה בכך, על-ידי קהילת המתנדבים של ה- IEEE שפיתחו, בחנו והצביעו לסטנדרט חשוב זה", אומר קשאי.