Rajat Arora

According to our database, Rajat Arora authored at least 5 papers between 2003 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Extended Forward Implications and Dual Recurrence Relations to Identify Sequentially Untestable Faults.

Manan Syal, Rajat Arora, Michael S. Hsiao

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

2004

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

Rajat Arora, Michael S. Hsiao

J. Univers. Comput. Sci., 2004

Enhancing SAT-based Bounded Model Checking using Sequential Logic Implications.

Rajat Arora, Michael S. Hsiao

Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

CNF formula simplification using implication reasoning.

Rajat Arora, Michael S. Hsiao

Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004

2003

Enhancing SAT-based equivalence checking with static logic implications.

Rajat Arora, Michael S. Hsiao

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003