gpt4 book ai didi

hdl - 使用 Chisel 进行正式验证

转载 作者:行者123 更新时间:2023-12-03 23:16:45 26 4
gpt4 key购买 nike

Chisel3 HDL语言是否可以进行形式验证?
如果是,是否有开源软件可以做到这一点?
我知道我们可以使用 Yosys 进行 verilog 形式验证,但是使用 chisel ?

最佳答案

SpaceCowboy 问了同样的问题 here . jkoening 回应说:不是现在,但也许会完成。

关于hdl - 使用 Chisel 进行正式验证,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/49320801/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com