On embedding a microarchitectural design language within Haskell
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Modeling a Hardware Synthesis Methodology in Isabelle
Formal Methods in System Design
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Overview of Hydra: A Concurrent Language for Synchronous Digital Circuit Design
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Elementary Microarchitecture Algebra
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
A methodology for generating verified combinatorial circuits
Proceedings of the 4th ACM international conference on Embedded software
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |