Banner Electrical Verification The invisible bottleneck in IC design updated 1