Sciweavers

92 search results - page 5 / 19
» aspdac 2004
Sort
View
ASPDAC
2004
ACM
71views Hardware» more  ASPDAC 2004»
14 years 26 days ago
Golay and wavelet error control codes in VLSI
– This paper presents a high speed VLSI implementation of wavelet and golay error control codes. The design has been fabricated by MOSIS in a TSMC 0.25 µm CMOS process. Experime...
Arunkumar Balasundaram, Angelo Pereira, Jun-Cheol ...
ASPDAC
2004
ACM
72views Hardware» more  ASPDAC 2004»
14 years 26 days ago
Exploiting state encoding for invariant generation in induction-based property checking
— This paper focuses on checking safety properties for sequential circuits specified on the RTlevel. We study how different state encodings can be used to create a gate-level r...
Markus Wedler, Dominik Stoffel, Wolfgang Kunz
ASPDAC
2004
ACM
81views Hardware» more  ASPDAC 2004»
14 years 26 days ago
High-frequency noise in RF active CMOS mixers
- A new analytical model for high-frequency noise in RF active CMOS mixers such as single-balanced and double-balanced architectures is presented. The analysis includes the contrib...
Payam Heydari
ASPDAC
2004
ACM
106views Hardware» more  ASPDAC 2004»
14 years 26 days ago
A novel memory size model for variable-mapping in system level design
— It is predicted that 70% of the chip area will be occupied by memories in future system-onchips. The minimization of on-chip memory hence becomes increasingly important for cos...
Lukai Cai, Haobo Yu, Daniel Gajski
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