Design flow management in the NELSIS CAD framework
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Design management using dynamically defined flows
DAC '93 Proceedings of the 30th international Design Automation Conference
Requirements-based design evaluation
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
First-order logic and automated theorem proving (2nd ed.)
First-order logic and automated theorem proving (2nd ed.)
A description language for design process management
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Framework encapsulations: a new approach to CAD tool interoperability
DAC '98 Proceedings of the 35th annual Design Automation Conference
WELD—an environment for Web-based electronic design
DAC '98 Proceedings of the 35th annual Design Automation Conference
Database System Concepts
A formal basis for design process planning and management
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Application of constraint-based heuristics in collaborative design
Proceedings of the 38th annual Design Automation Conference
| Hi-index | 0.00 |