Sciweavers

1151 search results - page 175 / 231
» Automatic Generation of Complex Properties for Hardware Desi...
Sort
View
ASPDAC
2006
ACM
148views Hardware» more  ASPDAC 2006»
15 years 7 months ago
TAPHS: thermal-aware unified physical-level and high-level synthesis
Thermal effects are becoming increasingly important during integrated circuit design. Thermal characteristics influence reliability, power consumption, cooling costs, and performan...
Zhenyu (Peter) Gu, Yonghong Yang, Jia Wang, Robert...
120
Voted
DATE
2004
IEEE
158views Hardware» more  DATE 2004»
15 years 7 months ago
Bandwidth-Constrained Mapping of Cores onto NoC Architectures
We address the design of complex monolithic systems, where processing cores generate and consume a varying and large amount of data, thus bringing the communication links to the e...
Srinivasan Murali, Giovanni De Micheli
ITC
2003
IEEE
134views Hardware» more  ITC 2003»
15 years 9 months ago
Effectiveness Improvement of ECR Tests
Energy Consumption Ratio (ECR) test, a current-based test, has shown its ability to reduce the impact of process variations and detect hard-to-detect faults. The effectiveness of ...
Wanli Jiang, Erik Peterson, Bob Robotka
133
Voted
ISPD
1999
ACM
112views Hardware» more  ISPD 1999»
15 years 8 months ago
Arbitrary convex and concave rectilinear block packing using sequence-pair
The sequence-pair was proposed in 1994 as a representation of the packing of rectangles of general structure. Since then, there have been e orts to expand its applicability over s...
Kunihiro Fujiyoshi, Hiroshi Murata
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
15 years 9 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong