Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Proof-aided design of verified hardware
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Model checking and abstraction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
EURO-DAC '92 Proceedings of the conference on European design automation
Algorithms for approximate FSM traversal
DAC '93 Proceedings of the 30th international Design Automation Conference
Reducing BDD size by exploiting functional dependencies
DAC '93 Proceedings of the 30th international Design Automation Conference
Fitting formal methods into the design cycle
DAC '94 Proceedings of the 31st annual Design Automation Conference
HSIS: a BDD-based environment for formal verification
DAC '94 Proceedings of the 31st annual Design Automation Conference
Specification and verification of VHDL-based system-level hardware designs
Specification and validation methods
Symbolic Model Checking
Invited Talk: Formal Design in an Industrial Research Laboratory: Lessons and Perspectives
Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits
Verification of a production cell using an automatic verification environment for VHDL
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
RuleBase: an industry-oriented formal verification tool
DAC '96 Proceedings of the 33rd annual Design Automation Conference
The maximal VHDL subset with a cycle-level abstraction
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Model checking of S3C2400X industrial embedded SOC product
Proceedings of the 38th annual Design Automation Conference
Addressing dynamic issues of program model checking
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Towards Automated Proof of Fail-Safe Behaviour
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Formal Verification of an Industrial System-on-a-Chip
ICCD '00 Proceedings of the 2000 IEEE International Conference on Computer Design: VLSI in Computers & Processors
Observability Checking to Enhance Diagnosis of Real Time Electronic Systems
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
| Hi-index | 0.00 |