COSMOS: a compiled simulator for MOS circuits
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Efficient partitioning and analysis of digital CMOS-circuits
ICCAD '92 1992 IEEE/ACM international conference proceedings on Computer-aided design
Analysis of switch-level faults by symbolic simulation
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Fast incremental circuit analysis using extracted hierarchy
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Hierarchical Simulation of MOS Circuits Using Extracted Functional Models
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Partitioning and analysis of static digital CMOS circuits
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Applications of Boolean Satisfiability to Verification and Testing of Switch-Level Circuits
Journal of Electronic Testing: Theory and Applications
| Hi-index | 0.00 |