验证的规范只是一样好,如果规格不完整的设计和验证周期就会增长。
复杂性和规模的快速增长的现代系统芯片(soc)的设备,随着开发这些ICs的费用,需要设计的可重用性。今天,SoC设计通常是建立为单独的IP(知识产权)的集合与胶块缝合逻辑。这些IP可以来自多个设计团队,包括许多第三方团队。SoC (IP)设计和验证也可以细分为两个截然不同的群体——RTL设计和RTL验证。这种劳动分工使专业化,还将设计知识,进而使IP-SoC集成(和ip级别验证)。
验证工程师的工作是验证的RTL设计、知识产权和/或SoC的功能是正确的。部门的知识,验证工程师必须越来越依赖设计规范。不管验证技术和运营速度,这个验证只是一样好可用的规范。如果这些规范是不完整的,设计和验证周期将增长,bug芯片的生产将变得不太可能。
嵌入式断言一直是一种有希望的技术来解决这一部门的知识。然而,这种技术已经达到手动创建断言的痛苦的过程。与自动化的可用性,然而,这种承诺可以实现。点击阅读更多在这里。
|
|
|
|
|
|
|
|
|
|
留下一个回复