可以为模型检查器运行初始化 Yosys Sim 状态吗？

问题描述

我已经尝试过在 reddit 上发布的这个例子，我对在 Yosys Sim 上运行一个测试很感兴趣，我能够成功运行它并且还获得了用于测试的模拟 VCD。 https://www.reddit.com/r/yosys/comments/6ulm3m/new_simulation_within_yosys/

我有兴趣在 Symbiyosys 下将仿真测试的最终状态作为模型检查的模型初始状态（这包括初始化序列案例）。 这与您对此功能的用例相匹配。 从帖子中我不清楚以下内容

1. 如何在 yosys sim 中的测试输入中提供刺激？示例（计数器）仅将时钟作为输入
2. 有没有办法连接 BFM 来提供刺激
3. 有没有一种方法可以从外部测试运行的 vcd 转储中初始化 Symbiyosys 中的状态？
4. 如何从 Yosys sim 切换到 Symbiyosys 进行模型检查？

感谢您的帮助 谢谢

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）