新闻

呼吁SIGDA新闻稿总编辑

ACM SIGDA宣布为SIGDA Newsletter(设计自动化领域的新闻和事件信息月刊)召集编辑主管。总编辑,以及。。。

阅读更多。。。

IEEE/ACM A.Richard Newton电子设计自动化技术影响力奖

IEEE/ACM A.Richard Newton电子设计自动化技术影响力奖在DAC 2023授予Moshe Vardi和Pierre Wolper,以表彰他们的研究工作“自动化理论应用”。。。

阅读更多。。。

2023年巴西CADAthlon赛事亮点

2023年巴西CADAthlon——第三届巴西集成电路设计自动化编程竞赛(https://csbc.sbc.org.br/2023/adatlon-brasil-en/)8月8日在Joáo Pess。。。

阅读更多。。。

Ron Rohrer教授获得ACM SIGDA先锋成就奖@DAC 2023

https://www.dac.com/About/Conference-Archive/60th-dac-2023/Awards-2023

对于支持集成电路设计和测试的仿真和分析技术的引入和发展,本文将介绍其应用前景。。。
阅读更多。。。

CADathlon Brasil 2022亮点

巴西CADathlon 2022–2巴西集成电路设计自动化编程竞赛(https://csbc.sbc.org.br/2022/cadathlon-brasil-en/)发生在8月2日在Niteroi。。。

阅读更多。。。

事件

UDemo@DAC

第34届ACM SIGDA/IEEE CEDA大学演示呼吁参与!!

日期:2024年6月23日至27日
位置:旧金山Moscone Center West

提交指南

提交内容应为。。。

阅读更多。。。

现场

SIGDA Live是一系列网络研讨会,每月或每两个月举办一次,讨论SIGDA社区普遍感兴趣的主题(技术或非技术)。谈判总的来说是在最后。。。

阅读更多。。。

CADathlon@ICCAD

2023年10月29日星期日08:00 AM–05:00 PM,因人

美国加利福尼亚州旧金山市索马市中心凯悦酒店画廊宴会厅

欢迎使用ICCAD的CADathlon

CADathlon。。。

阅读更多。。。

哈克@DAC

哈克@DAC是一场硬件安全挑战赛,与设计和自动化会议(DAC)合办,旨在发现和利用硬件和固件中的安全关键漏洞。。。

阅读更多。。。

SDC@DAC

DAC 2023系统设计竞赛

DAC系统设计竞赛的重点是嵌入式GPU或FPGA系统上的对象检测和分类。参赛者将收到一份培训数据集pro。。。

阅读更多。。。

奖品

牛顿

ACM/IEEE A.Richard Newton电子设计自动化技术影响力奖

2023年的奖项授予Moshe Vardi和Pierre Wolper,他们的研究成果“自动程序验证的自动化理论方法”发表在1986年第一届计算机科学逻辑研讨会的会议记录中。

摩西·瓦迪
皮埃尔·沃尔珀

由ACM设计自动化和IEEE电子设计自动化委员会
 
描述:表彰在电子设计自动化领域做出杰出技术贡献的一个人或多个人,至少在颁奖前十年发表的论文证明了这一点。该奖项基于贡献的影响。
 
背景:IEEE电子设计自动化委员会赞助或共同赞助《IEEE计算机辅助设计汇刊》的唐纳德·佩德森奖最佳论文、国际计算机辅助设计会议的威廉·麦卡拉奖最佳论文,以及菲尔·考夫曼电子设计自动化杰出贡献奖(与EDA联盟)。考夫曼奖是一项主要奖项,通常授予在该领域做出杰出贡献的资深人士。其他IEEE CEDA奖项表彰杰出的出版物。美国计算机学会设计自动化特别兴趣小组赞助或共同赞助美国计算机学会电子系统设计自动化交易最佳论文奖、国际计算机辅助设计会议最佳论文威廉·麦卡拉奖,以及两项杰出研究生和新教员奖。ACM杰出博士论文奖每年颁发给一名即将毕业的博士生,以表彰他/她的论文对EDA领域进步的贡献。SIGDA杰出新教员奖每年也颁发给研究贡献可能产生重大影响的初级教员。
拟议的A.Richard Newton技术影响力奖是对这些奖项的补充,旨在为其影响力在相当长一段时间内得到认可的贡献者设立。
该奖项授予A.Richard Newton,他是学术界和工业界设计自动化领域的杰出人物、该领域许多领导者的教师贡献者和顾问、公司创始人以及2007年去世的加州大学伯克利分校工程系主任。牛顿教授体现了该奖项寻求认可的技术影响力的理念。
 
提名人征集:提名名单将于每年秋季通过电子邮件、传单和在计算机辅助设计国际会议上的宣传以及IEEE电子设计自动化委员会(及其参与协会)的网站上发布给参与协会的成员以及ACM设计自动化特别兴趣小组的网站、SIGDA和CEDA通讯以及IEEE设计与测试杂志。
提名表将要求(i)论文和作者获得荣誉,(ii)提议的引文,(iii)描述论文在至少十年内的影响,包括支持在提名论文领域做出重大学术贡献和产生重大影响的证据。支撑材料至少应涵盖以下方面的影响:

  • 引文对研究界的影响
  • 通过在工业环境中使用所述技术的证据对从业者社区的影响
  • 通过启动新方向和产生新想法的证据对整个EDA社区产生的影响

除了影响证据外,提名表还将包括传记信息(包括教育和就业)、专业活动、出版物和认可。可以包括三份证明工作影响的背书。
提名材料应在截止日期前通过电子邮件发送至SIGDA-Award@acm.org(主题:ACM/IEEE A.Richard Newton电子设计自动化技术影响力奖)。
 
奖励委员会:由IEEE电子设计自动化理事会指定的三名成员和ACM设计自动化特别利益小组指定的三位成员组成的委员会进行选择。委员会将于每年2月举行会议,审查提名,并在3月15日前向赞助委员会和SIG提出建议。经赞助商批准后,委员会将与获奖者联系,以确保该奖项被接受。
 
将应用ACM政策中规定的所有标准利益冲突规定(参见https://awards.acm.org/conflict-of-interest). 如果存在利益冲突,任何奖项委员会成员都将回避对任何候选人的考虑。
 
时间表:提名名单将于每年秋季公布,特别是在国际计算机辅助设计会议上(见上文)。提交截止日期为2月1日每年的。奖项委员会将于2月举行会议,确定获奖论文和获奖者。赞助商将在3月15日前批准该选择。收件人将在4月1日前收到通知。该奖项将于6月/7月在ACM/IEEE设计自动化会议上颁发。
 
选择/判断依据:该奖项旨在表彰在电子设计自动化领域做出杰出技术贡献的个人或团体,该奖项颁发前至少十年发表了一篇论文。该奖项基于上述论文的影响。将考虑并鼓励来自世界各地大学、行业和政府的候选人。该奖项不是最佳论文或初始原创贡献奖。相反,首要考虑的将是对技术、工业、教育以及工作中的电子设计师和工程师的影响。这种影响可能包括一项被广泛引用或引发许多创新思维的研究成果,或一项在实践中得到广泛应用的新技术。
 
演示:该奖项包括1500美元的现金奖金,将在获奖者之间进行分配。该奖项将每年在ACM/IEEE设计自动化会议上正式颁发。
 
宣传:向行业媒体发布新闻稿,IEEE和ACM出版物中的文章,以及在CEDA、SIGDA、ACM和IEEE赞助的会议上的宣传。
 

以往获奖者

  • 2023年:Moshe Vardi和Pierre Wolper的研究工作“自动程序验证的自动化理论方法”,发表在1986年第一届计算机科学逻辑研讨会的会议记录中。
  • 2022年:Ricardo Telichevesky、Kenneth S.Kundert和Jacob K.White,“基于无矩阵Krylov-子空间方法的高效稳态分析”,在编。1995年第32届设计自动化会议。
  • 2021年:John A.Waicukauski、Eric Lindbloom、Barry K.Rosen和Vijay S.Iyengar,“过渡故障模拟”,IEEE计算机设计与测试,第4卷,第2期,1987年4月
  • 2020年:Luca Benini和Giovanni De Micheli,“芯片网络:新SoC范式”IEEE计算机第70-78页,2002年1月。
  • 2019年:E.B.Eichelberger和T.W.Williams,“LSI可测试性的逻辑设计结构”,In Proc。第14届设计自动化会议,1977年。
  • 2018年:Hans Eisenmann和Frank M.Johannes,“通用全球布局和楼层规划”,In Proc。第35届设计自动化会议,1998年。
  • 2017年:Matthew W.Moskewicz、Conor F.Madigan、Ying Zhao、Lintao Zhang和Sharad Malik,“Chaff:设计高效SAT解算器”,处理中。第38届设计自动化会议,2001年。
  • 2016年:Chandu Visweswariah、Kaushik Ravindran、Kerim Kalafala、Steven G.Walker、Sambasivan Narayan,“基于一阶增量块的统计时序分析”,In Proc。2004年第41届设计自动化会议。
  • 2015年:Blaise Gassend、Dwaine Clarke、Marten van Dijk和Srinivas Devadas,“硅物理随机函数”,载于2002年第九届ACM计算机和通信安全会议论文集。
  • 2014年:Subhasish Mitra和Kee Sup Kim,“X-compact:一种有效的响应压缩技术,用于降低测试成本”,IEEE国际测试会议,2002年。
  • 2013年:Keith Nabors和Jacob White,“FastCap:多极加速三维电容提取程序”,《IEEE集成电路和系统计算机辅助设计汇刊》,第10卷,第11期(1991年):1447-1459。
  • 2012年:Altan Odabasioglu、Mustafa Celik、Larry Pileggi,“PRIMA:无源降阶互连宏建模算法”,《IEEE集成电路和系统计算机辅助设计汇刊》,1998年8月。
  • 2011年:Jason Cong,Eugene Ding,“流程图:基于查找表的FPGA设计中延迟优化的最佳技术映射算法”,IEEE集成电路和系统计算机辅助设计汇刊,1994年1月。
  • 2010年:Randal Bryant,“布尔函数操作的基于图形的算法”,《IEEE计算机学报》,1986年8月。
  • 2009年:Robert K.Brayton、Richard Rudell、Alberto Sangiovanni-Vincentelli、Albert R.Wang,“MIS:多层逻辑优化系统”,《IEEE集成电路和系统计算机辅助设计汇刊》,1997年11月。
阅读更多。。。

服务

服务奖项

SIGDA已经调整了其服务奖项,并将颁发两个年度服务奖项。

  • 杰出服务奖:SIGDA杰出服务奖授予那些在职业生涯中多年致力于促进、领导或创建ACM/SIGDA项目或活动的个人。
  • 卓越服务奖:SIGDA卓越服务奖授予那些在传统服务之上或之外提供专业服务以促进、领导或创建ACM/SIGDA项目或活动的个人。

在任何一年,杰出服务奖的数量最多为2个,而卓越服务奖的数目最多为4个。

提名应包括:

  • 提名的奖项类型。
  • 提名人的姓名、地址、电话号码和电子邮件。
  • 推荐获奖候选人的姓名、所属单位、地址、电子邮件和电话号码。
  • 一份声明(200至500字),解释为什么提名人应该获得该奖项。请注意,该奖项是授予超越传统服务的服务。
  • 最多2封额外的支持信。包括写信人的姓名、所属单位、电子邮件地址和电话号码。强烈鼓励多名候选人的支持者在信中对候选人进行比较。

请注意,提名人和推荐人应来自SIGDA志愿者。每年提名截止日期:3月15日(2019年5月5日除外)。

请将所有提名材料作为一个pdf文件发送至SIGDA-Award@acm.org公司在截止日期之前。

杰出服务奖

2023图丽卡·米特拉,新加坡国立大学
在SIGDA主要会议上发挥领导作用,如ICCAD和ESWEEK总主席“.
帕特里克·格罗内维尔德斯坦福大学
他多年来对EDA社区做出了重大贡献,例如DAC财务主席等“.
2022维杰·纳拉亚南宾夕法尼亚州立大学
为SIGDA做出卓越贡献和领导“.
哈里·福斯特、西门子EDA
大流行期间领导DAC的非凡奉献和坚持不懈“.
2021陈德铭(Deming Chen)伊利诺伊大学香槟分校
为设计自动化和可重构计算社区做出杰出贡献“.
伊万杰琳·F·Y·杨,香港中文大学
在促进ACM/SIGDA社区多样性方面发挥杰出领导作用“.
2020斯里·帕拉梅斯瓦兰,新南威尔士大学
“为EDA社区提供领导和卓越服务“.
2019Naehyuck Chang先生,韩国高级科学技术研究所
多年来,在ACM/SIGDA担任各种领导职务,发挥了重要作用“.
苏迪普·帕斯里察科罗拉多州立大学
十年来,在各种志愿者岗位上为ACM/SIGDA提供了卓越的服务
2018查克·阿尔伯特Cadence设计系统
对于DAC的重大贡献”.
约格·汉克尔卡尔斯鲁厄理工学院
领导SIGDA在欧洲和DATE的工作”.
迈克尔·麦克纳马拉,适配器-IP
为设计自动化社区和DAC做出持续贡献”.
米歇尔·克兰西,Cayenne通信
为社区,特别是发援会做出持续贡献”.
2016莱维坦
感谢为ACM SIGDA和电子设计自动化社区奉献一生的服务。
2015大冢达雄早稻田大学
Hiroto Yasuura先生九州大学
小野秀树,京都大学
感谢他们对亚洲及南太平洋设计自动化会议(ASPDAC)的杰出贡献,以及他们在会议指导委员会中多年的专注服务
马苏德·佩德拉姆南加州大学
担任ACM电子系统设计自动化事务总编多年
2014彼得·马韦德尔,多特蒙德工业大学
由于他多年的服务,创立并维护了DATE博士论坛
2012乔·扎姆雷诺,爱荷华州立大学
巴里斯·塔斯金,德雷塞尔大学
2011彼得·费尔德曼、IBM
拉杜·马尔库列斯库、CMU
Qinru邱雪城大学
黄若萌、UIUC
青武,空军罗马实验室
2010亚历克斯·K·琼斯
作为大学展台主任,为ACM/SIGDA和设计自动化会议提供专业服务
马特·古特豪斯
作为ICCAD项目SIGDA CADathlon的主管和SIGDA电子通讯的编辑
戴安娜·马库列斯库
作为SIGDA主席的专门服务,以及对SIGDA、DAC和EDA专业的贡献
2009尼基尔·达特
在过去15年中,作为SIGDA官员、大学展台早年协调员以及最近作为ACM电子系统设计自动化事务编辑长,为ACM设计自动化特别利益小组做出贡献
2008林成基
感谢他对DAC大学展台的贡献.”
2007理查德·戈林
作为《EE Times》设计自动化编辑总监20多年来的贡献
加里·史密斯
近20年来,他担任Gartner Dataquest首席EDA分析师.”
丹尼尔·加伊斯基
玛丽·简·欧文
唐纳德·托马斯
查克·肖

在SIGDA/DAC大学展台第20届会议上,为其创建做出了杰出贡献.”
苏哈·哈松
史蒂文·莱维坦

感谢在DAC第10届会议上为SIGDA博士论坛的创建做出的杰出贡献.”
理查德·奥莱塔
作为大学展位协调员、秘书/财务主管和执行委员会全体成员,为SIGDA服务了十多年。
2006罗伯特·沃克
作为SIGDA主席(2001-2005年)提供专业服务,并为SIGDA、DAC和EDA专业提供超过十年的服务.”
2005玛丽·简·欧文
作为ACM Journal,TODAES(1998–2004)的主编提供专业服务,并为SIGDA,DAC和EDA专业提供多年服务.”
2004詹姆斯·科霍恩(James P.Cohoon)
为SIGDA、ACM、DAC和整个EDA行业提供模范服务
2003詹姆斯·普卢斯克利克
作为大学展位项目负责人,为ACM/SIGDA和设计自动化会议提供示范服务
2002史蒂文·莱维坦
为ACM/SIGDA和EDA行业服务了十多年——担任DAC大学展位协调员、学生设计竞赛组织者、SIGDA网络服务器的创始人和推广人,最近于1997年至2001年担任ACM/SIGDA主席。
成角角
为ACM/SIGDA和EDA行业提供模范服务-担任SIGDA CDROM项目的联合总监、SIGDA旅行补助金协调员和SIGDA新闻稿的编辑.”
2001罗伯特·格拉夫顿
感谢他在担任国家科学基金会计算机、信息科学与工程董事会设计、工具和测试项目总监多年来对EDA专业的贡献。在这个职位上,他为几代EDA工具设计者和建设者提供了监督、指导和指导,这些设计者和建造者由国家科学基金会资助.”
2000马苏德·佩德拉姆
感谢他在开发SIGDA多媒体系列和组织青年学生支持计划方面的贡献
苏哈·哈松
发展SIGDA博士论坛
1999C.L.(戴夫)刘
感谢他在创办我们的旗舰期刊ACM/TODAES方面所做的工作

有功服务奖

2023罗伯特·威利,慕尼黑工业大学
在ACM SIGDA主要会议上担任领导职务,包括DATE、ICCAD执行委员会以及DAC和DATE博士论坛主席“.
雷江印第安纳大学布卢明顿分校
感谢他在ASP-DAC的SIGDA学生研究论坛(SRF)上的领导和贡献“.
慧如江,国立台湾大学
感谢她在DAC和许多其他活动中对SIGDA博士论坛的持续贡献“.
Jeyavijayan(合资公司)Rajendran德克萨斯农工大学
感谢他在联合创立和组织方面的领导黑客@DAC,全球最大的硬件安全竞争“.
2022杰夫·戈德斯,杨百翰大学
用于过去3年的链系统设计竞赛@DAC“.
程卓,浙江大学
为了领导努力取得成功SRC@ICCADSDC@DAC过去5年担任主席,为中国EDA社区做出持续贡献“.
黄宗伟犹他大学
在ICCAD主持CADathlon和CAD竞赛三年。这些活动吸引了数百名学生参与CAD研究“.
Yiyu Shi公司圣母大学
领导SIGDA教育工作的杰出服务“.
2021贝聿,香港中文大学
2016年至2021年担任SIGDA网络主席,2018年和2019年担任SIGDA学生研究竞赛主席,以及其他SIGDA活动“.
2020Aida Todri-Sanial公司,LIRMM/蒙彼利埃大学
“2016年至2019年担任SIGDA电子通讯和其他SIGDA活动的联合编辑“.
Yu Wang(王宇),清华大学
2017年至2019年担任SIGDA电子通讯和其他SIGDA活动的联合主编”。
2019银河韩,中国科学院
为在中国推广EDA和SIGDA活动所做的杰出努力
胡静桐匹兹堡大学
为多个SIGDA教育和推广活动做出贡献
徐晓伟圣母大学
为2018年ACM/IEEE设计自动化会议系统设计竞赛做出贡献
2015拉勒·贝贾特卡尔加里大学
担任DAC SIGDA博士论坛主席
Soonhoi河,首尔国立大学
Jeonghee Shin公司,苹果
作为DAC大学展台联合主席的服务
1998丛京生
布莱恩·普雷斯
凯西·普雷亚斯
重庆高
成角角

为制作SIGDA CD-ROM做出贡献–归档设计自动化社区的知识
1997罗伯特·沃克
感谢他作为秘书/财务主管和大学展位协调员的辛勤工作
1996黛比·霍尔
过去6年担任SIGDA ACM项目总监

以下是一些不再颁发的奖项:

技术领导奖

2013贾罗德·罗伊
苏迪普·帕斯里察
Sudarshan Banerjee公司
Srinivas Katkoori公司

用于运行CADathlon
2012程卓
史蒂夫·伯恩斯
阿明·奇拉尤
安德烈·阿尤波夫
古斯塔沃·威尔克
穆斯塔法·奥兹达尔
2011拉朱·巴拉苏拉马尼安
卓丽
刘传弼
纳塔拉詹·维斯瓦纳坦
2010Cliff Sze公司
为ISPD物理设计竞赛做出贡献,并促进物理设计研究.”
2008海州
用于SIGDA电子通讯(2005-2008)
泾阳
为发援会SIGDA博士论坛(2004-2008年)捐款
2007吉尔特·詹森
为SIGDA CADathlon捐款
托尼·吉瓦吉斯
为DAC(2005-2007)SIGDA博士论坛捐款
Gi-Joon南
对ISPD物理设计竞赛(2005-2007)的贡献
2006卡蒂克·莫汉拉姆
ICCAD(2004-2005年)对SIGDA CADathlon的贡献
雷·霍尔
为发展援助委员会SIGDA大学展台捐款(2004-2006年)
拉杜·马尔库列斯库
为发展援助委员会SIGDA博士论坛(2004-2006年)做出贡献
刘传弼
为DAC(2005-2006)SIGDA博士论坛捐款
2005弗洛里安·克罗姆
ICCAD对SIGDA CADathlon的贡献
R.Iris Bahar先生
伊戈尔·马尔科夫

对于SIGDA电子通讯的贡献
2004罗伯特·琼斯
为DAC SIGDA博士论坛捐款
2003戴安娜·马库列斯库
为DAC SIGDA博士论坛捐款
2002吉尔特·詹森
ICCAD对SIGDA CADathlon的贡献
白周
阿贝·埃尔法德尔
奥利维尔·考德特
苏哈·哈松

对DAC SIGDA博士论坛的贡献

1996年SIGDA终身成就奖

保罗·韦尔
“为SIGDA贡献了13年,最近一次是负责研讨会。”

1996年SIGDA领导奖

斯蒂夫-莱文坦
“用于新闻稿和电子出版”

1995年SIGDA杰出领导奖

夏洛特·阿克恩
“感谢她在管理高中奖学金计划方面所做的努力”

1994年SIGDA杰出领导奖

帕特·赫夫兰
“作为SIGDA新闻稿的编辑”

阅读更多。。。

先锋

SIGDA先锋成就奖

由ACM设计自动化特别兴趣小组提出。
 
描述:终身表彰在电子设计自动化领域做出的杰出贡献,如出版物、工业产品或其他相关贡献中率先提出的想法。该奖项基于候选人一生中贡献的影响。
 
背景:美国计算机学会设计自动化特别兴趣小组赞助或共同赞助美国计算机学会电子系统设计自动化交易会最佳论文奖、国际计算机辅助设计会议威廉·麦卡拉最佳论文奖和美国计算机学会/美国电气与电子工程师协会A。理查德·牛顿(Richard Newton)电子设计自动化技术影响奖(Technical Impact in Electronic Design Automation Award),颁发给至少十年前创作的一本出版物的作者,该出版物对EDA领域做出了杰出贡献。此外,SIGDA还赞助了ACM电子设计自动化杰出博士论文奖,该奖项每年颁发给一名即将毕业的博士生,以表彰他/她在EDA领域的论文贡献。先锋成就奖是对这些奖项的补充,是为那些在一生中取得杰出成就的贡献者设立的。
 
资格:面向在电子设计自动化领域做出杰出贡献的研究人员开放。ACM设计自动化特殊兴趣小组董事会现任成员或奖项评选委员会成员无资格获得该奖项。获奖者受邀在SIGDA赞助的活动上发表演讲。
 
奖励项目:获奖者的牌匾、奖状和1000美元酬金。酬金将由SIGDA年度预算提供。
 
提名人征集:提名邀请函将通过电子邮件发布给SIGDA成员,发布在ACM设计自动化特别兴趣小组的网站上,以及SIGDA通讯中。提名应由被提名人以外的人提出。提名材料应通过电子邮件发送至SIGDA-Award@acm.org(主题:ACM/SIGDA先锋成就奖)。奖项提名应包括:

  • 一封提名信,其中包括:对被提名人的贡献及其影响的100字描述;一份长达750字的详细描述,其中包括多达10种被提名人的主要产品(论文、专利、软件等)、这些产品的贡献及其影响;对说明书中讨论的主要产品最多引用10次的列表。
  • 三封推荐信(不包括提名人或被提名人)。
  • 提名人的联系方式。

除了影响的证据外,提名表还将包括传记信息(包括教育和就业)、专业活动、出版物和表彰。可以包括三份证明工作影响的背书。
 
奖励委员会:ACM设计自动化执行委员会特别利益小组将根据先锋奖委员会的建议进行选择。委员会将开会审查提名,审查先锋奖委员会的建议,并进行甄选。选择后,委员会将与获奖者联系,以确保获奖者能够在SIGDA年度会员大会和ICCAD晚宴上发表演讲。
 
将应用ACM政策中规定的所有标准利益冲突规定(参见https://awards.acm.org/conflict-of-interest). 如果存在利益冲突,任何奖项委员会成员都将回避对任何候选人的考虑。
 
地铁列车时刻表:提名名单将每年公布一次。提名截止日期为8月31日。该奖项将在随后的一次或多次SIGDA活动中宣布,获奖者将被邀请在SIGDA年度会员大会和ICCAD晚宴上就其工作发表演讲。
 
选择/判断依据:该奖项授予在其一生中在电子设计自动化领域做出杰出技术贡献的个人。该奖项是根据如上所述捐款的影响而设立的。将考虑并鼓励来自世界各地大学、行业和政府的候选人。该奖项不是最佳论文或初始原创贡献奖。相反,它旨在终身使用,在电子设计自动化范围内做出杰出贡献,贯穿提名人的一生。
 
演示:该奖项将每年在SIGDA年度会员大会和ICCAD晚宴上颁发。
 
宣传:在ACM/SIGDA出版物和ACM/SIGDA赞助的会议上。

2022年:Ron Rohrer,SMU,CMU
半个多世纪以来,支持集成电路和系统设计和测试的模拟和分析技术的引入和发展。
2021年:PITT Rob Rutenbar教授
感谢他在模拟设计自动化和普通EDA教育方面的开创性工作和卓越领导能力。
2020年:犹他州奥斯汀市Jacob A.Abraham教授
为制造测试和计算系统的容错操作做出开创性和根本性贡献。
2019年:Giovanni De Micheli教授,EPFL
为集成电路和片上网络的综合和优化做出了开创性的基本贡献。
2018年:阿尔贝托·桑吉奥瓦尼·文森特利教授,加州大学伯克利分校
在系统级设计、嵌入式系统、逻辑综合、物理设计和电路仿真方面,为设计自动化研究和工业做出了开创性和根本性的贡献。
2017年:宾夕法尼亚州立大学玛丽·简·欧文教授
为VLSI架构、电子设计自动化和社区成员资格做出贡献。
2016年:台湾国立清华大学刘钟龙教授(戴夫)(名誉)
对于物理设计和嵌入式系统的基本和开创性贡献。

2014年:教授。约翰·P·海斯,密歇根大学

 
2013年:教授。唐纳德·托马斯(Donald E.Thomas),卡内基梅隆大学
他在使设计自动化社区更容易访问Verilog硬件描述语言方面所做的开创性工作,并允许更快、更容易地实现硬件-软件系统的模拟、高级综合和联合设计。
2012年:博士。Louise Trevillyan,IBM
认可她在EDA近40年的职业生涯,以及她在逻辑和物理合成、设计验证、高级合成、处理器性能分析和编译器技术方面的开创性研究贡献。
2011年:教授。Robert K.Brayton,加州大学伯克利分校
感谢过去几十年来在集成系统的计算机辅助设计领域做出的杰出贡献。
2010年:教授。Scott Kirkpatrick,耶路撒冷希伯来大学
用类比解决疑难问题
自动化电子设计并不是唯一一个使用其他科学领域令人惊讶的类比来应对超大规模问题挑战的领域,这些问题需要跨多个尺度进行优化,而这些约束会消除任何优雅的解决方案。类似的机会也出现了,例如物流、调度、投资组合优化和其他经典问题。所有这些问题的共同因素是,这些问题从根本上来说是令人沮丧的,因为必须在所有规模上权衡冲突的目标。这一点,再加上现实世界中这种不规则的结构,消除了通往最佳解决方案的任何捷径。当然,在工程中,真正的目标不是全局最优,而是一个“足够好”的解决方案,并且可以“很快”获得有用的解决方案。材料科学中通过类比模拟退火而产生的模型是自旋玻璃,它最近在计算机科学中再次出现,作为一种载体,其固有的复杂性可能会回答长期困扰的问题,即是否可以证明P不等于NP。
2009年:教授。马丁·戴维斯,纽约大学
他对解决布尔可满足性问题的算法做出了基本贡献,该问题严重影响了硬件和软件验证以及逻辑电路综合的现代工具。
2008年:教授。Edward J.McCluskey,斯坦福

在过去的半个世纪里,他在CAD、测试和可靠计算领域做出了杰出的贡献。
2007年:博士。Gene M.Amdahl公司
获奖理由:在Amdahl法律颁布40周年之际,他对计算机行业做出了杰出贡献。
的视频Amdahl博士的晚宴演讲和a小组辩论ACM数字图书馆提供。
阅读更多。。。

OPDA公司

ACM电子设计自动化杰出博士学位论文奖

设计自动化已被VLSI电路和系统设计界广泛接受。计算机辅助设计(CAD)方法、算法和工具的进步对于应对快速增长的设计复杂性、更高的性能和低功耗要求以及更短的上市时间需求变得越来越重要。为了鼓励电子设计自动化领域的创新性、突破性研究,ACM的设计自动化特别兴趣小组(SIGDA)已设立ACM奖,每年颁发给对电子设计自动化领域的理论和/或应用做出最重大贡献的杰出博士论文。
 
该奖项由一张证书和一张1000美元的支票组成,在每年6月/7月举行的设计自动化会议上颁发。该奖项由来自该领域学术界和工业界的专家委员会选出,并由ACM与SIGDA主席协商后任命。
 
截止日期:每年11月30日
 
提名要求:任何大学的每个系最多可提名两名博士。D.最终提交日期在上一年7月1日至本年6月30日之间的论文。每个提名方案必须通过电子邮件发送11月30日并应包括:

  1. 博士论文的PDF文件。如果被提名的博士论文不是用英语写的,提名文件中必须包含整个论文的英语翻译。
  2. 提名人的声明(最多两页),解释工作的重要性和主要贡献。
  3. 被提名人的系主任或学校院长的提名信,支持申请。
  4. 或者,该领域专家最多三封推荐信。这些信件可以包含在提名方案中,也可以单独发送到以下地址。

提名材料应通过电子邮件发送至SIGDA-Award@acm.org(主题:ACM EDA杰出博士论文奖)。
 
将应用ACM政策中规定的所有标准利益冲突规定(参见https://awards.acm.org/conflict-of-interest). 如果存在利益冲突,任何奖项委员会成员都将回避对任何候选人的考虑。
 

以往获奖者

2023谢志尧杜克大学,博士论文“利用机器学习进行智能电路设计与实现”,顾问:陈毅然和李海
2022加纳帕蒂学院亚利桑那州立大学论文“可穿戴物联网设备的设计、优化和应用”,顾问:Umit Y.Ogras
2021艾哈迈杜拉·阿齐兹,为普渡大学论文“低功率电子器件中使用相变材料的器件电路协同设计”,顾问:Sumeet Gupta。
2020陈耿杰,用于论文“超大规模集成电路路由:在Giga森林中看到纳米树,“香港中文大学。顾问:Evangeline Young。
2019黄宗伟,用于论文“分布式定时分析”,伊利诺伊大学厄巴纳-香槟分校。顾问:Martin D.F.Wong。
2018徐晓青,用于论文“先进技术节点中的标准单元优化与物理设计,“德克萨斯大学奥斯汀分校。顾问:David Z.Pan。
Pramod Subramanyan公司,用于论文“派生抽象以解决硬件平台安全挑战,“普林斯顿大学。顾问:Sharad Malik。
2017杰亚维贾扬·拉金德兰,用于论文“值得信赖的集成电路设计,“纽约大学。顾问:Ramesh Karri。
2016Zheng Zhang先生,用于论文“集成电路和微机电系统的不确定性量化,“麻省理工学院。顾问:卢卡·丹尼尔。
2015李文超,用于论文规范挖掘:新形式主义、算法和应用”加州大学伯克利分校。顾问:Sanjit Seshia。
2014张望阳,用于论文集成电路空间变化建模:算法与应用,”卡内基·梅隆大学。顾问:Xin Li和Rob Rutenbar
2013多丁,用于论文纳米光刻和纳米光子学CAD,”德克萨斯大学奥斯汀分校。顾问:David Z.Pan
罗国杰,用于论文“三维集成电路的布局与设计规划,“加州大学洛杉矶分校。顾问:Jason Cong
2012谭岩,用于论文“PCB布线算法研究,”伊利诺伊大学香槟分校为其辩护。
2011Nishant Patil公司,用于论文“缺陷免疫碳纳米管数字VLSI电路的设计与制作,“斯坦福大学。
2010印度,用于论文“使用可满足性检查、谓词抽象和Craig插值进行验证卡内基·梅隆大学。
2009凯慧昌,用于论文“数字电路的功能设计错误诊断、校正和布局修复密歇根大学安阿伯分校。
2008(今年不颁奖)
2007(今年不颁奖)
2006钱海峰明尼阿波利斯明尼苏达大学电气与计算机工程系的随机和混合线性方程求解器及其在超大规模集成电路设计自动化中的应用.
2005舒文杜·拉希里卡内基·梅隆大学电气与计算机工程系的一篇论文,题为“基于决策过程和谓词抽象的无界系统验证
2004王超(Chao Wang)科罗拉多大学博尔德分校电气工程系大规模模型检验的抽象精化
2003卢卡·丹尼尔加利福尼亚大学伯克利分校电气工程与计算机科学系的一篇论文“高频电子系统信号完整性和电磁干扰的仿真和建模技术”
张林涛普林斯顿大学电气工程系的一篇题为“寻找真理:布尔公式可满足性的技巧。
2002(今年不颁奖)
2001达科·基洛夫斯基来自加州大学洛杉矶分校计算机科学系的一篇论文,题为“用于嵌入式系统综合与验证的约束操作技术“在那一年的颁奖典礼上获得荣誉提名的第二名候选人是卡内基梅隆大学电气与计算机工程系的迈克尔·贝蒂,他的论文题为”Giga-scale IC互连的高效电磁建模。
2000罗伯特·布伦特·琼斯斯坦福大学电气工程系的一篇论文符号模拟在微处理器形式验证中的应用.”
阅读更多。。。

ONFA公司

SIGDA优秀新教师奖

SIGDA杰出新教员奖表彰一位在其学术生涯早期表现出杰出潜力的初级教员,他是电子设计自动化领域的教育家和/或研究员。虽然先前的研究和/或教学成就很重要,但选拔委员会将特别考虑候选人在其学术任命的最初几年对其所在部门和EDA领域的影响。该奖项每年在设计自动化会议上颁发,目前包括授予教员1000美元的奖金以及一份引文。
 
资格:SIGDA鼓励在电子设计自动化领域或与电子设计自动化相关领域发展学术生涯的优秀新教师申请该奖项。请注意,该奖项不适用于已经确立独立研究职业的资深或经验丰富的研究人员,即使他们是学术界的新手。候选人必须在最近完成了至少一个完整学年,不超过四个完整学年的终身教职。无论是否为终身职位,任命为具有重大教育责任的连续性(非访问性)职位的人员也将考虑其申请。担任研究职位的人员没有资格。对于因家庭假或病假等实质性原因中断学业的人,时间要求将予以例外。此类原因必须由赞助机构证明,但无需解释。
 
应用程序:申请奖项的候选人必须不迟于11月30日当前年度:

  1. 一份两页的陈述,概述候选人自担任当前学术职务以来的教学和研究成就,并说明未来五年的进一步发展计划;
  2. 当前简历复印件;
  3. 候选人的系主任或系主任对申请的认可信。

提名材料应在截止日期前通过电子邮件发送至SIGDA-Award@acm.org (主题:ACM/SIGDA杰出新教师奖)。
 
将应用ACM政策中规定的所有标准利益冲突规定(参见https://awards.acm.org/conflict-of-interest). 如果存在利益冲突,任何奖项委员会成员都将回避对任何候选人的考虑。
 

以往获奖者

2023黄宗伟犹他大学
2022林莹妍(Celine)莱斯大学
2021Zheng Zhang先生加州大学圣巴巴拉分校
2020皮埃尔·伊曼纽尔·盖拉登犹他大学
2019Jeyavijayan(合资公司)Rajendran德克萨斯农工大学
2018余世孟亚利桑那州立大学
2017伊尔金佛罗里达大学
2016Swaroop Ghosh公司南佛罗里达大学
2015穆罕默德·沙菲克卡尔斯鲁厄理工学院
2014陈一然匹兹堡大学
2013肖巴·瓦苏德万UIUC大学
2012大卫·阿提恩扎EPFL,瑞士
2011法里纳兹·库沙法尔莱斯大学
2010普尼特·古普塔加州大学洛杉矶分校
陈德铭(Deming Chen)UIUC大学
2009于曹亚利桑那州立大学
2008萨巴辛·密特拉斯坦福大学
2007迈克尔·奥山斯基德克萨斯大学奥斯汀分校
2006大卫·潘得克萨斯大学奥斯汀分校
2004考斯塔夫·班纳吉加州大学圣巴巴拉分校
伊戈尔·马尔科夫密歇根大学安阿伯分校
2003丹尼斯·西尔维斯特密歇根大学安阿伯分校
2002陈忠平(Charlie Chung-Ping Chen)威斯康星大学麦迪逊分校
2000维杰·纳拉亚南宾夕法尼亚州立大学
阅读更多。。。

程序

ACM SIGDA发言人差旅补助计划

SIGDA演讲者系列旅行补助金积极支持受邀在当地活动、大学和公司演讲的演讲者的旅行,以传播SIGDA的价值观和影响。这些演讲者可以来自学术界或公司,被认为是很好的讲座,可以帮助在广泛的设计自动化领域接触到观众。一旦申请获得批准,SIGDA将发放部分补助金,用于支付演讲者的差旅费,包括差旅费和生活费。

这项拨款是为了帮助促进EDA在世界各地的社区和活动。它将每年为大约6名合格的演讲者提供平均1000美元的差旅支持,以支付他们在当地活动、大学和公司中讲课或演讲的费用。优先考虑SIGDA当地部门的申请人,发言者将在SIGDA本地部门支持的活动中发言。此外,还鼓励当地EDA社区或个人,而不是SIGDA的当地部门申请此补助金。有关申请或其他信息,请专门向技术活动主席发送电子邮件联系SIGDA(https://www.sigda.org/about-us/cofficers网站/).

审查过程

审查委员会将由SIGDA现任技术活动主席和教育主席组成。这些审查将在SIGDA执行委员会会议上进行报告和讨论。讨论后,执行委员会成员将投票决定是否批准提交的申请。

选择标准

审查考虑了申请人/活动和演讲者。

  • 受邀参加活动的演讲者、受SIGDA地方部门支持的大学和公司优先考虑SIGDA地方部门。此外,还考虑当地EDA社区或个人的申请人。
  • 被邀请的演讲者应该是学术界或工业界的优秀讲师或研究员,并且在设计自动化的广泛领域有良好的记录。

发布申请-报告和报销

  • 对于在ACM活动中演讲的演讲者,SIGDA可以支持差旅补助金并直接向演讲者报销。活动结束时,演讲者需要填写ACM报销表,并将其连同收据副本发送给SIGDA或ACM代表。演讲者还需要遵守以下报销政策/标准:https://www.acm.org/specialinterest-groups/volunteer-resources/conference-planning/conference-finances#演讲者
  • 对于在非ACM活动中发表演讲的演讲者,SIGDA将向法律和金融赞助组织提供一次性付款,该组织将提供资金作为差旅补助金并处理报销。同时,赞助组织需要在活动的宣传材料上表明,SIGDA正在支持旅行补助金。活动结束时,赞助组织需要向SIGDA提供(1)一页的最终报告,反映其目标相对于所提供资金的成功程度,并说明资金的使用方式,(2)批准金额的发票,以及(3)纳税表。请注意,最终报告没有具体格式。

申请表

赞助商

新思科技

阅读更多。。。

关于ACM设计自动化特别兴趣小组(SIGDA)

SIGDA致力于提高全世界电子设计自动化专业人员和学生的技能和知识。我们以多种方式这样做:赞助和组织国际研讨会、专题讨论会和会议;引领获取档案电子设计自动化出版物的方式;为赞助的研讨会、专题讨论会和会议提供旅费资助;率先维护和分发电子设计自动化基准;主办大学和政府研究人员在DAC的大学研究演示中进行软件演示;出版SIGDA通讯;在互联网上维护万维网访问网站;创建网络研讨会系列SIGDA LIVE,并管理ACM电子系统设计自动化事务。我们最近的活动重点包括:

  • SIGDA现场是一系列网络研讨会,每月或每两个月举办一次,讨论SIGDA社区普遍感兴趣的主题(技术或非技术)。会谈一般在一个月的最后一个星期三进行,大约需要45分钟外加15分钟的问答。欢迎演讲人和主题提名,并应发送至sigdalive@gmail.com所有过去的会谈都通过我们的Youtube频道.
  • The ACM电子系统设计自动化汇刊:该杂志全面报道了与VLSI电子系统的创建和评估有关的创新研究和工作。该杂志强调计算机科学和工程方向。主题包括系统设计、高级综合、逻辑综合、物理布局、设计验证、系统可靠性和高性能电路。该期刊正在积极寻找研究论文、辅导和调查论文以及简短的技术笔记。该期刊以硬拷贝和电子格式分发。SIGDA成员获得了大量补贴订阅率。
  • SIGDA赞助或正在与大型设计自动化会议和研讨会合作。我们平均有两个以上事件每月。SIGDA成员在这些会议上的注册率显著降低。