Principles of CMOS VLSI design: a systems perspective
Principles of CMOS VLSI design: a systems perspective
Synapse: An Expert System for VLSI Design
Computer - Special issue on expert systems in engineering
Testable Realizations for FET Stuck-Open Faults in CMOS Combinational Logic Circuits
IEEE Transactions on Computers
ALPS: a generator of static CMOS layout from Boolean expressions
Proceedings of the fourth MIT conference on Advanced research in VLSI
Formal Verification of Fault Tolerance Using Theorem-Proving Techniques
IEEE Transactions on Computers
SOCRATES: a system for automatically synthesizing and optimizing combinational logic
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Elements of the Theory of Computation
Elements of the Theory of Computation
Introduction to Formal Language Theory
Introduction to Formal Language Theory
Formal design verification of digital systems
DAC '83 Proceedings of the 20th Design Automation Conference
A formal design verification system based on an automated reasoning system
DAC '84 Proceedings of the 21st Design Automation Conference
MOSSIM: A switch-level simulator for MOS LSI
DAC '81 Proceedings of the 18th Design Automation Conference
SIMULATION TOOLS FOR DIGITAL LSI DESIGN
SIMULATION TOOLS FOR DIGITAL LSI DESIGN
A new control strategy for an artificial intelligence approach to VLSI layout compaction
Integration, the VLSI Journal
| Hi-index | 0.01 |
A novel rule-based circuit representation is proposed to describe the connectivities of CMOS circuits at the transistor level. The unique feature of the rule-based representation is its ability to automate CMOS circuit design and verification. A precise symbolic description of the functionality of a transistor-level circuit can be derived based on a set of production rules in linear time. Automated synthesis and verification of CMOS logic circuits are demonstrated.