Sciweavers

261 search results - page 34 / 53
» Optimal Hardware Pattern Generation for Functional BIST
Sort
View
ASPDAC
2009
ACM
184views Hardware» more  ASPDAC 2009»
14 years 22 days ago
FastRoute 4.0: global router with efficient via minimization
The number of vias generated during the global routing stage is a critical factor for the yield of final circuits. However, most global routers only approach the problem by chargin...
Yue Xu, Yanheng Zhang, Chris Chu
IOLTS
2008
IEEE
117views Hardware» more  IOLTS 2008»
14 years 3 months ago
Verification and Analysis of Self-Checking Properties through ATPG
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
Marc Hunger, Sybille Hellebrand
FCCM
2011
IEEE
331views VLSI» more  FCCM 2011»
13 years 14 days ago
Synthesis of Platform Architectures from OpenCL Programs
—The problem of automatically generating hardware modules from a high level representation of an application has been at the research forefront in the last few years. In this pap...
Muhsen Owaida, Nikolaos Bellas, Konstantis Dalouka...
DATE
2007
IEEE
72views Hardware» more  DATE 2007»
14 years 3 months ago
The impact of loop unrolling on controller delay in high level synthesis
Loop unrolling is a well-known compiler optimization that can lead to significant performance improvements. When used in High Level Synthesis (HLS) unrolling can affect the contr...
Srikanth Kurra, Neeraj Kumar Singh, Preeti Ranjan ...
CAV
2012
Springer
222views Hardware» more  CAV 2012»
11 years 11 months ago
Leveraging Interpolant Strength in Model Checking
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
Simone Fulvio Rollini, Ondrej Sery, Natasha Sharyg...