The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (1988 vol.37)
pp: 111-114
ABSTRACT
The switch-level abstraction of digital MOS circuits has been used primarily in simulators. In formal verification, a functional description must be first extracted from the switch network. It is shown here how the theory of characteristic functions can be applied to analyze such networks and to extract their functional description.
INDEX TERMS
connector-switch-attenuator networks; switch-level abstraction; digital MOS circuits; formal verification; functional description; characteristic functions; electron device testing; failure analysis; field effect integrated circuits; logic testing; switching networks.
CITATION
E. Cerny, J. Gecesi, "Functional Description of Connector-Switch-Attenuator Networks", IEEE Transactions on Computers, vol.37, no. 1, pp. 111-114, January 1988, doi:10.1109/12.75142
7 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool