作者ric2k1 (Ric)
看板EE_DSnP
标题[公告] Spec/Ref src/Ref prog 更新
时间Thu Jan 6 06:34:13 2011
主要是针对上面几篇的问题做了一些修正，
请仔细阅读，在此不一一重述。
影响比较大的是:
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
1F：推 hunallen:老师辛苦了!! 01/06 10:10
2F：推 BBSealion:所以老师没睡吗...！？ 01/06 10:46
3F：推 scuendless:早上六点半 老师辛苦罗！！！ 01/06 11:20
4F：→ ric2k1:忘了贴 change log... 补一下 01/06 11:55
※ 编辑: ric2k1 来自: 140.112.21.241 (01/06 11:59)
5F：推 tomap41017:老师请顾好自己的身体><辛苦老师了 01/06 12:50