Sciweavers

4074 search results - page 314 / 815
» Hardware Modelling and Simulation Using an Object-Oriented M...
Sort
View
ECBS
2003
IEEE
91views Hardware» more  ECBS 2003»
15 years 12 months ago
Modeling and Building Reliable, Re-Useable Software
Agile Software practices place great emphasis on coding, yet coding is time-consuming, difficult, and the source of many errors. The paper describes a way in which the specificati...
Ferdinand Wagner, Peter Wolstenholme
ISCAS
1999
IEEE
77views Hardware» more  ISCAS 1999»
15 years 11 months ago
A low-voltage translinear second-order quadrature oscillator
This paper describes the design of a low-voltage translinear second-order quadrature oscillator. The circuit is a direct implementation of a nonlinear second-order state-space desc...
Wouter A. Serdijn, J. Mulder, Michiel H. L. Kouwen...
ASPDAC
2005
ACM
119views Hardware» more  ASPDAC 2005»
15 years 8 months ago
CMP aware shuttle mask floorplanning
- By putting different chips on the same mask, shuttle mask (or multiple project wafer) provides an economical solution for low volume designs and design prototypes to share the ri...
Gang Xu, Ruiqi Tian, David Z. Pan, Martin D. F. Wo...
ICCAD
2009
IEEE
96views Hardware» more  ICCAD 2009»
15 years 4 months ago
PSTA-based branch and bound approach to the silicon speedpath isolation problem
The lack of good "correlation" between pre-silicon simulated delays and measured delays on silicon (silicon data) has spurred efforts on so-called silicon debug. The ide...
Sari Onaissi, Khaled R. Heloue, Farid N. Najm
179
Voted
CAV
1993
Springer
127views Hardware» more  CAV 1993»
15 years 10 months ago
Symbolic Equivalence Checking
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
Jean-Claude Fernandez, Alain Kerbrat, Laurent Moun...