事件详细信息

时间:太平洋时间上午11时至下午12时

文摘:

今天的fpga和SoC fpga使用各种类型的总线互连-如AXI、APB、AHB、Avalon或Wishbone -用于内部(ip级)和外部通信。Aldec的ALINT-PRO最近增加了一个功能，允许设计人员提取、检查和验证总线接口连接的正确性。此外，ALINT-PRO能够自动连接总线协议检查器，并可以监控当前的设计，以实现模拟中的功能互连验证。

本次网络研讨会将介绍ALINT-PRO中的总线接口提取技术。总线接口/互连实例的概念也将被讨论。此外，总线接口/互连可视化将通过新的互连查看器和ALINT-PRO中增强的精化查看器进行演示。“非侵入式”协议检查和监控附件设计的自动化过程也将被提出。

议程:

• 总线接口及其类型的概述
• 总线互连介绍
• ALINT-PRO中总线接口的可视化
• 用ALINT-PRO进行总线互连的静态验证
• 动态总线互连验证使用自动连接的协议检查器
• 现场演示
• 结论
• 常见问题

主持人生物

Alexander Gnusin，设计验证技术专家。Alex在ASIC和FPGA设计和验证的各个方面积累了25年的实践经验。他的员工名单包括IBM、北电(Nortel)、爱立信(Ericsson)和Synopsys Inc.。作为一个数百万门项目的Verification Prime，他结合了各种验证方法——LINT、形式属性检查、动态仿真和硬件辅助加速，有效地实现了设计验证目标。他获得了Technion, Israel Institute of Technology的电子硕士学位。