Behavior tables: a basis for system representation and transformational system synthesis
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Research Demonstration of a Hardware Reference-Counting Heap
Lisp and Symbolic Computation
A refinement calculus for the synthesis of verified hardware descriptions in VHDL
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algebraic Models of Superscalar Microprocessor Implementations: A Case Study
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Verification of an optimized fault-tolerant clock synchronization circuit
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)
Hi-index | 0.02 |