Sciweavers

868 search results - page 125 / 174
» Optimizing Logic Design Using Boolean Transforms
Sort
View
ICCAD
1996
IEEE
121views Hardware» more  ICCAD 1996»
15 years 1 months ago
Identification of unsettable flip-flops for partial scan and faster ATPG
State justification is a time-consuming operation in test generation for sequential circuits. In this paper, we present a technique to rapidly identify state elements (flip-flops)...
Ismed Hartanto, Vamsi Boppana, W. Kent Fuchs
97
Voted
IJCV
2007
194views more  IJCV 2007»
14 years 9 months ago
Self-Invertible 2D Log-Gabor Wavelets
Orthogonal and biorthogonal wavelets became very popular image processing tools but exhibit major drawbacks, namely a poor resolution in orientation and the lack of translation inv...
Sylvain Fischer, Filip Sroubek, Laurent Perrinet, ...
ASPDAC
2007
ACM
129views Hardware» more  ASPDAC 2007»
15 years 1 months ago
ECO-system: Embracing the Change in Placement
In a realistic design flow, circuit and system optimizations must interact with physical aspects of the design. For example, improvements in timing and power may require replacing ...
Jarrod A. Roy, Igor L. Markov
73
Voted
FUZZIEEE
2007
IEEE
15 years 4 months ago
Nonlinear Classification by Genetic Algorithm with Signed Fuzzy Measure
—In this paper, we propose a new nonlinear classier based on a generalized Choquet integral with signed fuzzy measures to enhance the classification power by capturing all possib...
Honggang Wang, Hua Fang, Hamid Sharif, Zhenyuan Wa...
ICCAD
2009
IEEE
159views Hardware» more  ICCAD 2009»
14 years 7 months ago
First steps towards SAT-based formal analog verification
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
Saurabh K. Tiwary, Anubhav Gupta, Joel R. Phillips...