Issue No.01 - January (1988 vol.37)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.75142
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.
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.
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