222 search results - page 14 / 45 » Verifying an Arbiter Circuit |
IOLTS
2009
IEEE
14 years 2 months ago
2009
IEEE
—Robust circuit design has become a major concern for nanoscale technologies. As a consequence, for design validation, not only the functionality of a circuit has to be considere...
FMSD
2010
13 years 6 months ago
2010
Abstract Modeling and Simulation Aided Verification of Analog/MixedSignal Circuits S. Little and C. Myers (University of Utah, USA) Monday, July 14, 14:00-17:00 4 14:00-14:40 fSpic...
LICS
2012
IEEE
11 years 10 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
ICCAD
1995
IEEE
13 years 11 months ago
1995
IEEE
In this paper, a new approach to analog test design based on the circuit design process, called Characteristic Observation Inference (COI), is presented. In many situations, it is...
ISCAS
2008
IEEE
14 years 2 months ago
2008
IEEE
—A new 2xVDD-tolerant crystal oscillator circuit realized with 1xVDD CMOS devices without suffering gateoxide reliability issue is proposed, which is one of the key mixedvoltage ...