《先进SoC验证方法学研讨会-国家集成电路设计深圳产业化基地.docx》由会员分享，可在线阅读，更多相关《先进SoC验证方法学研讨会-国家集成电路设计深圳产业化基地.docx（2页珍藏版）》请在三一文库上搜索。
1、先进验证方法学研讨会邀请函TVS公司诚挚邀请您出席将于 2013年金秋在上海、深圳两地举办的SoC/FPGA先进验证 方法学培训和研讨会。此次培训和研讨会特别邀请到了英国TVS公司的创始人Dr. Mike Bartley亲缶。TVS公司全称为Test And Verification Solutions,专门提供外包验证及设计服务。公司成立于 2008年，总部位于英国，并且在德国、法国和印度分别设有设计服务分部。在中国地区，TVS将携手TopBrain (上海图元)服务本地区的客户。此次研讨会将探讨SoC/FPGA传统设计验证方法的局限性，介绍最新的验证方法学及解 决方案，分享TVS在验证服务
2、领域中多年的实践经验。 以下的培训及研讨会概况供参考。概述：对SoC/FPGA设计进行完整的功能验证一直是项目中最困难的任务，传统的直接功能测试的方法常常会遗漏深层次的设计缺陷。TVS的专家将在此次研讨会上通过实战案例和互动方式，让您了解传统验证方法的复杂性与局限性，引入最新验证方法学的重 要概念，介绍TVS的先进验证方法学及验证解决方案，分享 TVS在设计验证领域的多年 经验。针对与会者：研发项目经理，验证经理与验证工程师，需了解验证知识的设计经理与设 计工程师，计划建立 SoC/FPGA先进验证方法学的企业。议题：研讨会上将由TVS专家介绍设计验证的概念，验证计划的建立，直接测试的建立 以
3、及它的复杂性与局限性， 代码覆盖率与功能覆盖率， 带约束的伪随机测试生成， 断言, 形式属性检查等先进验证方法学内容。主讲 Dr. Mike Bartley 简介Dr. Bartley在英国布里斯托大学获得博士学位，他在硬件设计与验证领域有超过20年的丰富经验，他分别在一系列的公司领导并建立了先进的验证团队和技术，包括STMicroelectronics, Infineon, Elixent/Panasonic 。他在上述公司所建立的验证方法学和流 程，依旧在广泛的使用。自从创建 TVS公司以后，他为多个公司的领先项目提供了技术 服务，其中包含 ARM 和 Infineon。 Dr. Bart
4、ley 是British Computer Society 布里斯托分部 的前主席，并服务该职务达 10年。他是Bristol Local Enterprise Partnership (LEP) 的现 任主席，以及英国国家微电子学院( National Microelectronics Institute )的技术顾问。 他发表的有关先进验证方法学的论文超过了20篇。敬请光临!先进验证方法学研讨会（TVS 2013 ）以下内容请用正楷字填写：姓名：职务：单位名称：联系电话：E-mail :您选择的地点：口上海（2013-12-10星期二）深圳（2013-12-12星期四）日程安排: 上海地区2013年12月10日（星期二）上海市万荣路1188号龙软大厦6楼多功能会议厅联系人：徐龙军E-mail: TVS SOC 电话:021 - 6630 6500 传真:021 - 6630 6399深圳地区2013年12月12日（星期四）深圳市高新区中区科技中二路软件园一期四栋5楼528联系人：周岩E-mail: 电话：0755 - 8616 8846 传真：0755 - 8616 8949主办单位：Test and Verification Solutions协办单位：上海图元软件技术有限公司深圳集成电路产业化基地TVSTDPBRAIN DESIGN SYSTEMS匚匚