Sciweavers

11061 search results - page 106 / 2213
» Computer Architecture
Sort
View
92
Voted
DAC
2002
ACM
16 years 3 months ago
Can BDDs compete with SAT solvers on bounded model checking?
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
127
Voted
DAC
2003
ACM
16 years 3 months ago
Timing optimization of FPGA placements by logic replication
Giancarlo Beraudo, John Lillis