Test pattern generation for sequential MOS circuits by symbolic fault simulation
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Computer architecture: a quantitative approach
Computer architecture: a quantitative approach
Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
Edge-valued binary decision diagrams for multi-level hierarchical verification
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Reduced order LQG controllers for linear time varying plants
Systems & Control Letters
A proof of the nonrestoring division algorithm and its implementation on an ALU
Formal Methods in System Design - Special issue on designing correct circuits
Verification of arithmetic circuits with binary moment diagrams
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Formal verification of iterative algorithms in microprocessors
Proceedings of the 37th Annual Design Automation Conference
Modular Verification of SRT Division
Formal Methods in System Design
Divider Circuit Verification with Model Checking and Theorem Proving
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
BDDs: design, analysis, complexity, and applications
Discrete Applied Mathematics - Optimal discrete structure and algorithms (ODSA 2000)
Formal Verification of the VAMP Floating Point Unit
Formal Methods in System Design
BDDs-design, analysis, complexity, and applications
Discrete Applied Mathematics
A novel implementation of radix-4 floating-point division/square-root using comparison multiples
Computers and Electrical Engineering
| Hi-index | 0.00 |