小编EEl*_*iaz的帖子

我正在尝试将 Yosys 形式验证功能与 Verific 解析器一起使用。

与“read_verilog -formal”命令相比，yosys with verific 对于形式验证支持哪些功能？例如，使用 read_verilog 快速编译正式代码时，出现“假设属性”语法错误：“sva 指令对时钟不敏感。不支持非时钟指令”

我不确定是否应该以任何方式修改 Verific 库标志以使其支持更多功能，或者它不受支持。