Hierarchical Statistical Verification of Large Full Custom CMOS Circuits. - A. B. van der Wal; Robert G. J. Arendsen; Aarnout Brombacher; Otto E. Herrmann (ISCAS, 1994)