Constructive Boolean circuits and the exactness of timed ternary simulation

DOI10.1007/S10703-012-0144-6zbMath1303.94148OpenAlexW1978909743MaRDI QIDQ453539

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

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)

Related Items (3)

Constructive semantics for instantaneous reactions ⋮ Constructive Boolean circuits and the exactness of timed ternary simulation ⋮ Denotational fixed-point semantics for constructive scheduling of synchronous concurrency

Uses Software

• Esterel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructive Boolean circuits and the exactness of timed ternary simulation
• Notions of computation and monads
• LCF considered as a programming language
• Propositional lax logic
• A lattice-theoretical fixpoint theorem and its applications
• Analysis of cyclic combinational circuits
• General theory of metastable operation
• On a Ternary Model of Gate Networks
• Hazards, critical races, and metastability
• Characterising combinational timing analyses in intuitionistic modal logic
• Hazard Detection in Combinational and Sequential Switching Circuits
• Application of Ternary Algebra to the Study of Static Hazards
• A Note on Three-Valued Logic Simulation

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