1730 search results - page 181 / 346 » Computer Aided Design Modeling for Heterogeneous Objects |
139
click to vote
LAWEB
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we present a novel approach for designing the interface of rich internet applications. Our approach uses ract Data Views (ADV) design model allowing expressing in a ...
145
Voted
GLVLSI
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we propose a novel statistical capacitance extraction method for interconnects considering process variations. The new method, called statCap, is based on the spect...
145
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
123
click to vote
ISPD
2010
ACM
15 years 9 months ago
2010
ACM
Standard cells are fundamental circuit building blocks designed at very early design stages. Nanometer standard cells are prone to lithography proximity and process variations. Ho...
117
Voted
DAC
2005
ACM
15 years 4 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...