4166 search results - page 525 / 834 » Automating the constraining process |
118
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
CT The traditional approach to worst-case static-timing analysis is becoming unacceptably conservative due to an ever-increasing number of circuit and process effects. We propose a...
141
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
134
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
In this paper, we describe a set of compiler analyses and an implementation that automatically map a sequential and un-annotated C program into a pipelined implementation, targete...
113
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
In this paper, we systematically define three transaction level TLMs), which reside at different levels of abstraction between the functional and the implementation model of a DSP...
133
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
With the advent of deep-submicron technologies, it has become essential to model the impact of physical/layout effects up front in all design flows [1]. The effect of layout paras...