作者ric2k1 (Ric)
看板EE_DSnP
標題Re: [情報] Ref Prog. and Ref Src update
時間Sun Jan 16 20:06:46 2011
1. 補上 2997 篇所說的 addXorCNF() 的改變, 以及補上 sat/Makefile EXTHRDS
所缺的 .h 檔。
2. 新增 sim14.aag 以及 sim15.aag
sim14.aag 是 EQ case (i.e. out = 0),
sim15.aag 則是從 sim14.aag 改了一個 gate, 會變成 non-EQ.
※ 引述《ric2k1 (Ric)》之銘言：
: 請大家在上傳時務必檢查是否可以 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