Sciweavers

DATE
2003
IEEE
105views Hardware» more  DATE 2003»
14 years 2 months ago
Approximation Approach for Timing Jitter Characterization in Circuit Simulators
A new computational concept of timing jitter is proposed that is suitable for exploitation in circuit simulators. It is based on the approximation of computed noise characteristic...
Mark M. Gourary, Sergey G. Rusakov, Sergey L. Ulya...
DATE
2003
IEEE
96views Hardware» more  DATE 2003»
14 years 2 months ago
Test Data Compression: The System Integrator's Perspective
Test data compression (TDC) is a promising low-cost methodology for System-on-a-Chip (SOC) test. This is due to the fact that it can reduce not only the volume of test data but al...
Paul Theo Gonciari, Bashir M. Al-Hashimi, Nicola N...
DATE
2003
IEEE
133views Hardware» more  DATE 2003»
14 years 2 months ago
A Flexible Object-Oriented Software Architecture for Smart Wireless Communication Devices
This paper describes the design considerations of and preliminary conclusions drawn from an ongoing project dealing with the design of a software architecture for a family of so-c...
Marco Göltze
DATE
2003
IEEE
80views Hardware» more  DATE 2003»
14 years 2 months ago
Verification of Proofs of Unsatisfiability for CNF Formulas
Evguenii I. Goldberg, Yakov Novikov
DATE
2003
IEEE
85views Hardware» more  DATE 2003»
14 years 2 months ago
Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...
Amit Goel, Randal E. Bryant
DATE
2003
IEEE
180views Hardware» more  DATE 2003»
14 years 2 months ago
Communication Centric Architectures for Turbo-Decoding on Embedded Multiprocessors
Software implementations of channel decoding algorithms are attractive for communication systems with their large variety of existing and emerging standards due to their flexibil...
Frank Gilbert, Michael J. Thul, Norbert Wehn
DATE
2003
IEEE
123views Hardware» more  DATE 2003»
14 years 2 months ago
RTOS Modeling for System Level Design
System level synthesis is widely seen as the solution for closing the productivity gap in system design. High level system models are used in system level design for early design ...
Andreas Gerstlauer, Haobo Yu, Daniel Gajski
DATE
2003
IEEE
86views Hardware» more  DATE 2003»
14 years 2 months ago
Improved Time Domain Simulation of Optical Multimode Intrasystem Interconnects
To increase the bandwidth of high-performance intrasystem interconnections optical multimode waveguides can be used. Since the design procedure of optical interconnections has to ...
Jens Gerling, Oliver Stübbe, Jürgen Schr...
DATE
2003
IEEE
109views Hardware» more  DATE 2003»
14 years 2 months ago
Run-Time Management of Logic Resources on Reconfigurable Systems
Dynamically reconfigurable systems based on partial and dynamically reconfigurable FPGAs may have their functionality partially modified at run-time without stopping the operation...
Manuel G. Gericota, Gustavo R. Alves, Miguel L. Si...
DATE
2003
IEEE
87views Hardware» more  DATE 2003»
14 years 2 months ago
A First Step Towards Hw/Sw Partitioning of UML Specifications
This paper proposes a novel methodology tailored to design embedded systems, taking into account the emerging market needs, such as hw/sw partitioning, object-oriented specificati...
William Fornaciari, P. Micheli, Fabio Salice, L. Z...