如何解决可以为模型检查器运行初始化 Yosys Sim 状态吗？
我已经尝试过在 reddit 上发布的这个例子，我对在 Yosys Sim 上运行一个测试很感兴趣，我能够成功运行它并且还获得了用于测试的模拟 VCD。 https://www.reddit.com/r/yosys/comments/6ulm3m/new_simulation_within_yosys/
我有兴趣在 Symbiyosys 下将仿真测试的最终状态作为模型检查的模型初始状态（这包括初始化序列案例）。 这与您对此功能的用例相匹配。 从帖子中我不清楚以下内容
- 如何在 yosys sim 中的测试输入中提供刺激？示例（计数器）仅将时钟作为输入
- 有没有办法连接 BFM 来提供刺激
- 有没有一种方法可以从外部测试运行的 vcd 转储中初始化 Symbiyosys 中的状态？
- 如何从 Yosys sim 切换到 Symbiyosys 进行模型检查？
感谢您的帮助 谢谢
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
