Sciweavers

2607 search results - page 29 / 522
» Complete Functional Synthesis
Sort
View
DAC
2006
ACM
16 years 3 months ago
Topology aware mapping of logic functions onto nanowire-based crossbar architectures
Highly regular, nanodevice based architectures have been proposed to replace pure CMOS based architectures in the emerging post CMOS era. Since bottom-up self-assembly is used to ...
Wenjing Rao, Alex Orailoglu, Ramesh Karri
124
Voted
LPAR
2005
Springer
15 years 8 months ago
Another Complete Local Search Method for SAT
Local search algorithms are one of the effective methods for solving hard combinatorial problems. However, a serious problem of this approach is that the search often traps at loca...
Haiou Shen, Hantao Zhang
143
Voted
NAR
2011
191views Computer Vision» more  NAR 2011»
14 years 5 months ago
ConsensusPathDB: toward a more complete picture of cell biology
ConsensusPathDB is a meta-database that integrates different types of functional interactions from heterogeneous interaction data resources. Physical protein interactions, metabol...
Atanas Kamburov, Konstantin Pentchev, Hanna Galick...
TCAD
2008
81views more  TCAD 2008»
15 years 2 months ago
Optimizing Nonmonotonic Interconnect Using Functional Simulation and Logic Restructuring
The relatively poor scaling of interconnect in modern digital circuits necessitates a number of design optimizations, which must typically be iterated several times to meet the spe...
Stephen Plaza, Igor L. Markov, Valeria Bertacco
DAC
1992
ACM
15 years 6 months ago
High Level Synthesis of Pipelined Instruction Set Processors and Back-End Compilers
Designing instruction set processors and constructing their compilers are mutually dependent tasks. Piper is a high level synthesis tool of ADAS which controls the hardware-softwa...
Ing-Jer Huang, Alvin M. Despain