1942 search results - page 120 / 389 » Speeding Up XTR |
164
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper addresses the problem of efficient functional simulation of synchronous digital systems. A technique based on the use of Decision Diagrams (DD) for representing the fun...
126
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents a new solution for combining technology mapping with placement, coupling the two into one phase. The original aspects of our work are the use of libraryless ma...
143
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Gandalf is a first-order resolution theorem-prover, optimized for speed and specializing in manipulations of large clauses. In this paper I describe GANDALF TAC, a HOL tactic that ...
126
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
A number of methods are presentedfor highly efficient calculation of substratecurrenttransport. A three-dimensionalGreen'sFunction based substrate representation, in combinat...
159
click to vote
FPGA
1997
ACM
15 years 10 months ago
1997
ACM
This paper shows that the speed of FPGAs with large embedded memory arrays can be improved by adding direct programmable connections between the memories. Nets that connect to mul...