Current position: Home >> Scientific Research >> Paper Publications

基于FPGA的片上虚拟化验证框架

Release Time:2019-03-12  Hits:

Indexed by: Journal Article

Date of Publication: 2014-01-01

Journal: 东北大学学报(自然科学版)

Included Journals: ISTIC、PKU

Volume: 35

Issue: S1

Page Number: 135-139

Prev One:一种定理证明与模型检测融合的软件验证加速方法

Next One:一种基于FPGA的高性能多模式匹配算法