Formal Verification of a Pipelined Processor with New Memory. - Hiroshi Nakamura; Takanori Arai; Masahiro Fujita (PRDC, 2002)