Design frameworks have become an important infrastructure for building complex design systems. Electronic Design Automation Frameworks presents a state-of-the-art review of the latest research results covering this topic, results which are also of value for other design frameworks. The book contains the selected proceedings of the Fourth International Working Conference on Electronic Design Frameworks, organized by the International Federation for Information Processing and held in Gramado, Brazil, in November 1994.