Analysis of cyclic combinational circuits

DOI10.1109/43.293952MaRDI QIDQ3546383zbMATH OpenOpenAlexFDO

Authors Sharad Malik

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

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 2102721
• Logic circuit design. Selected methods
• Cyclic Boolean circuits
• scientific article; zbMATH DE number 4153916
• Test Sets for Combinational Logic—The Edge-Tracing Approach

Cited in

(19)

• Racing conditions in analog combinational circuits composed of adders and multipliers
• Studying the controllabiity of combinational circuits
• A graph based semantics for logical functional diagrams in power plant controllers
• Evaluating Datalog via tree automata and cycluits
• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
• scientific article; zbMATH DE number 1670772 (Why is no real title available?)
• A modular formal semantics for Ptolemy
• Constructive polychronous systems
• scientific article; zbMATH DE number 4153916 (Why is no real title available?)
• Formal Reasoning About Causality Analysis
• The Generation of Completion Signals in Iterative Combinational Circuits
• The determination of the cycle length in high level synthesis
• Cyclic Boolean circuits
• Constructive Boolean circuits and the exactness of timed ternary simulation
• scientific article; zbMATH DE number 2102721 (Why is no real title available?)
• Formal Modeling and Analysis of Timed Systems
• Gödel, Escher, Bell: contextual semantics of logical paradoxes
• A complete theory of sequential digital circuits: denotational, operational and algebraic semantics
• Backdoor sets for DLL subsolvers

This page was built for publication: Analysis of cyclic combinational circuits

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