Metastability-Containing Circuits

DOI10.1109/TC.2018.2808185zbMath1433.68038arXiv1606.06570MaRDI QIDQ4683259

Christoph Lenzen, Stephan Friedrichs, Matthias Függer

Publication date: 20 September 2018

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

Full work available at URL: https://arxiv.org/abs/1606.06570

Mathematics Subject Classification ID

94C12: Fault detection; testing in circuits and networks

68M07: Mathematical problems of computer architecture

94C11: Switching theory, applications of Boolean algebras to circuits and networks

Related Items

On specifications and proofs of timed circuits