Sciweavers

Share
DATE
2009
IEEE
100views Hardware» more  DATE 2009»
9 years 10 months ago
Increasing the accuracy of SAT-based debugging
Equivalence checking and property checking are powerful techniques to detect error traces. Debugging these traces is a time consuming design task where automation provides help. I...
André Sülflow, Görschwin Fey, C&e...
DATE
2009
IEEE
209views Hardware» more  DATE 2009»
9 years 10 months ago
A graph grammar based approach to automated multi-objective analog circuit design
— This paper introduces a graph grammar based approach to automated topology synthesis of analog circuits. A grammar is developed to generate circuits through production rules, t...
Angan Das, Ranga Vemuri
DATE
2009
IEEE
176views Hardware» more  DATE 2009»
9 years 10 months ago
Automated synthesis of streaming C applications to process networks in hardware
Abstract—The demand for embedded computing power is continuously increasing and FPGAs are becoming very interesting computing platforms, as they provide huge amounts of customiza...
Sven van Haastregt, Bart Kienhuis
DATE
2009
IEEE
202views Hardware» more  DATE 2009»
9 years 10 months ago
Design as you see FIT: System-level soft error analysis of sequential circuits
Soft errors in combinational and sequential elements of digital circuits are an increasing concern as a result of technology scaling. Several techniques for gate and latch hardeni...
Daniel Holcomb, Wenchao Li, Sanjit A. Seshia
DATE
2009
IEEE
71views Hardware» more  DATE 2009»
9 years 10 months ago
A MEMS reconfigurable quad-band Class-E Power Amplifier for GSM standard
Luca Larcher, Riccardo Brama, Marcello Ganzerli, J...
DATE
2009
IEEE
122views Hardware» more  DATE 2009»
9 years 10 months ago
Model-based synthesis and optimization of static multi-rate image processing algorithms
Abstract—High computational effort in modern image processing applications like medical imaging or high-resolution video processing often demands for massively parallel special p...
Joachim Keinert, Hritam Dutta, Frank Hannig, Chris...
DATE
2009
IEEE
120views Hardware» more  DATE 2009»
9 years 10 months ago
Overcoming limitations of the SystemC data introspection
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
Christian Genz, Rolf Drechsler
DATE
2009
IEEE
150views Hardware» more  DATE 2009»
9 years 10 months ago
A software-supported methodology for exploring interconnection architectures targeting 3-D FPGAs
—Interconnect structures significantly contribute to the delay, power consumption, and silicon area of modern reconfigurable architectures. The demand for higher clock frequencie...
Kostas Siozios, Vasilis F. Pavlidis, Dimitrios Sou...
DATE
2009
IEEE
141views Hardware» more  DATE 2009»
9 years 10 months ago
How to speed-up your NLFSR-based stream cipher
— Non-Linear Feedback Shift Registers (NLFSRs) have been proposed as an alternative to Linear Feedback Shift Registers (LFSRs) for generating pseudo-random sequences for stream c...
Elena Dubrova
books