259 search results - page 40 / 52 » Using Transformations and Verification in Circuit Design |
93
Voted
DAC
2009
ACM
15 years 7 months ago
2009
ACM
Multicore SOCs rely on runtime thermal measurements using on-chip sensors for DTM. In this paper we address the problem of estimating the actual temperature of on-chip thermal sen...
129
Voted
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
99
Voted
GLVLSI
2005
IEEE
15 years 6 months ago
2005
IEEE
A hierarchical scheme with cells and modules is crucial for managing design complexity during a large integrated circuit design. We present a methodology for thermal aware cell-ba...
92
Voted
DAC
2009
ACM
16 years 1 months ago
2009
ACM
Metal-only ECO realizes the last-minute design changes by revising the photomasks of metal layers only. This task is challenging because the pre-injected spare cells are limited b...
104
Voted
ACSD
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...