Sciweavers

77 search results - page 1 / 16
» Modifying Min-Cut for Hardware and Software Functional Parti...
Sort
View
97
Voted
VLSISP
2010
119views more  VLSISP 2010»
14 years 7 months ago
Hardware Acceleration of HMMER on FPGAs
We propose a new parallelization scheme for the hmmsearch function of the HMMER software, in order to target FPGA technology. hmmsearch is a very compute intensive software for bio...
Steven Derrien, Patrice Quinton
136
Voted
ICCAD
2001
IEEE
144views Hardware» more  ICCAD 2001»
15 years 10 months ago
Faster SAT and Smaller BDDs via Common Function Structure
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...
Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
99
Voted
EURODAC
1994
IEEE
115views VHDL» more  EURODAC 1994»
15 years 5 months ago
A method for partitioning UNITY language in hardware and software
In this paper we introduce a method to partition UNITY system speci cations into software and hardware parts. This method considers di erent design possibilities and de nes cost f...
Xun Xiong, Edna Barros, Wolfgang Rosenstiel