scientific article; zbMATH DE number 177245

MaRDI QIDQ4037096zbMATH OpenFDO

Authors Mark B. Josephs, Jan Tijmen Udding

Publication date 18 May 1993

zbMATH Keywords

delay-insensitive circuitsprocess algebrastate-graph and production-rule based methodsverification of designsvoltage-level transitions

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 177530
• A formal approach to designing delay-insensitive circuits
• scientific article; zbMATH DE number 3869222
• scientific article; zbMATH DE number 1962772
• Algebraic circuits
• scientific article; zbMATH DE number 578863
• SIMULATION OF FEEDBACK-FREE CIRCUITS IN THE ALGEBRA OF TRANSIENTS
• Algebraic formulation of circuit design problems
• scientific article; zbMATH DE number 493140
• Gate circuits in the algebra of transients

Cited in

(14)

• Compiling communicating processes into delay-insensitive VLSI circuits
• An exercise in the automatic verification of asynchronous designs
• Delay-insensitivity and ternary simulation
• scientific article; zbMATH DE number 3869222 (Why is no real title available?)
• scientific article; zbMATH DE number 4051519 (Why is no real title available?)
• scientific article; zbMATH DE number 108492 (Why is no real title available?)
• scientific article; zbMATH DE number 139813 (Why is no real title available?)
• scientific article; zbMATH DE number 177530 (Why is no real title available?)
• scientific article; zbMATH DE number 194039 (Why is no real title available?)
• scientific article; zbMATH DE number 1438577 (Why is no real title available?)
• Algebraic Approach to Ambiguity-Group Determination in Nonlinear Analog Circuits
• Controllable delay-insensitive processes
• Receptive process theory
• A formal approach to designing delay-insensitive 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 Q4037096)