European Design Automation Conference (1995 Brighton, England)