INTERCONNECT 使用脚本创建一个完整的 SCRIPTED 器件示例

86 篇文章 10 订阅 ¥399.90 ¥499.90

INTERCONNECT 使用脚本创建一个完整的 SCRIPTED 器件示例

正文

INTERCONNECT 使用脚本导入 Element Library 的器件 一文中我们介绍了如何导入自定义的器件以及如何导入 SCRIPTED 器件。但是对于一个完整的器件,导入后我们仍旧需要对它进行一些操作以及参数上的设置,它才能够成为一个可用的完整的器件。

因此,这里我们来介绍一下如何使用脚本为 SCRIPTED 器件添加必要的参数使其成为一个完整的器件。

# ================================ Clear Windows ================================
clc
  • 2
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
以下是一个关于数字设计综合前后的LEC的脚本文件示例: ``` # 设计文件 set_design -name design.v # 综合后网表文件 read_verilog -sv synthesized_netlist.v # 仿真波形文件 read_sdf -sdf simulation.sdf # LEC验证前的分析 analyze -pre # LEC验证 lec -nogui -assert -verbose -ignore init -ignore assert -ignore property -ignore bind -ignore cover -ignore sequence -ignore fsm -ignore mem -ignore delay -ignore port -ignore config -ignore attr -ignore sub_design -ignore assert_type -ignore generate -ignore gate -ignore parameter -ignore ioprobe -ignore bufif0 -ignore bufif1 -ignore notif0 -ignore notif1 -ignore nmos -ignore pmos -ignore pullup -ignore pulldown -ignore tranif0 -ignore tranif1 -ignore rtranif0 -ignore rtranif1 -ignore tri -ignore tri0 -ignore tri1 -ignore wand -ignore wor -ignore tran -ignore rtran -ignore event -ignore path -ignore delay_interconnect -ignore delay_rise -ignore delay_fall -ignore delay_cell_rise -ignore delay_cell_fall -ignore delay_high -ignore delay_low -ignore transition -ignore clock_transition -ignore setup -ignore hold -ignore recovery -ignore removal -ignore skew -ignore unateness -ignore levelling -ignore noise -ignore slew -ignore width -ignore period -ignore uncertainty -ignore constraint -ignore pulse -ignore mux -ignore cmos -ignore buf -ignore not -ignore nand -ignore and -ignore nor -ignore or -ignore xor -ignore xnor -ignore dff -ignore sr -ignore t -ignore jk -ignore d -ignore pulse -ignore mux4 -ignore adder -ignore sub -ignore mul -ignore div -ignore mod -ignore shift -ignore comparator -ignore counter -ignore decoder -ignore priority_encoder -ignore arbiter -ignore fsm_encoding -ignore gate_level -ignore primitive -ignore user_defined -ignore user_defined1 -ignore user_defined2 -ignore user_defined3 -ignore cross_clock -ignore cross_case -ignore cross_function -ignore cross_block -ignore cross_file -ignore cross_module -ignore cross_instance -ignore cross_level -ignore cross_type -ignore cross_tool -ignore cross_vendor -ignore cross_version -ignore cross_process -ignore cross_version -ignore cross_reference -ignore cross_other # LEC验证后的分析 analyze -post # 结束 exit ``` 在这个脚本文件中,我们首先设置设计文件,然后读取综合后的网表文件和仿真波形文件。接着进行LEC验证前的分析,然后运行LEC验证命令。这里我们使用了多个-ignore参数,忽略了大量的LEC验证规则,以提高验证效率。最后进行LEC验证后的分析,并结束脚本。在实际应用中,我们可以根据具体的设计和验证需求,调整LEC验证规则和忽略的参数,以达到最佳的验证效果。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

勤奋的大熊猫

你的鼓励将是我写作最大的动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值