Sciweavers

1581 search results - page 79 / 317
» Date Warehouse Design
Sort
View
150
Voted
DATE
2003
IEEE
91views Hardware» more  DATE 2003»
15 years 8 months ago
Fast and Accurate Multiprocessor Architecture Exploration with Symbolic Programs
In system-level platform-based embedded systems design, the mapping model is a crucial link between the application model and the architecture model. All three models must match w...
Vladimir D. Zivkovic, Erwin A. de Kock, Pieter van...
121
Voted
DATE
2010
IEEE
163views Hardware» more  DATE 2010»
15 years 8 months ago
Optimizing equivalence checking for behavioral synthesis
Abstract—Behavioral synthesis is the compilation of an Electronic system-level (ESL) design into an RTL implementation. We present a suite of optimizations for equivalence checki...
Kecheng Hao, Fei Xie, Sandip Ray, Jin Yang
DATE
2010
IEEE
158views Hardware» more  DATE 2010»
15 years 8 months ago
Ultra low-power 12-bit SAR ADC for RFID applications
The design and first measuring results of an ultra-low power 12bit Successive-Approximation ADC for autonomous multi-sensor systems are presented. The comparator and the DAC are o...
Daniela De Venuto, Eduard Stikvoort, David Tio Cas...
104
Voted
DATE
2000
IEEE
97views Hardware» more  DATE 2000»
15 years 7 months ago
Layout-Oriented Synthesis of High Performance Analog Circuits
This paper presents a methodology towards synthesis of high performance analog circuits. Layout parasitics are estimated and compensated during circuit sizing. Physical layout con...
Mohamed Dessouky, Marie-Minerve Louërat, Jack...
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 7 months ago
Formal verification of analog circuits in the presence of noise and process variation
We model and verify analog designs in the presence of noise and process variation using an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we propose ...
Rajeev Narayanan, Behzad Akbarpour, Mohamed H. Zak...