作者ric2k1 (Ric)
看板EE_DSnP
标题[公告] Ref prog/src & spec 更新
时间Thu Jan 13 04:18:40 2011
(请大家不要看到标题就兴奋... 请仔细看下文)
Spec:
=====
如果你之前已经看过 spec 的话，你只要看一下最下面的 "spec change"
以及内文中红色的部分 (只有一小段)
* 加入 3003 篇的说明: 请不要把 PI/PO/Const/Undef gates 加入 FEC pairs 里，
因为他们不能被 optimized 掉。
Ref src:
========
1. "cirSim.cpp:line 348" 加一行:
cirMgr->setSimLog(0);
也就是说 simulate 完之後把 _simLog 归成 0.
虽然不这麽做也是没有关系啦，但是设回成 0 可以强制你不会再用这个 ofstream.
2. 修改了 "SatSolver::addXorCNF()" 的参数，好让 IFEC pair 也可以比较。
(check "sat.h")
3. "sat/Makefile" 里头的 "EXTHDRS" 必须要把所有的 header files 加入，
否则 compile 不会过。
Ref prog:
=========
1. 完成 "CIRFraig" 并新增 "CIRWrite" (optional) comands.
请注意 cirfraig 完成之後还可以再 cirsim 然後 cirfraig...
2. 新增一些 testcases 以及 scripts 到 "tests.fraig" 里头。
3. 针对上几篇有提到的 bug fixes.
待完成:
=======
1. Define "MustExist.txt" & "MustRemove.txt"
2. Provide more testcases.
3. 提供 implementation 的攻略。 (especially for those who just started)
4. More tests on ref prog.
5. 上传注意事项。
6. 准备 grading testcases & dofiles...
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 114.36.51.20
1F：→ tomap41017:感谢老师!!!整理真是一件辛苦的事! 01/13 14:09