Verifying a Static RAM Design by Logic Simulation | part of Advanced Research in VLSI: Proceedings of the Fifth MIT Conference | MIT Press books | IEEE Xplore