Retargeting a hardware compiler using protocol converters

DOI10.1007/BF01214557zbMath0846.68019WikidataQ123314253 ScholiaQ123314253MaRDI QIDQ1914042

Yanyan Li

Publication date: 22 September 1996

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

occam-like programs

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Computer system organization (68M99)

Related Items (1)

Verified compilation of communicating processes into clocked circuits

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The probe: An addition to communication primitives
• Compiling communicating processes into delay-insensitive VLSI circuits
• Handshake Circuits

This page was built for publication: Retargeting a hardware compiler using protocol converters