International IFIP WG 10.5 Working Conference on Electronic Design Automation Frameworks (4th 1994 Gramado, Rio Grande do Sul, Brazil)