[公告] Spec/Ref src/Ref prog 更新
主要是針對上面幾篇的問題做了一些修正，
請仔細閱讀，在此不一一重述。
影響比較大的是:
1. PI/PO floating 情況的 report (上課說錯了)
2. Merge 時不一定要小 ID merge 大 ID (這樣 code 會比較乾淨)
大家可以從 ceiba 作業區下載完整的 fraig.tgz (含 spec, src, ref prog).
或是從公布欄下載 spec 或 ref prog.
Spec 修正的部分以紅色標明，並記錄在最下面的 "Change Logs".
前一版的 Spec 可以在 ref src 底下的 "old_doc" 找到。
造成不便，敬請見諒。
==== CHANGE LOGS ====
[01/06/2011] v0.4
* Spec change: Remove the “smaller ID merges bigger ID” requirement in the
“merge operation”. (1-6) (2-4)
* Spec clarify: “PO with undefined fanin” and “PI defined but not used”
should also be included in the “CIRPrint -Floating” command. (2-2)
* Spec correction: In “CIRGate -fanin/-fanout”, if there is an inversion
between a gate and its fanin/fanout, put a ‘!’ BEFORE the fanin/fanout, NOT
before its ID. (2-3)
* Spec clarify: Clarify when to put an “(*)” after a gate in “CIRGate
-fanin/-fanout”. (2-3)
* Ref prog: Typo: Missing "symbolic name".
* Ref src/prog: Add hidden option “-NOOPTimization” for “CIRRead”
command. When it is issued, no local optimization (i.e. AIG gates with
constant fanin(s), with identical/inverted fanins) should be performed.
Affected files---
[CirCmd.cpp] See “cirCmd.cpp-diff.0106-2010”
CirReadCmd::exec()
- Check for “-NOOPTimization” option
- Add “cirMgr-> setNoOpt(noopt);”
[CirMgr.h] See “cirMgr.h-diff.0106-2010”
Add---
- static bool _noopt;
- static void setNoOpt(bool noopt) { _noopt = noopt; }
[CirMgr.cpp] See “cirMgr.cpp-diff.0106-2010”
Initialization for “CirMgr::_noopt”.
* Ref src/prog: Add command control state (according to Section 1.15).
Affected file---
[CirCmd.cpp] See “cirCmd.cpp-diff.0106-2010”
- enum CirCmdState {...};
- static CirCmdState curCmd = CIRINIT;
- Checking “curCmd” in different command exec() functions
* Ref prog: (Bug fix) // crash if nothing after aag
aag
* Ref prog: (Bug fix) // crash when the error number is the last token
aag 7 2 0 2 a2
* Ref prog: (Bug fix) // crash when the error number is the last token
* Ref src: (Typo) In cirFraig.cpp, “FileName [ cirFraig.cpp ]”
* Ref prof: (Bug fix) // When a gate is redefined, the colNo is wrongly
reported.
* Ref src: Update “tests.err”. Add “tests.fraig”.
* Ref src/prog: Reference programs (for both 32 and 64-bit platforms) are
copy to “ref” directory.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.36.54.155
推
01/06 10:10, , 1F
01/06 10:10, 1F
推
01/06 10:46, , 2F
01/06 10:46, 2F
推
01/06 11:20, , 3F
01/06 11:20, 3F
→
01/06 11:55, , 4F
01/06 11:55, 4F
※ 編輯: ric2k1 來自: 140.112.21.241 (01/06 11:59)
推
01/06 12:50, , 5F
01/06 12:50, 5F