Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Combined Formal Post- and Presynthesis Verification in High Level Synthesis
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Hardware Verification Using Co-induction in COQ
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Improving hardware designs whilst simplifying their proof
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
Hi-index | 0.00 |