LCS—a leaf cell synthesizer employing formal deduction techniques
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
A rule-based circuit representation for automated CMOS design and verification
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
DFTEXPERT: an expert system for design of testable VLSI circuits
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
A Model-Based Expert System for Digital System Design
IEEE Design & Test
Exploring Test Space with Fuzzy Decision Making
IEEE Design & Test
Artificial intelligence for design
Formal engineering design synthesis
Automatic knowledge acquisition in a digital circuit design system
EURO-DAC '90 Proceedings of the conference on European design automation
Hi-index | 0.00 |
First Page of the Article