Algorithms for the design verification of bipolar array chipsD.A. ZeinO.P. Engelet al.1992VTS 1992Conference paper