YOSYS 模拟具有特定输入的组合电路答案

【问题标题】：YOSYS simulating a combinatorial circuit with a specific inputYOSYS 模拟具有特定输入的组合电路
【发布时间】：2021-04-29 10:47:34
【问题描述】：

我有一个用.blif写的很简单的组合电路，比如：

.model 电路
.inputs a b
.outputs c
.names a b c
11 1
.end

现在我想用 yosys 模拟它，我想指定输入。基本上，我试图从 SIS 复制模拟命令，这将是“模拟 0 1”，结果会给出“输出：0”。但是，从文档看来，我只能用时钟模块模拟电路。有没有办法指定我只想要电路的组合行为？

【问题讨论】：

【解决方案1】：

你可以使用eval:

eval -set a 0 -set b 1

或者如果你想要完整的真值表：

eval -table a,b

【讨论】：