0

我正在尝试实现一个新的传递来计算 Yosys 中给定模块的顺序深度和复杂性。为此，我受到 scc pass 的启发。为了实现它，我需要从模块的输入端口开始专门执行 DFS。为此，我试图找到所有立即连接到输入端口的单元。我从模块的端口开始，找到关联的电线：

SigPool inputPorts;
for (auto &it : module->ports) 
  if (module->wires_[it]->port_input)  
     inputPorts.add((sigmap(RTLIL::SigSpec(module->wires_[it]))));

但我遇到的问题是我无法找到从那里立即连接到输入端口的单元（在wires/sigspec/sigpool 类型中没有用于此目的的APR）。

任何帮助/提示将不胜感激。

4

2 回答 2

1

我能够按如下方式实现该部分，这是可行的，但我不确定这是否是最好的方法。任何建议/评论将不胜感激。

// for all input the cells of the module find its incoming signals (inputSignals in this code), and for each bit of them do the following:
for (auto &bit : inputSignals)
  if (bit.wire != NULL) {
    if (inputPortsSet.count(bit.wire->port_id)) {
      log ("found an input port\n");
      log ("%s :",cell->name.c_str());
      log(" %s ", bit.wire->name.c_str());
      log(" %d \n", bit.wire->port_id);       
      break;
    }
  }
于 2016-05-20T22:04:26.477 回答
1

我认为以下代码示例（尽管不是 DFS）应该包含您需要的所有相关惯用 Yosys 代码片段：

    // create canonical versions of all sigbits
    SigMap sigmap(module);

    // first layer of bits
    pool<SigBit> input_bits;

    for (auto wire : module->wires())
        if (wire->port_input)
            for (auto bit : sigmap(wire))
                input_bits.insert(bit);

    // index: from sigbit to driven cells
    dict<SigBit, pool<Cell*>> bit2cells;

    // index: from cell to driven sigbits
    dict<Cell*, pool<SigBit>> cell2bits;

    for (auto cell : module->cells())
    for (auto &conn : cell->connections()) {
        if (cell->input(conn.first)) {
            for (auto bit : sigmap(conn.second))
                bit2cells[bit].insert(cell);
        }
        if (cell->output(conn.first)) {
            for (auto bit : sigmap(conn.second))
                cell2bits[cell].insert(bit);
        }
    }

    pool<SigBit> queue = input_bits;
    pool<Cell*> visited_cells;

    while (!queue.empty())
    {
        log("------\n");

        pool<Cell*> this_iter_cells;

        for (auto bit : queue)
        for (auto cell : bit2cells[bit])
            if (!visited_cells.count(cell)) {
                log("  %s\n", log_id(cell));
                visited_cells.insert(cell);
                this_iter_cells.insert(cell);
            }

        queue.clear();
        for (auto cell : this_iter_cells)
        for (auto bit : cell2bits[cell])
            queue.insert(bit);
    }

最重要的事情是：

  • 用于SigMap创建信号位的规范表示（如果两条线相互连接并且只是同一实际位的“别名”）。

  • 将您的算法分为两个阶段：（1）创建您需要的索引结构和（2）执行实际算法。

您可能还会发现这个和这个问题的答案很有用。

（我正在匆忙写这个答案。如果有任何不清楚的地方，请在下面的评论中提出进一步的问题。）

于 2016-05-21T11:51:05.527 回答