Asynchronous Sequential Switching Circuits with Unrestricted Input Changes

DOI10.1109/T-C.1971.223155MaRDI QIDQ5646782zbMATH OpenFDO

Authors S. H. Unger

Publication date 1971

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/T-C.1971.223155

Mathematics Subject Classification ID

Cited in

(4)

• On specifications and proofs of timed circuits
• Faithful dynamic timing analysis of digital circuits using continuous thresholded mode-switched ODEs
• Newtonian arbiters cannot be proven correct
• Gate circuits in the algebra of transients

This page was built for publication: Asynchronous Sequential Switching Circuits with Unrestricted Input Changes

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