• DocumentCode
    1483305
  • Title

    Functional description of connector-switch-attenuator networks

  • Author

    Cerny, E. ; Gecesi, J.

  • Author_Institution
    Dept. of Inf. & Res. Oper., Montreal Univ., Que., Canada
  • Volume
    37
  • Issue
    1
  • fYear
    1988
  • fDate
    1/1/1988 12:00:00 AM
  • Firstpage
    111
  • Lastpage
    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
  • Keywords
    electron device testing; failure analysis; field effect integrated circuits; logic testing; switching networks; characteristic functions; connector-switch-attenuator networks; digital MOS circuits; formal verification; functional description; switch-level abstraction; Attenuation; Attenuators; Circuit simulation; Connectors; Formal verification; Logic circuits; MOSFETs; Switches; Switching circuits; Very large scale integration;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/12.75142
  • Filename
    75142
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1483305