![](https://img-blog.csdnimg.cn/20201014180756925.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
LEC
机智山
这个作者很懒,什么都没留下…
展开
-
LEC learning18: verification_force_upf_supplies_on
lec, formality, upf, verification_force_upf_supplies_on原创 2023-06-07 17:02:42 · 384 阅读 · 0 评论 -
Conformal lec learning8: Hierarchical Comparison of Designs
LEC, Conformal lec, hierarchical comparison原创 2023-05-23 14:33:45 · 352 阅读 · 0 评论 -
Conformal lec learning7: abort points
LEC, conformal lec, abort points原创 2023-05-23 10:09:22 · 941 阅读 · 2 评论 -
LEC learning18: X 态在formality 中的两种状态
LEC, formality, X 态原创 2023-05-23 09:57:10 · 262 阅读 · 0 评论 -
Conformal lec learning6: NEQ 的种类
conformal lec, analyze setup原创 2023-05-22 16:30:03 · 308 阅读 · 0 评论 -
Conformal lec learning5: analyze commands
Conformal lec ,analyze nonequivalent原创 2023-05-22 16:16:52 · 305 阅读 · 0 评论 -
Conformal lec learning4: Diagnosis Manager
Conformal lec, Diagnosis manager原创 2023-05-22 14:18:59 · 313 阅读 · 0 评论 -
Conformal lec learning3: extra map, unreachable
conformal lec, extra map, unreachable原创 2023-05-19 14:55:08 · 540 阅读 · 1 评论 -
Conformal lec learning2: tclmode, vpxmode
conformal lec,tclmode, vpxmode原创 2023-05-18 11:42:42 · 533 阅读 · 0 评论 -
Conformal lec learing1: key points
验证方法:Exhaustive static verification of key point pairs using。原创 2023-05-17 17:19:58 · 368 阅读 · 0 评论 -
LEC learning17:组合逻辑环 Combinational loop
LEC,组合逻辑环 Combinational loop ,add cut point原创 2023-05-15 11:19:36 · 396 阅读 · 0 评论 -
LEC learning 16: svf and vsdc
LEC, formality, DC, set_svf, set_vsdc原创 2023-05-12 17:44:10 · 844 阅读 · 0 评论 -
LEC learning15: ATTENTION Messages
LEC,formality, ATTENTION原创 2023-05-09 10:46:18 · 58 阅读 · 0 评论 -
LEC learning14:verification_insert_upf_isolation_cutpoints
LEC,formality, verification_insert_upf_isolation_cutpoint原创 2023-05-09 10:13:16 · 163 阅读 · 0 评论 -
LEC learning13: verification_force_upf_supplies_on
LEC, formality, verification_force_upf_supplies_on,verification_verify_power_off_states原创 2023-05-08 17:00:53 · 211 阅读 · 0 评论 -
LEC learning12: Failing PDCut, set_dont_cut
LEC, formality, PDCut, set_dont_cut原创 2023-05-08 10:29:47 · 282 阅读 · 0 评论 -
LEC learning11: Debug step
LEC, formality, debugging NEQ, full_case, parallel_case原创 2023-04-24 10:34:38 · 332 阅读 · 0 评论 -
LEC learning10: 简单说下svf
LEC, formality, svf原创 2023-04-23 10:28:49 · 238 阅读 · 0 评论 -
LEC learning9: verify step
LEC, formality, verify原创 2023-04-21 16:32:08 · 752 阅读 · 0 评论 -
LEC learning8: match step
LEC, formality, match原创 2023-04-21 14:33:26 · 209 阅读 · 0 评论 -
LEC learning7: match step 前的preverify
LEC, formality, setup, preverify, match原创 2023-04-21 14:14:37 · 105 阅读 · 0 评论 -
LEC learning6:对design 中的black boxes 的处理
LEC, formality, black boxes原创 2023-04-21 11:13:36 · 1038 阅读 · 0 评论 -
LEC learning5: 对design 中的clock gating 处理
LEC, formality, clock gating,verification_clock_gate_hold_mode,verification_clock_gate_edge_analysis原创 2023-04-20 16:14:25 · 1632 阅读 · 0 评论 -
LEC learning4: Some constraints about setup design
LEC, formality, constrained , scan ,dft,clock gating , black boxes原创 2023-04-19 16:20:17 · 207 阅读 · 0 评论 -
LEC learning3: logic cones and compare points
LEC, formality, logic cones, compare points原创 2023-04-18 15:42:12 · 357 阅读 · 0 评论 -
LEC learning2: formality verify strategy choose
LEC ,formality,verification_alternate_strategy原创 2023-04-18 15:02:04 · 987 阅读 · 0 评论 -
LEC learning1: formality failing owe to change_link
LEC,formality, change_link, rtl2netlist,inverter, rising edge, failing edge原创 2023-04-14 14:08:02 · 321 阅读 · 0 评论