Tool integration and construction using generated graph-based design representations

Organized C: A unified method of handling data in CAD algorithms and databases

DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference

Fast hierarchical multi-level fault simulation of sequential circuits with switch-level accuracy

DAC '93 Proceedings of the 30th international Design Automation Conference

Tcl and the Tk toolkit

Tcl and the Tk toolkit

Integrating CAD tools into a framework environment using a flexible and adaptable procedural interface

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

CORAL II: linking behavior and structure in an IC design system

DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference

The Verilog hardware description language (4th ed.)

The Verilog hardware description language (4th ed.)

An efficient multi-view design model for real-time interactive synthesis

ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design

Equivalent design representations and transformations for interactive scheduling

ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design

An object-oriented persistent database interface for CAD

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

A design representation for high level synthesis

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