Sciweavers

ASPDAC
2009
ACM
144views Hardware» more  ASPDAC 2009»
13 years 9 months 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
ASPDAC
2009
ACM
249views Hardware» more  ASPDAC 2009»
13 years 9 months 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
ASPDAC
2009
ACM
114views Hardware» more  ASPDAC 2009»
13 years 10 months ago
Exploring adjacency in floorplanning
Jia Wang, Hai Zhou
ASPDAC
2009
ACM
95views Hardware» more  ASPDAC 2009»
13 years 10 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»
13 years 10 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...
ASPDAC
2009
ACM
110views Hardware» more  ASPDAC 2009»
13 years 10 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...