scientific article; zbMATH DE number 1852160

zbMATH Open1002.68673MaRDI QIDQ4787231FDOQ4787231

Authors: Steve McKeever, Wayne Luk 

Publication date: 9 January 2003

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

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

Recommendations

• Provably-correct hardware compilation tools based on pass separation techniques
• Publication:4942020
• Formal verification for high-assurance behavioral synthesis
• An approach to the specification and verification of a hardware compilation scheme
• Lightweight verification of separate compilation

Mathematics Subject Classification ID

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

Cited In (1)

• Provably-correct hardware compilation tools based on pass separation techniques

Uses Software

• PROSPER

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 Q4787231)