切换验证环境时钟驱动的方法

文档序号:9564522阅读:306来源:国知局
切换验证环境时钟驱动的方法
【技术领域】
[0001] 本发明涉及芯片验证领域,特别是涉及一种切换验证环境时钟驱动的方法。
【背景技术】
[0002] 通常验证环境由顶层、总线控制和寄存器模型等模块,还有若干个验证子环境组 成,在每个验证子环境中切换时钟驱动,不利于验证环境的简化和维护。芯片在各时钟域的 逻辑功能,是每个验证子环境都要覆盖的验证点,因此,保持验证环境的时钟与被测设计的 时钟相一致,对验证结果非常重要。
[0003] 在验证环境顶层根据寄存器的配置来统一切换验证子环境时钟驱动,不仅可以简 化验证环境,还可以保持验证环境的时钟与被测设计的时钟相一致。
[0004] 实际芯片有多个工作模式,如普通模式和低功耗模式,通过配置功耗模式寄存器, 芯片由普通模式进入到低功耗模式,其系统高频时钟关闭,但低频时钟不会关闭,部分电路 的逻辑功能使用低频时钟工作。那么验证子环境时钟必须与被测设计的工作时钟相一致, 这是保证时序逻辑验证准确性的一个必要条件。
[0005] 验证环境的开发是费时的工作,如果在验证顶层就实现切换时钟的驱动,验证子 环境在实现上更快捷、流程上更简单。就能大大的提高生产效率。

【发明内容】

[0006] 本发明要解决的技术问题是提供一种切换验证环境时钟驱动的方法,可以减少验 证子环境的冗余,利于验证环境维护,以准确完成芯片在各种工作模式下的逻辑功能验证。
[0007] 为解决上述技术问题,本发明的切换验证环境时钟驱动的方法是采用如下技术方 案实现的:验证环境根据对功耗模式寄存器的监测实时设置开关变量,在验证环境的顶层 切换验证环境的时钟驱动。
[0008] 采用本发明的方法能够减少验证子环境冗余,利于验证环境的维护。
[0009] 本发明使用System Verilog(硬件验证语言)语言作为验证描述语言,适用于包 含多个验证子环境、多时钟域组成的验证环境,可以减少验证环境开发时间,提高可维护 性,保证验证结果准确。
【附图说明】
[0010] 下面结合附图与【具体实施方式】对本发明作进一步详细的说明:
[0011] 附图是采用所述切换验证环境时钟驱动的方法的验证环境一实施例结构图。
【具体实施方式】
[0012] 所述切换验证环境时钟驱动的方法以System Verilog语言作为基础,使用验证环 境顶层定义的开关变量,根据寄存器配置来切换验证环境的时钟驱动。
[0013] 在验证环境的顶层修改时钟驱动,后续升级维护只需要修改顶层定义的开关变量 即可,不需要修改验证环境的其他单元,其流程简单可靠,可复用性强。
[0014] 根据寄存器配置去切换验证环境的时钟驱动,保证验证环境的时钟与被测设计的 工作时钟同步,可以准确的验证被测设计在各种工作模式下的逻辑功能,也是工作模式切 换验证的关键点。
[0015] 结合附图所示,所述切换验证环境时钟驱动的方法使用System Verilog语言实 现,验证环境可由顶层、总线控制器和寄存器模型等模块,还有若干个验证子环境组成,每 个验证子环境在顶层定义验证平台与被测设计的接口信号(例如,vclif/vc2if/vc3if), 顶层使用阻塞赋值来驱动接口信号,通过定义的开关变量(switch_clk)切换时钟驱动,开 关变量的初值为1,那么每个验证子环境时钟驱动都选择为高频时钟(如test_t 〇p.DUT. 〇SC60m),保证各验证子环境的时钟与被测设计复位时钟相一致。顶层使用连续赋值语句, 通过开关变量切换时钟驱动,可如下方式实现:
[0016] bit switch_clk = I ;
[0017] vcl_if vclif('HRESETN);
[0018] assign vclif. clock = switch_clk ? test_top. DUT. osc60m:test_top. DUT. osclOOk ;
[0019] vc2_if vc2 if ('HRESETN);
[0020] assign vc2if. clock = switch_clk ? test_top. DUT. osc60m:test_top. DUT. osclOOk ;
[0021] vc3_if vc3 if ('HRESETN);
[0022] assign vc3if. clock = switch_clk ? test_top. DUT. osc60m:test_top. DUT. osclOOko
[0023] 验证环境的寄存器模型监测总线控制器对寄存器的读写操作,当监测到对功耗 模式寄存器(P0WERM0DEREG)写操作,并且值为Γ bl。表示芯片进入到低功耗模式,被测 设计的系统时钟从高频时钟(test_top.DUT.osc60m)切换到低频时钟(test_top.DUT. osclOOk),设置验证环境顶层的开关变量为0,每个验证子环境的时钟驱动,也从高频时钟 同步切换到低频时钟。如果对功耗模式寄存器写的值为1'bO,设置开关变量为l'bl,验证 子环境的时钟驱动选择高频时钟。可如下方式实现:
[0025] 被测设计脱离低功耗模式有多种方式,比如通过复位方式来实现的。复位信号 (HRESETN)的高电平表示被测设计工作在普通模式,那么验证环境监测到复位信号的上升 沿时,设置验证环境顶层的开关变量为Γ bl,验证子环境的时钟驱动选择高频时钟。
[0026] 以上通过【具体实施方式】对本发明进行了详细的说明,但这些并非构成对本发明的 限制。在不脱离本发明原理的情况下,本领域的技术人员还可做出许多变形和改进,这些也 应视为本发明的保护范围。
【主权项】
1. 一种切换验证环境时钟驱动的方法,其特征在于:验证环境根据对功耗模式寄存器 的监测实时设置开关变量,在验证环境的顶层切换验证环境的时钟的驱动。2. 如权利要求1所述的方法,其特征在于:在验证环境的顶层修改时钟驱动,后续升级 维护只需要修改顶层定义的开关变量即可,不需要修改验证环境的其他单元。3. 如权利要求1所述的方法,其特征在于:根据寄存器配置去切换验证环境的时钟驱 动,保证验证环境的时钟与被测设计的工作时钟同步,准确的验证被测设计在各种工作模 式下的逻辑功能,也是工作模式切换验证的关键点。
【专利摘要】本发明公开了一种切换验证环境时钟驱动的方法,验证环境根据对功耗模式寄存器的监测实时设置开关变量,在验证环境的顶层切换验证环境的时钟驱动。本发明可以减少验证子环境的冗余,利于验证环境维护,以准确完成芯片在各种工作模式下的逻辑功能验证。
【IPC分类】G06F9/455, G06F11/36
【公开号】CN105320594
【申请号】CN201410369918
【发明人】李亮
【申请人】上海华虹集成电路有限责任公司
【公开日】2016年2月10日
【申请日】2014年7月30日
网友询问留言 已有0条留言
  • 还没有人留言评论。精彩留言会获得点赞!
1