531 search results - page 2 / 107 » Formal Methods for Networks on Chips |
ASPDAC
2009
ACM
14 years 4 months ago
2009
ACM
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...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we present a novel simulation approach for power grid network analysis. The new approach, called ETBR for extended truncated balanced realization, is based on model...
ASPDAC
2006
ACM
14 years 3 months ago
2006
ACM
DAC
2006
ACM
14 years 3 months ago
2006
ACM
A novel routing algorithm, namely dynamic XY (DyXY) routing, is proposed for NoCs to provide adaptive routing and ensure deadlock-free and livelock-free routing at the same time. ...
CAV
2009
Springer
14 years 4 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...