VHDL-2008中的属性规范语言（PSL）_Vhdl_Fpga_Verification_Register Transfer Level_Psl

VHDL-2008中的属性规范语言（PSL）

vhdl

VHDL-2008中的属性规范语言（PSL）,vhdl,fpga,verification,register-transfer-level,psl,Vhdl,Fpga,Verification,Register Transfer Level,Psl,在我最近的项目中，我希望使用断言验证。VHDL-2008集成支持PSL。但我找不到《入门指南》或是一些入门指南。我只找到一本书《PSL实用导论》，在我的地方买不到有人有关于PSL的教程或书籍的链接吗？关于如何引入PSL技术的另一个建议？可能会有所帮助？书籍：。

在我最近的项目中，我希望使用断言验证。VHDL-2008集成支持PSL。但我找不到《入门指南》或是一些入门指南。我只找到一本书《PSL实用导论》，在我的地方买不到

有人有关于PSL的教程或书籍的链接吗？关于如何引入PSL技术的另一个建议？

可能会有所帮助？书籍：。