如果你soc设计,然后使用IP。很多的可能。来自不同公司的,有些甚至从你的自己的公司。
好消息是,都是完美的记录——别针,寄存器,时机,一切。对吧?所以你知道只是拟合在一起会给你一个correct-by-construction设计。对吧?
是的…然后你醒来。
事实上,RTL实现可能偏离规范,规范中可能存在漏洞或者黑箱RTL可能看不见的惊喜。这足以让你跑回舒适的枕头。
贾斯帕和Duolog,敦促的手臂,一起来尝试解决一些。第一个关键成分是machine-friendly描述IP块的方法。那就是IP-XACT。IP-XACT并不描述IP实现;它只是可以使用(如果“简单”)的元数据和接口规范。像一个函数或对象原型软件。(很明显,贾斯帕和Duolog不创建IP-XACT;它已经存在了一段时间,他们只是利用它。)
给定的规范和实现版本的IP块,Duolog和碧玉可以确认规格是否匹配RTL或黑盒白盒匹配。这是第一个可用的两个工具。
第二有助于将IP块组装成一个设计,然后确认一切都连接正确。“能有多难?“你问。鉴于一些连接可能会随着时间的推移,或给出各种条件(例如,通过多路复用),以及一些IP可以有数百个(或更多)的连接,它可以变得很复杂。主旨的工具来处理这些场景,包括延迟等时间的细节。
这一切终于推出了DAC,所以今天是可用的。你可以找到更多的释放。