riple

Stay Hungry, Stay Foolish.

海外捉虫记—控制通路有没有静态检验方法

0
阅读(1606)

CPU接口涉及到大量的译码逻辑。如果能够不经过动态仿真,采用一种工具静态地验证memory map与hdl代码之间的对应关系,软硬件联调就会快很多。进一步,如果可以由memory map直接生成hdl代码就更好了。

Baidu
map