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

问题描述

我有一个用.bif 编写的非常简单的组合电路，例如：

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

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

解决方法

您可以使用eval：

eval -set a 0 -set b 1

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

eval -table a,b