Sciweavers

3229 search results - page 146 / 646
» Mixing
Sort
View
DAC
1996
ACM
15 years 5 months ago
Symphony: A Simulation Backplane for Parallel Mixed-Mode Co-Simulation of VLSI Systems
In this paper we present an integrated simulation paradigm in which parallel mixed-mode co-simulation is accomplished by integrating sequential simulators in a software simulation ...
Antonio R. W. Todesco, Teresa H. Y. Meng
71
Voted
ICCD
1992
IEEE
75views Hardware» more  ICCD 1992»
15 years 4 months ago
Fast Minimization of Mixed-Polarity AND/XOR Canonical Networks
Marek A. Perkowski, Laszlo Csanky, Andisheh Sarabi...
112
Voted
ASPDAC
2007
ACM
158views Hardware» more  ASPDAC 2007»
15 years 4 months ago
Symbolic Model Checking of Analog/Mixed-Signal Circuits
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
David Walter, Scott Little, Nicholas Seegmiller, C...