Functional abstraction in switch-level simulation
type: CreativeWork
description: Switch-level simulation has become an indispensable tool in the verification of large MOS circuits. In this dissertation, a new approach to switch-level simulation is proposed. The presented approach is based on the observation that most switch-level phenomena, such as bidirectional signal flow, charge sharing, and charge storage, occur infrequently in a design. The circuit is, therefore, analyzed with functional abstraction algorithms prior to the simulation. The functional abstraction algorithms analyse the circuit and abstract from it a high-level model of its operation. This abstracted model is then used as the basis for the simulation of the circuit. Since the operation of the overall circuit, rather than the full functionality of each individual circuit component is modeled during the simulation, the performance of the simulation is greatly increased. However, the full switch-level behavior is captured by the functional abstraction algorithms, and the accuracy of the simulation is maintained.
abstract: Switch-level simulation has become an indispensable tool in the verification of large MOS circuits. In this dissertation, a new approach to switch-level simulation is proposed. The presented approach is based on the observation that most switch-level phenomena, such as bidirectional signal flow, charge sharing, and charge storage, occur infrequently in a design. The circuit is, therefore, analyzed with functional abstraction algorithms prior to the simulation. The functional abstraction algorithms analyse the circuit and abstract from it a high-level model of its operation. This abstracted model is then used as the basis for the simulation of the circuit. Since the operation of the overall circuit, rather than the full functionality of each individual circuit component is modeled during the simulation, the performance of the simulation is greatly increased. However, the full switch-level behavior is captured by the functional abstraction algorithms, and the accuracy of the simulation is maintained.
author: Blaauw, David Theodore
language: eng
keywords: Computer Science
date published: 2011-05-07T12:02:40Z
date modified: 2026-07-22T22:25:12Z
provider: University of Illinois - Urbana-Champaign
publisher: Networked Digital Library of Theses and Dissertations
type: WebPage
source organization: University of Illinois at Urbana-Champaign

PropertyValue
property ID: Handle
value: http://hdl.handle.net/2142/19282