Login / Signup

Using Global Structural Relationships of Signals to Accelerate SAT-based Combinational Equivalence Checking.

Rajat AroraMichael S. Hsiao
Published in: J. Univers. Comput. Sci. (2004)
Keyphrases
  • signal processing
  • structural information
  • spectral analysis
  • semantic relationships
  • structural model
  • image processing
  • independent component analysis
  • temporal logic
  • sat solvers
  • structural patterns