Switzerland) European Design Automation Conference (1996 : Geneva