Chin. J. Semicond. > 2003, Volume 24 > Issue 1 > 98-103
|

CONTENTS

面向寄存器的流水线处理器建模及验证方法

何虎 and 孙义和

+ Author Affiliations

PDF

Key words: 面向寄存器, 设计验证, 流水线处理器, 形式验证

    • Search

    Advanced Search >>

    GET CITATION

    shu

    Export: BibTex EndNote

    Article Metrics

    Article views: 2070 Times PDF downloads: 885 Times Cited by: 0 Times

    History

    Received: 20 August 2015 Revised: Online: Published: 01 January 2003

    Catalog

      Email This Article

      User name:
      Email:*请输入正确邮箱
      Code:*验证码错误
      Send
      Article Navigation >  Journal of Semiconductors  > 2003  >  24(1): 98-103
      何虎, 孙义和. 面向寄存器的流水线处理器建模及验证方法[J]. 半导体学报(英文版), 2003, 24(1): 98-103.
      Citation:
      何虎, 孙义和. 面向寄存器的流水线处理器建模及验证方法[J]. 半导体学报(英文版), 2003, 24(1): 98-103.
      shu

      • Received Date: 2015-08-20

      Catalog

        Journal of Semiconductors © 2017 All Rights Reserved   京ICP备05085259号-2

        /

        DownLoad:  Full-Size Img  PowerPoint
        Return
        Return