Deductive Hardware Design: A Functional Approach
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Mirroring: a technique for pipelining semi-systolic and systolic arrays
Integration, the VLSI Journal
On teaching fast adder designs: revisiting ladner & fischer
Theoretical Computer Science
Hi-index | 0.00 |