scientific article; zbMATH DE number 1852161

zbMATH Open1002.68621MaRDI QIDQ4787232FDOQ4787232

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

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1852145
• Correct hardware synthesis
• Publication:2754132
• scientific article; zbMATH DE number 1979559
• scientific article; zbMATH DE number 1701762

Mathematics Subject Classification ID

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

Cited In (10)

• Higher-level hardware synthesis.
• Synthesizable high level hardware descriptions
• SIMD language design using prescriptive semantics
• Title not available (Why is that?)
• Correct hardware synthesis
• Title not available (Why is that?)
• Title not available (Why is that?)
• A reflective functional language for hardware design and theorem proving
• Title not available (Why is that?)
• A calculus for hardware description

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)