中文 英语
系统与设计
的意见

专家小组,在DVCon教程

什么变化在集成电路设计的价值,以及可能被忽视。

受欢迎程度

除了我们通常表现出的设计和验证会议在圣克拉拉的下个月,真正的意图已经组织了一个小组,半天教程强调的变化发生在我们的价值,以及可能被忽视。

面板地址有趣的话题”设计和验证结束开始在哪里?“抽象,设计和验证”密不可分的,“作为模拟的初始规范和建筑探索导致了RTL模型和最后一个门电路级实现。它声称验证流应用的断言,testbenches、时间约束和自动化方法设计影片的基调。他们是完全纠缠在一起?据我所见,通常设计团队看到那些写RTL代码之间的边界和验证它的人。之间有一个干净的传球给队友D和V ?行业的最佳实践是什么?我期待听主持人,布莱恩·亨特Cavium网络和panelists-John前言(手臂),奥伦Katzir(英特尔),哈利福斯特(导师),Pranav莎(真正的意图)和加里·史密斯(GSEDA)——将会对这些问题周三上午,2月27日。

其次,半天教程”Pre-Simulation RTL签字确认”介绍了工具集,所使用的传统的动态模拟和时机分析工程师。集成在一个SoC异构IP和设计单位的要求确认协议,功率预算、可测试性和多个接口的正确操作和时钟域交叉(CDC)。仿真理论可以用来完全测试一个SoC,但完成RTL测试的成本超出了设计团队可以负担得起。减少成本和风险的失踪的关键测试,RTL的抽象建模和pre-simulation静态分析已成为SoC设计的命令流。

报告将涵盖电力勘探、分析和优化使用抽象模型和高级合成(HLS),其次是RTL静态验证:语法和语义检查(线头);约束规划和管理;重置分析和优化;自动验证意图;美国疾病控制与预防中心的签收;DFT分析和插入;和X-analysis乐观/悲观修正。每一步都代表了一个重要的设计和硬化是最好的顶级工具专门为这一步。

将下列元素:

  • 权力使用HLS估计和优化硬件子系统;
  • 最新的棉絮检查包括循环检测,FSM,低功耗,和混合语言问题;
  • 署的正确性和一致性与RTL从权力和clock-gating优化;
  • 重置失败以后分析和优化,以减少所需的失败的数量;
  • 自动形式分析来验证设计意图;
  • 美国疾病控制与预防中心签字流使用正式的和结构性的方法;
  • 可测试性签字,DFT验证和计划,和适当的DFT实现和
  • 正确X-hygiene为仿真做准备。

星期四的下午三个小时的教程。2月28日将包括从Calypto设计专家系统演示,事实上的技术,和真正的意图:

布赖恩•鲍耶老设计专家,Calypto设计系统
布莱恩·鲍耶首屈一指的专家在设计与高级合成(HLS),有超过12年的经验设计和使用HLS工具。布莱恩创造了一个广泛的硬件使用HLS,从fft算法在c++和SystemC AXI接口。布莱恩。目前主要产品pesign团队Calypto设计系统,并负责HLS,正式等价和电力优化。

Chouki Aktouf,总裁兼首席执行官,事实上的技术
Aktouf博士是一个事实上的成立之前,格勒诺布尔大学的计算机科学副教授2和可靠性研究小组的领导人在INPG(国立格勒诺布尔理工研究所),超过18年左右的工作应用到现在的事实上的独特的方法来设计测试(DFT)。他拥有电气工程博士学位INPG(法国)和电子工程系做博士后研究在洛杉矶南加州大学和加拿大达尔豪斯大学。IEEE和TTTC Aktouf博士拥有超过15年的经验在设计和测试和容错。以及主要的几家国际研究项目在美国(DARPA),加拿大(NSERC)和欧洲,他已经发表了150多篇论文在国际会议、期刊、杂志和几本书章节。

Pranav莎,首席技术官,真正的意图
Pranav莎博士带来了二十年的EDA技术真正的意图。莎收到EECS他的硕士和博士学位,博士强调EDA从加州大学伯克利分校1989年和1991年,分别。然后他加入了NEC实验室在普林斯顿,新泽西州,他开发了一个数量的EDA技术的影响。他撰写约70出版物与大约800引用专业会议和期刊,和与人合写了一本名为“时序逻辑综合。“他有35专利授予和等待,其中许多已授权或部分业务支持。莎博士是哥伦比亚大学在中国电机工程学报部门兼职教员,他教研究生和本科课程在VLSI设计自动化、超大规模集成验证和VLSI设计。

本教程的成本是85美元,除非你选择一个会议的注册包,包括本教程。

我期待听到从他们所认为的面板上第二道防线的读者和半天教程。在展会上见到你!



留下一个回复


(注意:这个名字会显示公开)

Baidu