Sciweavers

867 search results - page 101 / 174
» Optimizing synthesis with metasketches
Sort
View
105
Voted
FCCM
2002
IEEE
208views VLSI» more  FCCM 2002»
15 years 5 months ago
The Effects of Datapath Placement and C-Slow Retiming on Three Computational Benchmarks
C-slow retiming (changing a design to support multiple instances of a computation) and datapath-aware placement have long been advocated by members of the FPGA synthesis community...
Nicholas Weaver, John Wawrzynek
145
Voted
GLVLSI
2002
IEEE
160views VLSI» more  GLVLSI 2002»
15 years 5 months ago
Computing walsh, arithmetic, and reed-muller spectral decision diagrams using graph transformations
Spectral techniques have found many applications in computeraided design, including synthesis, verification, and testing. Decision diagram representations permit spectral coeffici...
Whitney J. Townsend, Mitchell A. Thornton, Rolf Dr...
117
Voted
VLDB
1990
ACM
143views Database» more  VLDB 1990»
15 years 4 months ago
Synthesizing Database Transactions
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
Xiaolei Qian
CEC
2003
IEEE
15 years 4 months ago
A modified ant colony algorithm for evolutionary design of digital circuits
Evolutionary computation presents a new paradigm shift in hardware design and synthesis. According to this paradigm, hardware design is pursued by deriving inspiration from biologi...
Mostafa Abd-El-Barr, Sadiq M. Sait, Bambang A. B. ...
99
Voted
ASPDAC
1995
ACM
108views Hardware» more  ASPDAC 1995»
15 years 4 months ago
Synthesis-for-testability using transformations
- We address the problem of transforming a behavioral specification so that synthesis of a testable implementation from the new specification requires significantly less area and ...
Miodrag Potkonjak, Sujit Dey, Rabindra K. Roy