The formal verification of a pipelined double-precision IEEE floating-point multiplier
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Discovering auxiliary information for incremental computation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Verbalization of high-level formal proofs
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Formal verification of iterative algorithms in microprocessors
Proceedings of the 37th Annual Design Automation Conference
Efficiency by Incrementalization: An Introduction
Higher-Order and Symbolic Computation
Verifying the SRT Division Algorithm Using Theorem Proving Techniques
Formal Methods in System Design
A Systematic Incrementalization Technique and Its Application to Hardware Design
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Verification of an optimized fault-tolerant clock synchronization circuit
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
| Hi-index | 0.00 |