Constructive Boolean circuits and the exactness of timed ternary simulation

DOI10.1007/S10703-012-0144-6MaRDI QIDQ453539zbMATH OpenOpenAlexFDO

Authors Michael Mendler, Thomas R. Shiple, Gérard Berry

Publication date 27 September 2012

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-012-0144-6

zbMATH Keywords

constructive logiccombinational circuitsdelay modelsternary simulation

Mathematics Subject Classification ID

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

Recommendations

• Generalized ternary simulation of sequential circuits
• Delay-insensitivity and ternary simulation
• scientific article; zbMATH DE number 8785
• A Characterization of Ternary Simulation of Gate Networks
• An optimistic ternary simulation of gate races

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3568549 (Why is no real title available?)
• scientific article; zbMATH DE number 3640837 (Why is no real title available?)
• scientific article; zbMATH DE number 711039 (Why is no real title available?)
• scientific article; zbMATH DE number 2042609 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 2102721 (Why is no real title available?)
• scientific article; zbMATH DE number 791802 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A Note on Three-Valued Logic Simulation
• A lattice-theoretical fixpoint theorem and its applications
• Analysis of cyclic combinational circuits
• Application of Ternary Algebra to the Study of Static Hazards
• Characterising combinational timing analyses in intuitionistic modal logic
• Constructive Boolean circuits and the exactness of timed ternary simulation
• General theory of metastable operation
• Hazard Detection in Combinational and Sequential Switching Circuits
• Hazards, critical races, and metastability
• LCF considered as a programming language
• Notions of computation and monads
• On a Ternary Model of Gate Networks
• Propositional lax logic

Cited in

(9)

• scientific article; zbMATH DE number 791802 (Why is no real title available?)
• Generalized ternary simulation of sequential circuits
• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
• Constructive semantics for instantaneous reactions
• scientific article; zbMATH DE number 3924682 (Why is no real title available?)
• scientific article; zbMATH DE number 3956984 (Why is no real title available?)
• scientific article; zbMATH DE number 2090126 (Why is no real title available?)
• An optimistic ternary simulation of gate races
• Constructive Boolean circuits and the exactness of timed ternary simulation

Describes a project that uses

Uses Software

• Esterel

This page was built for publication: Constructive Boolean circuits and the exactness of timed ternary simulation

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