Analysis of cyclic combinational circuits
From MaRDI portal
Publication:3546383
DOI10.1109/43.293952zbMath1303.94147OpenAlexW3141112769MaRDI QIDQ3546383
Publication date: 21 December 2008
Published in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/43.293952
Related Items (8)
Constructive Polychronous Systems ⋮ Backdoor sets for DLL subsolvers ⋮ Constructive Boolean circuits and the exactness of timed ternary simulation ⋮ Formal Reasoning About Causality Analysis ⋮ Evaluating Datalog via tree automata and cycluits ⋮ A modular formal semantics for Ptolemy ⋮ A graph based semantics for logical functional diagrams in power plant controllers ⋮ Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
This page was built for publication: Analysis of cyclic combinational circuits