Sciweavers

ICCD
2006
IEEE
111views Hardware» more  ICCD 2006»
14 years 9 months ago
Implicit Search-Space Aware Cofactor Expansion: A Novel Preimage Computation Technique
Abstract— In this paper, we introduce a novel preimage computation technique that directly computes the circuit cofactors without an explicit search for any satisfiable solution...
Kameshwar Chandrasekar, Michael S. Hsiao