scientific article; zbMATH DE number 4043765

MaRDI QIDQ3780897zbMATH OpenFDO

Authors Janusz Brzozowski

Publication date 1987

zbMATH Keywords

logic circuitoscillationstate transitionsstray delaystiming problems

Mathematics Subject Classification ID

Recommendations

• Automatic Verification of Sequential Circuits Using Temporal Logic
• Hazards, critical races, and metastability
• Extensions of asynchronous circuits and the delay problem. I: Good extensions and the delay problem of the first kind
• Formal Modeling and Analysis of Timed Systems
• scientific article; zbMATH DE number 680239

Cited in

(4)

• Algorithmic Aspects of MOS VLSI Switch-Level Simulation with Race Detection
• scientific article; zbMATH DE number 51958 (Why is no real title available?)
• scientific article; zbMATH DE number 680239 (Why is no real title available?)
• \(G\)-vector: A new model for glitch analysis in logic circuits

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