241 search results - page 29 / 49 » Geometry of synthesis: a structured approach to VLSI design |
170
click to vote
COCOA
2007
Springer
16 years 8 days ago
2007
Springer
The Two-Sided Crossing Minimization (TSCM) problem calls for minimizing the number of edge crossings of a bipartite graph where the two sets of vertices are drawn on two parallel l...
139
click to vote
DAC
1992
ACM
15 years 10 months ago
1992
ACM
This paper describes a model for, and an implementation of, production-based synthesis of hardware description language (HDL) code in which the overall structure of the resultant ...
DATE
2006
IEEE
16 years 4 days ago
2006
IEEE
In recent years, Assertion-Based Verification is being widely accepted as a key technology in the pre-silicon validation of system-on-chip(SOC) designs. The System Verilog langua...
156
click to vote
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we propose a novel face hallucination framework based on image patches, which exploits local geometry structures of overlapping patches to hallucinate different com...
180
click to vote
ISQED
2007
IEEE
16 years 11 days ago
2007
IEEE
Due to the roaring power dissipation and gaining popularity of 3D integration, thermal dissipation has been a critical concern of modern VLSI design. The availability for chip-lev...