专家在餐桌上,第3部分:高级合成已存在多年,但工程师信任他们得到的结果使用HLS以及适合低功率吗?
半导体工程和迈克Meredith坐下,抑扬顿挫的解决方案架构师/福特设计系统;解决方案小组主管马克·沃伦节奏;应用工程副总裁托马斯•Bollaert Calypto;Devadas Varma, Xilinx高级主管。第1部分讨论的看着HLS不断变化的市场,客户的类型采用HLS今天。小组成员开始之间的分歧在语言和目标用户进行了讨论。第2部分钻研与synthesizable子集定义相关的问题和实现模型的互操作性。验证的主题也提高了。讨论仍在继续,进入连续的等价性检验、质量工具和力量。
SE:在早期的RTL综合,人们以前问题相信结果静态时间和等价性检查。人们相信他们从HLS得到的结果吗?
沃伦:每个人都想要正式的技术,因为它使RTL成为金色的模型。今天,如果我们有一个验证计划的基础上更高层次的抽象,是理想的如果我们没有重做RTL模拟,而是连续的等价性检查,但是在这个抽象层次上的很多困难。相反,我们只需要确保可以RTL插入到相同的验证环境,重新回归。
Varma:有两个部分。第一个是如何验证您的C / c++模型对RTL和第二个是工具本身的信任。仍然有很多缺陷被发现在逻辑综合工具和惊人的高级合成工具的质量一直很好,很少出现错误。
沃伦回归:这可能是因为我们有很多例子。
Varma:来自语言的模糊性的问题。
Bollaert:是的,有正式的是理想和确实是一个复杂的问题。在过去我们试图解决HLS必须提供所有的可能性,这是更加困难的,因为使用的不同风格,不同的语言和不同的抽象。当我们把弹弓Calypto,我们可以一次解决一个问题。这使我们逐步解决问题和提供流动。如果你被迫验证设计两次你失去很多,无法充分利用HLS的好处。
沃伦但是你只需要调试一次。
Bollaert:模棱两可的语言使生活困难。如果你访问数组越界的?语言没有定义。有时它可以提供正确的结果,但在设计时通过改变合成它可能会产生一个错误。你只能在RTL找到这个,但是这不是你想要找到它。正式允许您看到这些差异。
梅雷迪思:我见过用户正式应用于他们的行为模型和RTL之间更大的信心。你看到用户放弃RTL模拟吗?我还没有看到一个用户需要这一步。
Bollaert:不,他们总是做一些模拟对心灵的安宁和RTL可能会进入一个更大的系统,将模拟。然而,它可以减少他们所要做的。对于许多团队很难签署RTL直到他们有一定的覆盖面,但更容易覆盖C模型。
沃伦:当世界从图表RTL合成、EDA RTL的分析工具。现在使用HLS达到临界质量,有很多工具,适用于高级模型的机会。
SE:不要我们已经有丰富的C和c++分析工具吗?
Varma:所有的工具都喜欢分析C / c++。
梅雷迪思:这些工具也适用于SystemC环境。
Bollaert:SystemC使它更加困难。内核可以混淆工具。报道可以混淆什么是头文件,和这些工具不了解覆盖的概念,我们从RTL模拟器。他们没有状态/转换或切换报道。在纯C,你不必担心并发,你不必担心头文件。
沃伦:今天大多数人都使用智能测试诸如UVM所定义的。功能范围是很重要的。我们都知道,100%的行覆盖率测试并不意味着你的一切你的设计。反过来也是正确的;不到100%意味着你知道有些事情是未经检验的。所有的公司都有不同的覆盖需求。
SE:你应该使用Accellera uci(全民医保互操作性标准)定义覆盖模型HLS进入同样的问题之前,我们已经对RTL报道吗?
梅雷迪思:有几个活动(uci MLWG, SystemC验证),这些需要走到一起,但它已经太迟来解决这些问题。大量的半导体和系统公司已经有了自己的方法,为解决这些库和流动。
这些天SE:权力是一个重要的问题。HLS情况如何解决这个问题?
沃伦:HLS非常适合低功耗设计。每个人都知道,最大的收获将来自调整架构。HLS允许你做假设分析,看看电源,性能和面积。
Varma:关键是改变的连续行为的设计。减少权力的方法是提高并行性这样的事情可以在低功率运行线程。频率是电力的敌人。没有什么是设定一个目标和工具来满足它。但HLS继续采用,因为它减少电力的能力。
梅雷迪思:HLS还可以减少权力在RTL的方式将是非常困难的。例如,状态编码,因此只有一点过渡,其中有很多HW挂了他们可以减少很多mux,切换,切换和故障。
沃伦:时钟门控是另一个。HLS有更高的设计所以可以移动的逻辑视图。
Bollaert:我不认为我们是远离HLS满足电力的目标。丢失的部分之一就是你不能优化无法测量,现在我们已经解决了这个。
Varma:关键是不准确但忠诚。当你有精度+ / - 20%的范围内你只能跟踪趋势,你不能优化它。我们有客户要求评估工具,它总是宁可一面——所以+ 20%,- 0。
Bollaert:我不认为相对实力估计是不够好。你要知道如果你在信封的力量。准确性是必要的,你可以通过对RTL做分析,与目标库,可能与寄生。
Varma:是的,我们有一个优势,因为我们控制硅。所以我们可以在一位数精度预测能力。
|
|
|
|
|
|
|
|
|
|
谢谢!这是非常有趣的!