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

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

Hits:

Indexed by:期刊论文

Date of Publication:2014-01-01

Journal:东北大学学报（自然科学版）

Included Journals:PKU、ISTIC

Volume:35

Issue:S1

Page Number:135-139

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

Next One:一种基于FPGA的高性能多模式匹配算法
Recommended Ph.D.Supervisor Recommended MA Supervisor Institutional Repository Personal Page

Address: No.2 Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P.R.C., 116024

Click : times
  • MOBILE Version
    •
    Open time:..
    The Last Update Time:..

    Mobile phone sweep