Compiling pascal programs into silicon (design automation, hardware synthesis)

Using bottom-up design techniques in the synthesis of digital hardware from abstract behavioral descriptions

25 years of DAC Papers on Twenty-five years of electronic design automation

Testability analysis and improvement from VHDL behavioral specifications

EURO-DAC '94 Proceedings of the conference on European design automation

Formulation and evaluation of scheduling techniques for control flow graphs

EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation

Using bottom-up design techniques in the synthesis of digital hardware from abstract behavioral descriptions

DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference

PPS: a pipeline path-based scheduler

EDTC '95 Proceedings of the 1995 European conference on Design and Test

A design representation for high level synthesis

EURO-DAC '90 Proceedings of the conference on European design automation