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

DOI10.1016/0304-3975(91)90309-PzbMATH Open0732.68084OpenAlexW2112559201MaRDI QIDQ808726FDOQ808726

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

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

zbMATH Keywords

propositional logichardware designcalculus of designsynchronous combination switching circuits

Mathematics Subject Classification ID

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

Cites Work

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

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
• Title not available (Why is that?)
• 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)