多核处理器事务级模型多视图协同验证环境

王俊，刘磊，张龙，李思昆

Multi-core transaction level modeling and
multi-view co-verification environment

WANG Jun，LIU Lei，ZHANG Long，LI Sikun

计算机工程与科学 . 2014, (05): 821 -827 .