Sciweavers

ASPDAC
2009
ACM
144views Hardware» more  ASPDAC 2009»
16 years 14 days ago
Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis
Iterative retiming and resynthesis is a powerful way to optimize sequential circuits but its massive adoption has been hampered by the hardness of verification. This paper tackle...
Nikolaos D. Liveris, Hai Zhou, Prithviraj Banerjee
124
Voted
ASPDAC
2009
ACM
99views Hardware» more  ASPDAC 2009»
16 years 14 days ago
From restrictive to prescriptive design
Leon Stok
113
Voted
ASPDAC
2009
ACM
118views Hardware» more  ASPDAC 2009»
16 years 14 days ago
Automatic instrumentation of embedded software for high level hardware/software co-simulation
Aimen Bouchhima, Patrice Gerin, Frédé...
ASPDAC
2009
ACM
249views Hardware» more  ASPDAC 2009»
16 years 14 days ago
Automatic generation of Cycle Accurate and Cycle Count Accurate transaction level bus models from a formal model
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
Chen Kang Lo, Ren-Song Tsay
132
Voted
ASPDAC
2009
ACM
114views Hardware» more  ASPDAC 2009»
16 years 2 months ago
Exploring adjacency in floorplanning
Jia Wang, Hai Zhou
120
Voted
ASPDAC
2009
ACM
164views Hardware» more  ASPDAC 2009»
16 years 2 months ago
Gen-Adler: the Generalized Adler's equation for injection locking analysis in oscillators
Prateek Bhansali, Jaijeet S. Roychowdhury
128
Voted
ASPDAC
2009
ACM
95views Hardware» more  ASPDAC 2009»
16 years 2 months ago
A multi-task-oriented security processing architecture with powerful extensibility
Dan Cao, Jun Han, Xiaoyang Zeng, Shi-ting Lu
ASPDAC
2009
ACM
108views Hardware» more  ASPDAC 2009»
16 years 2 months ago
Synthesis of networks on chips for 3D systems on chips
Three-dimensional stacking of silicon layers is emerging as a promising solution to handle the design complexity and heterogeneity of Systems on Chips (SoCs). Networks on Chips (N...
Srinivasan Murali, Ciprian Seiculescu, Luca Benini...
200
Voted
ASPDAC
2009
ACM
110views Hardware» more  ASPDAC 2009»
16 years 2 months ago
Variability-aware robust design space exploration of chip multiprocessor architectures
Abstract— In the context of a design space exploration framework for supporting the platform-based design approach, we address the problem of robustness with respect to manufactu...
Gianluca Palermo, Cristina Silvano, Vittorio Zacca...
179
Voted
ASPDAC
2009
ACM
122views Hardware» more  ASPDAC 2009»
16 years 2 months ago
Accelerating statistical static timing analysis using graphics processing units
Kanupriya Gulati, Sunil P. Khatri