05447445

j

05447445 Bryant, Randal E. Formal verification of memory circuits by switch-level simulation. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 10, No. 1, 94-102 (1991). 1991 IEEE, New York, NY EN

doi:10.1109/43.62795