Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, Takeshi Shimizu. Verification of Industrial Designs Using A Computing Grid With More than 100 Nodes. In 14th Asian Test Symposium (ATS 2005), 18-21 December 2005, Calcutta, India. pages 460, IEEE Computer Society, 2005. [doi]