特定のテストベンチを通過する Verilog RTL コードを生成するツールはありますか? つまり、テストベンチから RTL に移動します。
それを行う方法はありますか。
いいえ、私はそれが存在するとは思いませんし、私の意見では、いくつか例を挙げると次の理由から、それは良い考えではありません:
おそらくもっとたくさんあります。
ただし、(より一般的な意味で) 探しているのは、真理値表をブール式に変換するものであり、必要に応じてそれを使用して Verilog を記述できます。
ただし、この方法で Verilog を記述しないでください。これはテストベンチの目的ではありません。
Megafunctionsのようなものを使用していない限り、コードを自動的に生成しないようにしてください。