论文部分内容阅读
ERES-ET是复旦大学与华东计算技术研究所合作研制的计算机设计模拟验证环境。它已被用于数个新研制计算机的设计验证。典型的应用有,对上海交通大学研制的RISC-3JI微处理机的设计验证,以及对华北计算所研制的面向LISP语言的TJ-LISP计算机的设计验证.因验证过程大致相同,主要介绍RISC-3JI机的设计验证。