Sciweavers

DATE
2008
IEEE
126views Hardware» more  DATE 2008»
14 years 1 months ago
State Skip LFSRs: Bridging the Gap between Test Data Compression and Test Set Embedding for IP Cores
1 We present a new type of Linear Feedback Shift Registers, State Skip LFSRs. State Skip LFSRs are normal LFSRs with the addition of a small linear circuit, the State Skip circuit,...
V. Tenentes, Xrysovalantis Kavousianos, Emmanouil ...
DATE
2008
IEEE
142views Hardware» more  DATE 2008»
14 years 1 months ago
Algorithms for Maximum Satisfiability using Unsatisfiable Cores
Many decision and optimization problems in Electronic Design Automation (EDA) can be solved with Boolean Satisfiability (SAT). Moreover, well-known extensions of SAT also find app...
João Marques-Silva, Jordi Planes
DATE
2008
IEEE
163views Hardware» more  DATE 2008»
14 years 1 months ago
A Simulation Methodology for Worst-Case Response Time Estimation of Distributed Real-Time Systems
In this paper, we propose a simulation-based methodology for worst-case response time estimation of distributed realtime systems. Schedulability analysis produces pessimistic uppe...
Soheil Samii, Sergiu Rafiliu, Petru Eles, Zebo Pen...
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
14 years 1 months ago
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
DATE
2008
IEEE
113views Hardware» more  DATE 2008»
14 years 1 months ago
Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC)
In this paper, the problem of spatial mapping is defined. Reasons are presented to show why performing spatial mappings at run-time is both necessary and desirable and criteria fo...
Philip K. F. Hölzenspies, Johann Hurink, Jan ...
DATE
2008
IEEE
118views Hardware» more  DATE 2008»
14 years 1 months ago
Layout Level Timing Optimization by Leveraging Active Area Dependent Mobility of Strained-Silicon Devices
Advanced MOSFETs such as Strained Silicon (SS) devices have emerged as critical enablers to keep Moore's law on track for sub100nm technologies. Use of Strained Silicon devic...
Ashutosh Chakraborty, Sean X. Shi, David Z. Pan
FPL
2007
Springer
98views Hardware» more  FPL 2007»
14 years 1 months ago
Module Graph Merging and Placement to Reduce Reconfiguration Overheads in Paged FPGA Devices
Reconfiguration time in dynamically-reconfigurable modular systems can severely limit application run-time compared to the critical path delay. In this paper we present a novel ...
Shannon Koh, Oliver Diessel
FPL
2007
Springer
107views Hardware» more  FPL 2007»
14 years 1 months ago
L4: An FPGA-Based Accelerator for Detailed Maze Routing
John A. Nestor, Jeremy Lavine
EUROCAST
2007
Springer
105views Hardware» more  EUROCAST 2007»
14 years 1 months ago
Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic
Antonio Morales, Isabel Navarrete, Guido Sciavicco
EUROCAST
2007
Springer
97views Hardware» more  EUROCAST 2007»
14 years 1 months ago
XML Rules for Enclitic Segmentation
Fco. Mario Barcala, Miguel A. Molinero, Eva Dom&ia...