241 search results - page 32 / 49 » Geometry of synthesis: a structured approach to VLSI design |
169
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
Partitioning for the ASIC designs is examined and the interaction between high-level synthesis and partitioning is studied and incorporated in the solution. Four algorithms (calle...
178
click to vote
SIGGRAPH
1996
ACM
15 years 11 months ago
1996
ACM
An important component that has been missing from image synthesis is the effect of weathering. In this paper, we present an approach for the modeling and rendering of one type of ...
174
Voted
ASPDAC
1995
ACM
15 years 10 months ago
1995
ACM
- In this paper, we present a new scheduling algorithms that generates area-efficient register transfer level datapaths with multiport memories. The proposed scheduling algorithm a...
159
click to vote
GLVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
A probabilistic power estimation technique for combinational circuits is presented. A novel set of simple waveforms is the kernel of this technique. The transition density of each...
220
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...