”DSP核核查

[qmriso]

喜的朋友，

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

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

 

[Guest]

[No message]

 

[Guest]

可以请你postthis纸张她吗？