Abstract interpretation of combinational asynchronous circuits

DOI10.1016/j.scico.2006.03.007zbMath1129.94049OpenAlexW2042714874WikidataQ59505626 ScholiaQ59505626MaRDI QIDQ859966

Sarah Thompson, Alan Mycroft

Publication date: 22 January 2007

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2006.03.007

zbMATH Keywords

abstract interpretationachronous analysisasynchronous circuitsmulti-valued logicstransitional logics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Analytic circuit theory (94C05) Many-valued logic (03B50)

Related Items (1)

Rewriting semantics of production rule sets

This page was built for publication: Abstract interpretation of combinational asynchronous circuits