Using a language of functions and relations for VLSI specification
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Formal Methods in System Design
Lava: hardware design in Haskell
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Ensuring correctness of ruby transformations
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
Hi-index | 0.00 |