scientific article; zbMATH DE number 139813

MaRDI QIDQ4028147zbMATH OpenFDO

Authors George A. McCaskill, Jim McIntosh, George J. Milne, Andrew D. Bailey

Publication date 28 March 1993

zbMATH Keywords

automatic verification of digital circuitscircal process algebracircal-system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Fault detection; testing in circuits and networks (94C12)

Recommendations

• An exercise in the automatic verification of asynchronous designs
• Automatic Verification of Sequential Circuits Using Temporal Logic
• scientific article; zbMATH DE number 5181778
• scientific article; zbMATH DE number 177530
• scientific article; zbMATH DE number 177245

Cited in

(8)

• scientific article; zbMATH DE number 4033043 (Why is no real title available?)
• CIRC: A Behavioral Verification Tool Based on Circular Coinduction
• System Semantics and formal circuit description
• \(\Pi\)-Ware: hardware description and verification in Agda
• An exercise in the automatic verification of asynchronous designs
• Semantics of digital circuits
• An automated proof technique for finite-state machine equivalence
• The Alex language for circuit description

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