[防雷页] 如果你还是想要一切 DIY，其实你可以按个左键跳出去， 底下是给真的没有头绪的人参考用的。 1. 当然还是要先把 spec 看过，这点无论如何都不能省!!! 2. 如果你对 AIGER (.aag) format 还不熟悉， 请把讲义看一下，或是多看一些例子，或是看一下官网的完整 document. 3. 第一个动手做的当然是 parser. 如果你有写过 parser, 那你可以跳过这一步， 但如果你没有写过 parser (parser = 把一个文字档读近来转成某种资料结构)， 那建议你先不要管 "class CirGate", 先完成负责读档的 "CirMgr::readCircuit(const string& fileName)" 就好。 至少在这边写一点东西之後 "CIRRead" 这个 command 就有作用了! 至於在 readCircuit 里头，你可以先写的，就是 "token parser"， 也就是说，让你的 readCircuit 在读进 .aag 档之後， 可以在萤幕上输出: // 以 ok01.aag 为例 *--------------- aag - aag (1, 1) <== (#line, #column) 7 - M (1, 5) 2 - I (1, 7) 0 - L (1, 9) 3 - O (1, 11) 3 - A (1, 13) 2 - PI 1 (2, 1) 4 - PI 2 (3, 1) 6 - PO 3 (4, 1) 12 - PO 6 (5, 1) 1 - PO !0 (6, 1) 6 13 15 - aig 3 !6 !7 (7, 1) 12 2 4 - aig 6 1 2 (8, 1) 14 3 5 - aig 7 !1 !2 (9, 1) i0 (10, 1) x (10, 4) i1 (11, 1) y (11, 4) o0 (12, 1) s (12, 4) o1 (13, 1) c (13, 4) c (14, 1) I don't care about comment. [注] 建议 symbol 部分先不要管它，等到 CirGate 定义好再说。 当然建议你分成一些 (private) member function 来以上如果实现以上的 parsing。 做好了之後，你就已经可以把原来的电路档的 token 顺利的 parse 出来了， 接下来就是如何把他们存到 circuit 里面。 4. Parse 电路描述档到 circuit 资料结构上去，有一些事情是一定要做， 另外有一些事情是要先决定的。 * 在 class CirMgr 里头一定要有 container 来存 PIs, POs, 以及 DFS 之後所有的 gates list, 而且要知道 sizes. * 在 parse 的时候，会有需要从 ID 去找 gate pointer, 你要怎麽设计? (Note: ID := [1, M]; ID = 0 is the constant 0) * 原始档案的 M I L O 的值要记录起来，因为 CIRWrite 会用到。 * 大概会有几种 gate types: PI, PO, AIG, Const, Undef (<== optional) 你要用 enum CirGateType, 还是要用 inheritence? 以这个作业来说，倒也没有谁好谁坏，但你现在一定要先做一个决定!! (大不了以後再改，应该还好) * 在 class CirGate (或是它的 inherited classes) 里头， 一定要有 containers/data members 去存 fanins, 或是 fanouts. * 在 class CirGate (或是它的 inherited classes) 里头， 也一定要有 data members 去纪录 gate IDs 以及 #line, #column, * 在 traversal 时一定会需要 "setMark()"，参考一下讲义想想你要怎麽做。 根据以上的提示，先把基本款的 class CirMgr 以及 CirGate 定义好， 接下来你就准备好可以跟 readCircuit() hook 再一起罗!! 5. Tokens 已经 parse 好，class CirMgr & CirGate 也已经定义好， 接下来就可以建电路罗!! 注意!! 上课有说，由於 AIGER format 里头一个 AIG gate 的 fanin 可以用 在後面才会定义到的 gate, 所以你其实无法一边 construct gates (nodes), 一边建 connections (edges). 这一步先来建 gates. 要建 gates 简单，就在你前面 parse 出 token 的地方，new 出相对应的 gates. 比方说，遇到 PI 就 new 一个 PI, 遇到 AIG 就建个 AIG gate. 不过要记得顺便把 PI, PO 等 list 顺便建起来。 其他要考虑的事情还有: * ID --> gate pointer 的对应 * AIG 的 fanins 要怎麽记起来? 还是等一下 rewind ifstream 再读档一次? * constant 0 gate 怎麽来? * PO gate 的 ID 要注意一下 (请见作业说明档) 好了，到这边为止你已经把所有的 gates 都建好了，为了确定你有建好， 你可以 cout 一些 information, 或是把 PI, PO, AIG gate 的个数印出来。 6. 接下来是建 connections. 如上所述，看你有没有在 parse AIG gate 时就把 fanin 的 ID 记起来， 还是你选择 rewind 後再读档一遍，都可以。 建 connection 很简单，就是对每一个 AIG gates 把它的 fanins 存起来， 然後再到每一个 fanin 把这个 AIG gate 存到它的 fanout 去。 最後记得要把 PO 的 fanin 也建起来， 当然, PO 的 fanin也要把 PO 加到它的 fanout 去。 7. 接下来是建 DFS list，这点请参考讲义。 简单的说，就是从 POs 开始去做 post-order traversal. 8. 完成 CirMgr 中的 printSummary(), printNetlist(), printPIs(), printPOs(). 至於 printFloatGates() 你可以先不用管。 当然，cirGate 的 printGate() 可能也要写一下。 到这里，你应该就可以完成: * CIRRead (without -replace) * CIRPring (without -FLoating) 先休息一下吧! 天气那麽好... --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 114.36.59.117 ※ 编辑: ric2k1 来自: 114.36.59.117 (12/15 01:06)