Articles by Author

Author

Rajat Arora

Cadence Design Systems
San Jose, CA, United States of America

1 article by this author

Sort by:

Research Article

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

Rajat Arora, Michael Hsiao

10.3217/jucs-010-12-1597

28-12-2004

Unique: 484 | Total: 542

1597-1628

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK

Web Analytics