英语不是一个设计流程,这是一个验证流,它才会起飞行业认识到。只有现在我们开始定义ESL验证意味着什么,但这是太少,太晚了吗?
已经有一个几乎恒定的一般观点之间的分歧关于英语和我自己的观点。这并不完全令人吃惊,因为我花了我的大部分时间作为验证专家在EDA行业工作。推动了EDA设计,最大的EDA公司在设计方面的进步。
验证工程师们只有被视为相当现代历史上一流的工程师。在那之前的格言,如果你不够好设计做验证。但这已经改变了,我相信它还会继续发生变化,因为验证将成为领袖,将司机非母语英语课程方法。
二十年前,我和加里·史密斯有一个运行的讨论。他会告诉我的公司有一个伟大的新高水平的合成(HLS)工具,它可以把C和生产硬件的一小部分时间花了硬件设计师。我嘲笑他,告诉他不会成功。这持续了好几年,每次他给我带来了新公司我告诉他同样的事情。最后他问我为什么把他们如此之快,经常在他还没有解释完他们给我。的答案很简单:他们没有解决验证的挑战。
虽然加里最终同意我,其余的市场没有。他们都相信迁移到英语将会引发的对合成工具,这将是相同的迁移RTL。每个公司想要的Synopsys对此非母语英语课程。但是没有人解决验证方面,这是采用缓慢的一部分原因。
即使在HLS供应商认识到验证的重要性,把一些东西,他们不完全理解的挑战。一些HLS工具厂商甚至报道,公司采用HLS因为验证获得他们的生产力。应该是这里的密报,但即使到今天没有人能定义ESL验证流程是什么样子的。
我们开始靠得更近。基于解决方案定义场景,可用于生成测试硬件。这些测试还可以用在一些抽象的设计从虚拟原型通过模拟和模拟实际的硅。这是一个开始。
我们需要的是一个可执行的需求文档,可以使用图表描述或其他表示。这就需要很多的工具。它需要工具来分析其完整性,包括覆盖的系统级的定义。它需要能够综合测试,这首曲子正开始成为现实。它需要分区,这样用例可以提取sub-pieces的设计。简而言之需要一个文档驱动整个验证过程从开始到结束,可以容纳自下而上的插入知识产权。
不仅仅是验证功能,它是关于性能、权力和安全等其他因素。处理这些问题采用了不同的思维方式比过去已经使用。这些都是统计在本质上和由一个运行不会回答。
只有当这些存在ESL站集体被领养的机会。但即使这可能还不够。十年前可能是足够的,但今天任何验证解决方案,不包括软件仅仅是解决问题的一部分。有司机的方式可以插入这种类型的流,但高水平的软件可能创造更多的挑战。除了ESL验证流,我们也需要开始看系统级验证流。
|
|
|
|
|
|
|
|
|
|
“我们开始靠近。基于解决方案定义场景,可用于生成测试硬件。这些测试还可以用在一些抽象的设计从虚拟原型通过仿真和模拟实际的硅。这只是一个开始。”
的SoC测试用例需要硬件和软件的组合。整件事是控制功能实现布尔逻辑和算术数据流,所以需要有一个共同的平台模型。
OOP软件和硬件都是模块化结构,所以我使用泛型类注册与布尔表达式和记忆模型的硬件。
整个系统都可以编译模型。Roslyn女士编译器可以提取控制图作为测试用例生成的文本。
逻辑设计与高密度脂蛋白/ RTL没有完成,但是有语法用于分离布尔运算数据流的控制逻辑。