Sciweavers

570 search results - page 30 / 114
» The behavior of resistive circuits
Sort
View
ASPDAC
2004
ACM
144views Hardware» more  ASPDAC 2004»
13 years 11 months ago
Verification of timed circuits with symbolic delays
When time is incorporated in the specification of discrete systems, the complexity of verification grows exponentially. When the temporal behavior is specified with symbols, the ve...
Robert Clarisó, Jordi Cortadella
ISQED
2005
IEEE
169views Hardware» more  ISQED 2005»
14 years 1 months ago
ASLIC: A Low Power CMOS Analog Circuit Design Automation
This paper proposes an efficient automation platform that provides fast and reliable path to analog circuit design for desired specifications. Circuit heuristics and hierarchy a...
Jihyun Lee, Yong-Bin Kim
JISE
2000
68views more  JISE 2000»
13 years 7 months ago
Testable Path Delay Fault Cover for Sequential Circuits
We present an algorithm for identifyinga set of faults that do not have to be targeted by a sequential delay fault test generator. These faults either cannot independently aect th...
Angela Krstic, Srimat T. Chakradhar, Kwang-Ting Ch...
CDC
2008
IEEE
119views Control Systems» more  CDC 2008»
14 years 2 months ago
Dissipativity properties of detailed models of synchronous generators
— This paper studies the dissipativity properties of full order dynamic models of synchronous generators. It is shown that, under widely accepted assumptions, these models satisf...
Alvaro Giusto, Alex M. Stankovic, Romeo Ortega
ISQED
2008
IEEE
103views Hardware» more  ISQED 2008»
14 years 1 months ago
Process Variation Characterization and Modeling of Nanoparticle Interconnects for Foldable Electronics
— Designers require variational information for robust designs. Characterization of such information can be costly for the novel nanoparticle interconnect process, which utilize ...
Rasit Onur Topaloglu