Error Detection Using BMC in a Parallel Environment

Subramanian K. Iyer, Jawahar Jain, Mukul R. Prasad, Debashis Sahoo, Thomas Sidle. Error Detection Using BMC in a Parallel Environment. In Dominique Borrione, Wolfgang J. Paul, editors, Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings. Volume 3725 of Lecture Notes in Computer Science, pages 354-358, Springer, 2005. [doi]

Authors

Subramanian K. Iyer

This author has not been identified. Look up 'Subramanian K. Iyer' in Google

Jawahar Jain

This author has not been identified. Look up 'Jawahar Jain' in Google

Mukul R. Prasad

This author has not been identified. Look up 'Mukul R. Prasad' in Google

Debashis Sahoo

This author has not been identified. Look up 'Debashis Sahoo' in Google

Thomas Sidle

This author has not been identified. Look up 'Thomas Sidle' in Google