Verification of Industrial Designs Using A Computing Grid With More than 100 Nodes | IEEE Conference Publication | IEEE Xplore