Algorithms for the design verification of bipolar array chips | IEEE Conference Publication | IEEE Xplore