De gunst van ASML

Verum verovert hightech Nederland stormenderhand. In de zes jaar die het bedrijf nu bestaat, heeft het ICT, Logica en Tass gestrikt als consultancypartner en klanten binnengehaald als ASMI, CCM, Fei, NXP, Philips Apptech, Philips Healthcare en Sioux. Het whiteboard in het kantoor van Rob Howe vermeldt nog veel meer grote namen als leads. ASML staat daar vast al heel lang tussen, maar het wil Verum maar niet lukken een voet tussen de deur te krijgen in Veldhoven.

Op het Esi-symposium begin december van het afgelopen jaar kwamen de resultaten naar buiten van Wings. Dit project heeft voor ASML de timingperformance van de Veldhovense waferstage onder de loep genomen door het systeem formeel te modelleren. Aan de hand van de resulterende modellen heeft het vervolgens de correctheid geverifieerd en in kaart gebracht welke ingrepen welke prestatieverbeteringen met zich meebrengen, tegen welke kosten en risico‘s.

Formele modellering en verificatie van een complex softwaresysteem, een kolfje naar de hand van Verum. Toch was het Waalrese bedrijf de grote afwezige bij Wings. In plaats van Howe en de zijnen in de arm te nemen en de ASD-technologie los te laten op de stage, heeft ASML gekozen voor het Embedded Systems Institute in combinatie met Poosl, een formele modellerings- en specificatietaal die is ontwikkeld aan de TU Eindhoven.