System Semantics and formal circuit description

DOI10.1109/TCS.1986.1085878zbMath0624.94020OpenAlexW2117611429MaRDI QIDQ3026918

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

formal reasoninganalog circuitsbidirectionaldigital systemscircuit theorysemantic functionsmeaning functionssystem semanticsunidirectional information flow

Mathematics Subject Classification ID

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

Related Items (1)

A formal language description and inference strategy for analog circuit design

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