Formal verification using parametric representations of Boolean constraints
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
On embedding a microarchitectural design language within Haskell
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Formal verification of iterative algorithms in microprocessors
Proceedings of the 37th Annual Design Automation Conference
A hybrid verification approach: getting deep into the design
Proceedings of the 39th annual Design Automation Conference
Sequential Equivalence Checking by Symbolic Simulation
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Reachability Programming in HOL98 Using BDDs
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Divider Circuit Verification with Model Checking and Theorem Proving
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Xs are for Trajectory Evaluation, Booleans are for Theorem Proving
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Proof Engineering in the Large: Formal Verification of Pentium® 4 Floating-Point Divider
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Formal verification of the FPGA cores
Nordic Journal of Computing
High level formal verification of next-generation microprocessors
Proceedings of the 40th annual Design Automation Conference
Providing a formal linkage between MDG and HOL
Formal Methods in System Design
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Formal specification for building robust real-time microkernels
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Intel® Core™i7 processor execution engine validation in a functional language based formal framework
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Formal verification of pentium ® 4 components with symbolic simulation and inductive invariants
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Component reuse in b using ACL2
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
A mechanically verified AIG-to-BDD conversion algorithm
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
High level reduction technique for multiway decision graphs based model checking
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
Combining theorem proving and symbolic trajectory evaluation in THM&STE
HVC'11 Proceedings of the 7th international Haifa Verification conference on Hardware and Software: verification and testing
| Hi-index | 0.00 |