Retargeting a hardware compiler using protocol converters

DOI10.1007/BF01214557MaRDI QIDQ1914042zbMATH OpenWikidataFDO

Authors Yanyan Li

Publication date 22 September 1996

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

Full work available at URL https://doi.org/10.1007/BF01214557

zbMATH Keywords

occam-like programs

Mathematics Subject Classification ID

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

Recommendations

• Verified compilation of communicating processes into clocked circuits
• scientific article; zbMATH DE number 1941090
• scientific article; zbMATH DE number 2084355
• scientific article; zbMATH DE number 1033650

Cites work

• Compiling communicating processes into delay-insensitive VLSI circuits
• Handshake Circuits
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 139979 (Why is no real title available?)
• scientific article; zbMATH DE number 194039 (Why is no real title available?)
• The probe: An addition to communication primitives

Cited in

(3)

• Verified compilation of communicating processes into clocked circuits
• scientific article; zbMATH DE number 1941090 (Why is no real title available?)
• scientific article; zbMATH DE number 2084355 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1914042)