scientific article; zbMATH DE number 1852160

MaRDI QIDQ4787231zbMATH OpenFDO

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

Mathematics Subject Classification ID

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

Recommendations

• Provably-correct hardware compilation tools based on pass separation techniques
• scientific article; zbMATH DE number 1418462
• Formal verification for high-assurance behavioral synthesis
• An approach to the specification and verification of a hardware compilation scheme
• Lightweight verification of separate compilation

Cited in

(1)

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

Describes a project that uses

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)