搜索结果: 1-1 共查到“计算机科学技术其他学科 OBDDs”相关记录1条 . 查询时间(0.015 秒)
Probabilistic Verification over GF(2m) Using Mod2-OBDDs
Verification Probabilistic OBDD Mod2-OBDD Galois Field GF(2m)
2013/1/28
Formal verification is fundamental in many phases of digital systems design. The most successful verification procedures employ Ordered Binary Decision Diagrams (OBDDs) as canonical representation for...