A common framework for mixed hardware/software systems

MaRDI QIDQ4494235zbMATH OpenFDO

Authors He Jifeng

Publication date 10 August 2000

zbMATH Keywords

programming operatorsspecification languageVERILOG hardware description language

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Timed Chi: modeling, simulation and verification of hardware systems
• An algebraic approach to the VERILOG programming.
• scientific article; zbMATH DE number 1418462
• Formal specification and analysis of hardware systems in timed Chi

Cited in

(5)

• MMIXware. A RISC computer for the third millennium.
• Timed Chi: modeling, simulation and verification of hardware systems
• scientific article; zbMATH DE number 3848604 (Why is no real title available?)
• Validation of mixed signal-alpha real-time systems through affine calculus on clock synchronisation constraints
• Formal specification and analysis of hardware systems in timed Chi

This page was built for publication: A common framework for mixed hardware/software systems

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