”DSP核核查

Q

qmriso

Guest
喜的朋友,

我工作的一些算法来检查DSP的核心主张。换句话说,我已经开发了一种软件
, 象征性仿真工程
, 做一个数字化设计形式化验证。我的个案研究,ckeck一个是DSP内核(TMS320C6x的)的TI。
我在寻找一些有特殊验证了DSP内核的基础上正式核查有关的工程,即完成财产检查或断言检查。请让我知道如果你读了一些关于它的文件或物品。
我发现下面的文件,但它不是正式的或象征性的模拟验证
, 也需要有更多的相关工作,如果可能的话:

“DSP核心核查使用自动测试用例的一代”,吨Glokler和...

 

Welcome to EDABoard.com

Sponsor

Back
Top