一种基于SystemC的D触发器验证平台研究

作者：廖帆; 邵世雷; 张文亭

来源：中国新通信, 2010, (21): 63-68.

• SystemC
• 验证库
• 验证
• D触发器 SystemC
• SCV
• verification
• D flip-flop

当今复杂电子系统更倾向于在更高抽象级进行建模一种基于C/C++的硬件描述语言,SystemC语言变得非常重要,在此介绍了SystemC语言的验证库,以及验证库的顶层设计,接口设计。文章在最后的阶段对D触发器进行了基于SystemC的验证平台搭建,进而展现了SystemC在验证上的优势。

• 单位
  中国人民解放军陆军工程大学