※ 引述《karate362 (最近腰不痛的卡拉特)》之銘言：
: ※ 引述《karate362 (最近腰不痛的卡拉特)》之銘言：
: : 我看DAC90的paper中提到
: : 在計算ITE(F,G,H)的時候,應該要standardize成
: : [第一和第二個參數不可以有complement edge]
: : 的型式...
: : 不過我就有點不瞭這個規則是哪來的
: : 可以請老師或哪位通曉的同學再說明一下嗎?
: 我困擾的地方主要是說 有個規定是每個node跟left child相連的不能是complement edge
: 但是使用上面[第一和第二個參數不可以有complement edge]這個規則就能搞定嗎??
: 應該沒這回事吧 所以其實是要在ite()函式return之前再去檢查並且move bubble囉?
ITE(F, G, H) standardize() 的 complement rule (rule #3)
(i.e. [第一和第二個參數不可以有complement edge])
與
BddNodeInt::_left 不能有 bubble
是兩件不同的事情!!
前者是
要增加 computed cache 的 hit rate,
在 ITE recursive call 之前檢查,
在講義 pp. 46 ~ 48.
後者是
要維持 BDD canonicity 的 property,
在 ITE recursive call 之後才檢查,
在講義 pp. 44 ~ 45.
千萬不要搞混啊!!!!!
每年都有不少人"葬身"在這個問題上...
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.129.139