文件名称：psl_with_ghdl:使用PSL通过GHDL（和SymbiYosys）对VHDL进行功能和形式验证的示例
文件大小：68KB
文件格式：ZIP
更新时间：2024-05-29 17:20:51
vhdl assertions ghdl formal-verification yosys
psl_with_ghdl 使用通过 （和 / ）对VHDL设计进行功能和形式验证的示例集合。 这是一个项目，旨在获得GHDL中PSL实施的当前状态。 它可能会发现不受支持的PSL功能，不正确的实现功能或GHDL崩溃等简单错误。 当学习语言时，它也打算用于PSL的实验。 您可以尝试这些示例，因为它们非常简单。 如果要获得成功的证明或模拟，可以注释掉失败的断言。 您可以更改它们以查看会发生什么。 建议使用最新版本的GHDL，因为可以很快修复潜在的错误。 尤其是GHDL的合成功能非常新，仍然是beta。 您可以从源代码构建GHDL，也可以使用其中也包含SymbiYosys工具链的Docker映像之一。 例如，由提供的hdlc/formal:min docker映像（推荐）。 或者，您可以使用我在自己的机器上构建。 两者都有可用的最新工具版本。 玩得开心！ 下一个列表将在进一步开