A theory for the derivation of combination C-mos circuit designs

DOI10.1016/0304-3975(91)90309-PMaRDI QIDQ808726zbMATH OpenOpenAlexFDO

Authors Tony Hoare

Publication date 1991

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(91)90309-p

zbMATH Keywords

propositional logichardware designcalculus of designsynchronous combination switching circuits

Mathematics Subject Classification ID

Classical propositional logic (03B05) Theory of computing (68Q99)

Recommendations

• scientific article; zbMATH DE number 3959288
• Synthesis and optimization of combinational interface circuits
• scientific article; zbMATH DE number 4045666
• Systematic design of analog CMOS circuits. Using pre-computed lookup tables
• Design of Voltage-Mode and Current-Mode Computational Circuits Using Floating-Gate MOS Transistors
• Design automation for differential MOS current-mode logic circuits
• Combinatorial cell design for CMOS libraries
• scientific article; zbMATH DE number 2158973

Cites work

• A Switch-Level Model and Simulator for MOS Digital Systems
• Guarded commands, nondeterminacy and formal derivation of programs

Cited in

(7)

• A model for synchronous switching circuits and its theory of correctness
• A backtracing-oriented procedure for the analysis of combinational gate-level designs
• A discrete formalization of switch-level circuit behavior
• scientific article; zbMATH DE number 4045666 (Why is no real title available?)
• Design of Voltage-Mode and Current-Mode Computational Circuits Using Floating-Gate MOS Transistors
• Switching theory. Insight through predicate logic
• A logic-topological calculus for the construction of integrated circuits. I

This page was built for publication: A theory for the derivation of combination C-mos circuit designs

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