作者niu0220 (niu)
看板ICDESIGN
标题[学术]台大soc中心积体电路之正规验证 -黄钟扬 …
时间Wed Sep 5 10:23:43 2007
※ [本文转录自 NTU 看板]
作者: niu0220 (niu) 看板: NTU
标题: [学术]台大soc中心积体电路之正规验证 -黄钟扬教授授课
时间: Wed Sep 5 10:21:56 2007
国立台湾大学系统晶片中心 SOC 人才培训专业讲座
课程名称：积体电路之正规验证 (VLSI Formal Verification)
课程日期： 2007年9月14日（星期五） 9:00 AM -- 4:30PM
课程地点：国立台湾大学 博理馆 114室
(台北市罗斯福路四段一号)
主 讲 人：黄钟扬 教授
现职：国立台湾大学电子所教授
学历：美国加州大学圣塔芭芭拉分校电机资讯博士
经历：Sr. RD Manager, Verplex/Cadence Design Systems
专长：SoC电路设计验证．电路设计自动化及最佳化．可验证性电路设计．
Constraint Satisfication问题
曾获：台大95年度教学杰出奖
课程说明：
This course is targeted at the researchers and engineers who are working in
the VLSI design verification area. We will first go through different options
of design verification, and then go deep into the core techniques behind
these methodologies. State-of-the-art formal verification algorithms will be
covered, and at the end we will review the verification tools and market in
order to discuss the future trends for the verification research and
development.
课程大纲：
1. What is design verification?
2. What is formal verification?
3. BDD-based formal verification
4. SAT-based formal verification
5. Abstraction and refinement
6. Formal verification techniques in EDA tools
建议参加对象： (1)从事EDA相关领域之工程师及研究人员。
(2)对EDA领域有兴趣之在校学生。
(3)从事积体电路设计相关工作之工程师及研究人员。
报 名 方 式：请由台大系统晶片中心网站
http://soc.ee.ntu.edu.tw线上报名
报名截止日期：96年9月7日（星期五）前
费 用 ：NT$5,000 (含讲义、午餐、茶点)
【台大系统晶片中心之合作会员厂商，可享有二个人次免费】
【在学学生优惠每位NT$1800（限本人，请携在学证件备查）】
注：若於上课日前缴费未完成不予受理；报名者如不克如期参加，可指派其他人选参加，
并请事前通知主办单位；若因不可预期之突发因素，主办单位保留课程更改之权利。
联络方式 :
国立台湾大学系统晶片中心, 台大博理馆311室, 吴小姐
Tel: (02)3366-3531, Email:
[email protected]
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.49.127
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.49.127