推 timrau:What is your input file for andtoaig? 05/25 01:02
→ lendlicewang:input file是壓縮檔裡面的hh.aag 05/25 01:04
推 timrau:input file已經是aag format了,為什麼要跑andtoaig呢 @@ 05/25 01:07
→ timrau:*toaig 都是用來把其他格式的檔案轉成aiger format用的 05/25 01:08
→ lendlicewang:喔所以是我誤解題目意思了嗎@@ 05/25 01:08
推 ric2k1:Yes, andtoaig is to convert AND gates to AIG... 05/25 01:08
→ lendlicewang:原來如此 看來我看一遍題目好了 謝謝您 05/25 01:09
→ ric2k1:題目的意思是請你們將 AIG file 轉成題目定義的電路格式. 05/25 01:09
→ lendlicewang:那這樣子 還需要用到這些C code嗎 05/25 01:11
→ lendlicewang:我看裡面的README大部分都試轉換成AIG模式 05/25 01:12
推 ric2k1:推 "大部分". 回 "Yes, 就是要用這些 C code..." 05/25 01:20
→ lendlicewang:謝謝老師 我了解了 05/25 01:22