Subramanian K. Iyer

According to our database, Subramanian K. Iyer authored at least 10 papers between 2001 and 2006.

Collaborative distances:

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

2006

On partitioning and symbolic model checking.

Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

2005

Under-approximation Heuristics for Grid-based Bounded Model Checking.

Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, E. Allen Emerson

Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

Multi-threaded reachability.

Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson

Proceedings of the 42nd Design Automation Conference, 2005

Predictive Reachability Using a Sample-Based Approach.

Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson

Proceedings of the Correct Hardware Design and Verification Methods, 2005

Error Detection Using BMC in a Parallel Environment.

Subramanian K. Iyer, Jawahar Jain, Mukul R. Prasad, Debashis Sahoo, Thomas Sidle

Proceedings of the Correct Hardware Design and Verification Methods, 2005

A New Reachability Algorithm for Symmetric Multi-processor Architecture.

Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill

Proceedings of the Automated Technology for Verification and Analysis, 2005

Verification of Industrial Designs Using A Computing Grid With More than 100 Nodes.

Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, Takeshi Shimizu

Proceedings of the 14th Asian Test Symposium (ATS 2005), 2005

2004

A Partitioning Methodology for BDD-Based Verification.

Debashis Sahoo, Subramanian K. Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, E. Allen Emerson

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003

Improved Symbolic Verification Using Partitioning Techniques.

Subramanian K. Iyer, Debashis Sahoo, Christian Stangier, Amit Narayan, Jawahar Jain

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2001

The MacBeth Specification, Modeling and Programming Language.

Carlos Puchol, Subramanian K. Iyer

Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 2001