Hierarchical Formal Multilevel Verification of Digital MOS/VLSI Circuits (1984)

by D Weise