Verified compilation of communicating processes into clocked circuits

DOI10.1007/BF01211459zbMath0905.68038MaRDI QIDQ1267038

K. Appert

Publication date: 11 January 1999

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

zbMATH Keywords

clocked implementationprotocol conversion

Mathematics Subject Classification ID

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

Cites Work

• Process simulation and refinement
• Retargeting a hardware compiler using protocol converters
• Handshake Circuits
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Verified compilation of communicating processes into clocked circuits