חבורת וריסיטי שועטת שוב

זוכרים את חברת וריסיטי? חברת הווריפיקציה הישראלית שהוקמה בשנת 1995 ע"י יואב הולנדר ופיתחה פתרונות מתקדמים לאימות תכנוני שבבים כמו ה-Specman ושפת ה- e verification. ובכן לאחר שהנפיקה מניותיה בנסד"אק ונמכרה לקיידנס בשנת 2005 ב-315 מליון דולר בילה יואב 10 שנים בקיידנס עד שאש היזמות שבה לבעור בעצמותיו., ב-2015 הקים את חברת פורטליקס ( Foretellix ).

בתחילה עבד על פיתוח הרעיון כמעט לבדו אבל בשנה האחרונה צירף איליו שני שותפים בכירים. גיל אמיד שהצטרף לפורטליקס לאחר 10 שנות עבודה באינטל ומשמש כיום כסגן נשיא לתפעול ופיתוח עסקי וזיו בנימיני שהיה סמנכ"ל פיתוח בוריסיטי ומשמש החל ממרץ השנה כמנכ"ל המיזם החדש. פורטליקס הוקמה כדי לספק כלי בדיקה ושיטות אימות מתקדמות למערכות אוטונומיות .לא עבר זמן רב עד שיואב הבין כי ההזדמנות המענינת קיימת בשוק המכוניות האוטונומיות ולשם מכוונת פורטלקיס. בכוונת פורטליקס לשפר את רמת הבטיחות במכוניות האוטונומיות ע"י פיתוח פתרונות אימות חדשנים . כדרכו בקודש גם הפעם החליט יואב לפתח שפות אימות חדשות ולקבע סטנדרטים מקורים אשר ישמשו את תעשיית הרכבים האוטונומים שנמצאת עדיין בראשית דרכה. כמוביל דרך הוא גם מנהל בלוג עצמאי בו הוא מעלה פוסטים העוסקים בנושאי וריפיקציה ומתאר את ממצאיו ותוכניותיו לפיתוח מערכות אימות שיבטיחו את בטיחותן של המכוניות האוטונומיות. להבדיל ממערכות אימות לפיתוח שבבים כאן כבר מדובר במערכת שתוכל למנוע תאונות ובמקרים קיצונים אף להציל חיי אדם.

פורטליקס עדיין פועלת תחת מעטה חשאיות, היא אמנם גייסה כבר כספים ממשקיעים אך ממעטת לחשוף את פעולותיה. מעיון ברשימת ה-  Advisory board שלה ניתן לגלות כי ברשימת האנשים המלווים את החברה נמצאים בנוסף להולנדר עוד כמה מהאישים הדומיננטים בחייה של ווריסיטי כולל משה גבריאלוב (שסיים לאחרונה את תפקידו כמנכ"ל Xilinx) ושימש כמנכ"ל וריסיטי בזמן מכירתה לקיידנס וזוהר זיסאפל, נשיא קבוצת רד שהיה בין המשקיעים הגדולים של וריסיטי. כמו כן חברים במועצה המייעצת של פורטליקס פרופ' עמירם יהודאי, מי ששימש בעבר כיו"ר ביה"ס למדעי המחשב באונב' ת"א, היזם הסדרתי, בני שניידר, וערן זנדהוז, ששימש עד לפני כשנה כסגן נשיא בכיר של חברת מכלולי הרכב Delphi ומביא עימו ידע רב בתחום המכוניות האוטונומיות ביחד עם היכרות טובה של שוק השבבים העולמי בעקבות עבודתו בחברות קוואלקום, Cypress, TI ומרוול .

החבורה המכובדת הזו שוקדת על פיתוח מערכת אימות אינטיליגנטית תוך שהיא מנסה להתמודד עם אתגר לא פשוט של מילארדי מצבים אפשרים בסדרי גודל חדשים ( GigaScale) ולהציע פתרונות מהירים שיבטיחו את בטחונם של המשתמשים באותם כלי רכב מתקדמים.