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

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

Hits:

Indexed by:期刊论文

Date of Publication:2014-01-01

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

Included Journals:PKU、ISTIC

Volume:35

Issue:S1

Page Number:13-18

Pre One:A Partition Method of SoC Design Serving the Multi-FPGA Verification Platform

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