Modeling combinational circuits using linear word-level structures

DOI10.1023/B:AURC.0000030911.02374.62MaRDI QIDQ2487692zbMATH OpenOpenAlexFDO

Authors D. Popel, S. Yanushkevich

Publication date 8 August 2005

Published in Automation and Remote Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/b:aurc.0000030911.02374.62

zbMATH Keywords

circuit designword-level representations

Mathematics Subject Classification ID

Analytic circuit theory (94C05)

Recommendations

• scientific article; zbMATH DE number 2114155
• Linear models of circuits based on the multivalued components
• Formal Modeling and Analysis of Timed Systems
• A Practical Approach to Word Level Model Checking of Industrial Netlists
• A word-level graph manipulation package

Cited in

(4)

• Linear models of circuits based on the multivalued components
• A backtracing-oriented procedure for the analysis of combinational gate-level designs
• scientific article; zbMATH DE number 2114155 (Why is no real title available?)
• On the Use of Linear Combination in PWCP-Nets

This page was built for publication: Modeling combinational circuits using linear word-level structures

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