Refining specifications to programmable logic

MaRDI QIDQ2844819zbMATH OpenFDO

Authors Adrian Hiltont, Jon G. Hall

Publication date 19 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105804840

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The use of B to specify, design and verify hardware
• An approach to the specification and verification of a hardware compilation scheme
• scientific article; zbMATH DE number 139814
• scientific article; zbMATH DE number 1418462
• A compositional framework for hardware/software co-design

Cited in

(1)

• Specification and initialization of a logic computer system

This page was built for publication: Refining specifications to programmable logic

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