[問題] 一些小問題

[puerpuella (柏亨)]

1.我的circuit讀進來後，可以先simulate再strash?

2.我搞不太懂undefined的gate和被刪掉的gate要怎麼分，像

aag 5 0 0 0 0

cirg 2
Error: Gate(2) not found!!


aag 5 0 0 0 1
2 0 4

cirg 2就有出現訊息，可是第一個aiger檔案不是id 1~5都是undef?


P.S.第二個檔案cirg x (x >= 7)似乎都會crash..

P.P.S.老師辛苦了!!!

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.245.114
→ cktigeryang:undef的GATE就是被刪掉的GATE，看實作方式
推 ric2k1:1. cirCmd.cpp 有誤，大家可以先自行改一下，或是我下次改
→ ric2k1:UNDEF 的意思是它有被別人宣告成 fanin, 但卻沒有一行定義
→ ric2k1:它的 function (fanins). 所以你第二個例子的 cirg 2 就是
→ ric2k1:UNDEF. 而 not found 的 gate 表示這個 ID 在檔案裡沒有被
→ ric2k1:使用，或者是一個 gate 原先存在，後來被 optimized 掉了!
推 ric2k1:@ P.S. 冏... 忘記檢查 ID >= _totGateList.size()...
→ ric2k1:下次更新...