DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
Customizable processors are being used increasingly often in SoC designs. During the past few years, they have proven to be a good way to solve the conflicting flexibility and p...
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Modern integrated radio systems require highly linear analog/RF circuits. Two-tone simulations are commonly used to study a circuit’s nonlinear behavior. Very often, ...
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
Extreme transistor scaling trends in silicon technology are soon to reach a point where manufactured systems will suffer from limited device reliability and severely reduced life...
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper describes a DfT solution for modern seriallink transceivers. We first summarize the architectures of the Crosstalk Canceller and the Equalizer used in advanced transcei...
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
Alcatel Alenia Space is deeply involved in the Galileo program at many stages. In particular, Alcatel Alenia Space has successfully designed and delivered the very first navigatio...