Building Circuits from Relations

Autor:	James H. Kukula, Thomas R. Shiple
Rok vydání:	2000
Předmět:	Combinational logic Theoretical computer science Computer science Circuit design Symbolic simulation Equivalent circuit Arithmetic Formal verification Circuit extraction Hardware_LOGICDESIGN Logic optimization Electronic circuit
Zdroj:	Computer Aided Verification ISBN: 9783540677703 CAV
DOI:	10.1007/10722167_12
Popis:	Given a Free BDD for the characteristic function of an input-output relation T(x, y), we show how to construct a combinational logic circuit satisfying that relation. Such relations occur as environmental constraints for module specifications, as parts of a proof strategies, or can be computed from existing circuits, e.g., by formal analysis of combinational cycles. The resulting circuit C can be used for further analysis, e.g. symbolic simulation, or to reformat a circuit as a logic optimization tactic.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::c0f3d437758f2e73f3e71fd6b41af3a4 https://doi.org/10.1007/10722167_12 Zobrazit plný text záznamu