Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Michael S. Hsiao
Department of Electrical & Computer Engineering, Virginia Tech, USA

R. Arora, M.S. Hsiao:
Using Global Structural Relationships of Signals to Accelerate SAT-based Combinational Equivalence Checking
/jucs_10_12/using_global_structural_relationships
page 1597 - 1628
Vol.10 / Issue 12