yosys - Yosys ConstEval API はどのように機能しますか?

Question

組み合わせ回路の評価が必要なプラグインを作成しようとしています。私が収集できるものから、 ConstEval はこれを行うツールです。ただし、API は私にはあまり明確ではありません。ConstEval のメンバーとそのメンバーの概要はどこかにありますか?

( github で jeremysalwen が質問)。

Answer 1

ConstEval クラスの使用は、実際には非常に簡単です。特定のモジュールの ConstEval オブジェクトを作成し、void ConstEval::set(SigSpec, Const)メソッドを使用して既知の値を設定します。すべての既知の信号が設定された後、このbool ConstEval::eval(SigSpec&, SigSpec&)方法を使用してネットを評価できます。このeval()メソッドはtrue、評価が成功すると戻り、最初の引数のネットを、ネットが評価される定数値に置き換えます。falseそれ以外の場合は、評価を続行するために設定する必要があるネットのリストに戻り、2 番目の引数を設定します。

メソッドpush()とpop()は、 のローカル コンテキストを作成するために使用できますset()。このメソッドstop()を使用して、ネットを駆動する組み合わせセルがある場合でも、評価を停止するシグナルを宣言できます。

次の単純な Yosys プラグインは、ConstEval API ( evaldemo.cc)の使用方法を示しています。

#include "kernel/yosys.h"
#include "kernel/consteval.h"

USING_YOSYS_NAMESPACE
PRIVATE_NAMESPACE_BEGIN

struct EvalDemoPass : public Pass
{
    EvalDemoPass() : Pass("evaldemo") { }

    virtual void execute(vector<string>, Design *design)
    {
        Module *module = design->top_module();

        if (module == nullptr)
            log_error("No top module found!\n");

        Wire *wire_a = module->wire("\\A");
        Wire *wire_y = module->wire("\\Y");

        if (wire_a == nullptr)
            log_error("No wire A found!\n");

        if (wire_y == nullptr)
            log_error("No wire Y found!\n");

        ConstEval ce(module);
        for (int v = 0; v < 4; v++) {
            ce.push();
            ce.set(wire_a, Const(v, GetSize(wire_a)));
            SigSpec sig_y = wire_y, sig_undef;
            if (ce.eval(sig_y, sig_undef))
                log("Eval results for A=%d: Y=%s\n", v, log_signal(sig_y));
            else
                log("Eval failed for A=%d: Missing value for %s\n", v, log_signal(sig_undef));
            ce.pop();
        }
    }
} EvalDemoPass;

PRIVATE_NAMESPACE_END

使用例:

$ cat > evaldemo.v <<EOT
module main(input [1:0] A, input [7:0] B, C, D, output [7:0] Y);
  assign Y = A == 0 ? B : A == 1 ? C : A == 2 ? D : 42;
endmodule
EOT

$ yosys-config --build evaldemo.so evaldemo.cc
$ yosys -m evaldemo.so -p evaldemo evaldemo.v
...
-- Running command `evaldemo' --
Eval failed for A=0: Missing value for \B
Eval failed for A=1: Missing value for \C
Eval failed for A=2: Missing value for \D
Eval results for A=3: Y=8'00101010