System Semantics and formal circuit description

DOI10.1109/TCS.1986.1085878MaRDI QIDQ3026918zbMATH OpenOpenAlexFDO

Authors Raymond Boute

Publication date 1986

Published in IEEE Transactions on Circuits and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tcs.1986.1085878

zbMATH Keywords

analog circuitsbidirectionalcircuit theorydigital systemsformal reasoningmeaning functionssemantic functionssystem semanticsunidirectional information flow

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Circuits, networks (94C99)

Recommendations

• scientific article; zbMATH DE number 3993456
• Semantics of digital circuits
• scientific article; zbMATH DE number 139813
• scientific article; zbMATH DE number 750003
• scientific article; zbMATH DE number 2084337

Cited in

(9)

• Semantics of digital circuits
• A formal language description and inference strategy for analog circuit design
• Circuit representation for design and diagnosis of electronic systems
• scientific article; zbMATH DE number 2084337 (Why is no real title available?)
• scientific article; zbMATH DE number 3852958 (Why is no real title available?)
• scientific article; zbMATH DE number 3993456 (Why is no real title available?)
• Representational and denotational semantics of digital systems
• Diagrammatic Semantics for Digital Circuits.
• On semantic descriptions of software systems

This page was built for publication: System Semantics and formal circuit description

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