Semantics of digital circuits

Semantics of a hardware design language for Japanese standardization

DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference

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

High-level circuit design

Programming methodology

Formal Techniques for Hardware Allocation

VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications

System Level Specification in Lava

DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1

Designing combinational circuits with list homomorphisms

Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003

Synchronous digital circuits as functional programs

ACM Computing Surveys (CSUR)