作者ric2k1 (Ric)
看板EE_DSnP
標題[情報] Ref Prog. and Ref Src update
時間Sun Jan 16 06:49:37 2011
請大家在上傳時務必檢查是否可以 compile，
由於許多地方是自由發揮，所以我們這次對於 MustExist.txt 並沒有規定很多。
另外 報告 PDF 由於檔案名稱每個人不同，因此我並沒有把它加到 MustExist.txt，
但請務必記得根據規定命名以及上傳。
1. MustExist.txt and MuxtRemove.txt added
Can be downloaded from ceiba 公佈欄 or 作業區 (tar'd in fraig.tgz)
2. 修正 ref prog 前一篇的 bug
==> "cirsimulate -file in.p -out out.log": log 檔 pattern 寫出去的順序有誤
==> "in.p" 與 "out.log" 的 patterns 部分應該長得一樣
3. Performance tuning
==> 讓 simulation 跑多一些 patterns, 可以讓 SAT 少跑一些
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.36.62.203