12753 search results - page 2370 / 2551 » is 2002 |
165
Voted
ICCAD
2002
IEEE
16 years 19 days ago
2002
IEEE
Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further use...
123
Voted
ICCAD
2002
IEEE
16 years 19 days ago
2002
IEEE
Abstract— With the increasing cost of global communication onchip, high-performance designs for data-intensive applications require architectures that distribute hardware resourc...
121
Voted
ICCAD
2002
IEEE
16 years 19 days ago
2002
IEEE
We propose to introduce redundant interconnects for manufacturing yield and reliability improvement. By introducing redundant interconnects, the potential for open faults is reduc...
133
click to vote
ICCAD
2002
IEEE
16 years 19 days ago
2002
IEEE
— One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The...
96
Voted
ICCAD
2002
IEEE
16 years 19 days ago
2002
IEEE
Design ECO commonly happens in industry due to constraints or target changes from manufacturing, marketing, reliability, or performance. At each step, designers usually want to mo...