scientific article; zbMATH DE number 1852161

MaRDI QIDQ4787232zbMATH OpenFDO

Authors Richard Sharp, Alan Mycroft

Publication date 9 January 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2144/21440228

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of compilers and interpreters (68N20) Mathematical problems of computer architecture (68M07)

Recommendations

• scientific article; zbMATH DE number 1852145
• Correct hardware synthesis
• scientific article; zbMATH DE number 1670812
• scientific article; zbMATH DE number 1979559
• scientific article; zbMATH DE number 1701762

Cited in

(12)

• scientific article; zbMATH DE number 1701762 (Why is no real title available?)
• A reflective functional language for hardware design and theorem proving
• Correct hardware synthesis
• A calculus for hardware description
• Geometry of synthesis: a structured approach to VLSI design
• Synthesizable high level hardware descriptions
• Functional Netlists
• scientific article; zbMATH DE number 139817 (Why is no real title available?)
• SIMD language design using prescriptive semantics
• scientific article; zbMATH DE number 1310108 (Why is no real title available?)
• scientific article; zbMATH DE number 1852145 (Why is no real title available?)
• Higher-level hardware synthesis.

Describes a project that uses

Uses Software

• SAFL

This page was built for publication:

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