推荐星级:
  • 1
  • 2
  • 3
  • 4
  • 5

面向硬件仿真的SystemVerilog断言检查电路生成研究

更新时间:2020-05-18 05:02:43 大小:267K 上传用户:守着阳光1985查看TA发布的资源 标签:system verilog 下载积分:5分 评价赚积分 (如何评价?) 打赏 收藏 评论(0) 举报

资料介绍

提出了一种针对SystemVerilog断言的断言检查电路综合方法。综合而成的断言检查电路可以被用于硬件仿真中。方法基于移位寄存器链保存电路信号的历史数据,并利用断言电路间寄存器共用减少硬件资源使用。实验结果表明,与已有的断言综合方法比较,本方法具有有效性。

In this paper,a method to generate hardware checker circuits from SystemVerilog assertions for hardware emulation is main idea is to construct the checker circuit based on shift-register also introduce a method to minimize the hardware resource consumption by sharing registers among different experimental results comparing with former the researches show the effectiveness of the proposed method.

部分文件列表

文件名 大小
面向硬件仿真的SystemVerilog断言检查电路生成研究.pdf 267K

全部评论(0)

暂无评论

上传资源 上传优质资源有赏金

  • 打赏
  • 30日榜单

推荐下载