肖巴·瓦苏德万
人员信息
优化列表
2020年–今天
2024 [公元16年] Debjit Pal公司 , 肖巴·瓦苏德万 :
ARISTOTLE:可扩展应用程序级硅后调试的功能工程。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 43 ( 9 ) : 2810-2824 ( 2024 ) 2021 [c44] 肖巴·瓦苏德万 , 姜文杰 , 大卫·比伯 , 里沙布·辛格 , 哈米德·绍贾伊 , 何锦荣 , 查尔斯萨顿 :
学习语义表示来验证硬件设计。 NeurIPS公司 2021 : 23491-23504 [i1] Debjit Pal公司 , 肖巴·瓦苏德万 :
可扩展应用级硅后调试的功能工程。 CoRR公司 abs/2102.04554 ( 2021 ) 2020 [公元15年] Debjit Pal公司 , 赛马 , 肖巴·瓦苏德万 :
在后硅信号跟踪中强调功能相关性而非状态恢复。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 39 ( 2 ) : 533-546 ( 2020 ) [公元14年] Debjit Pal公司 , 斯宾塞·奥芬伯格 , 肖巴·瓦苏德万 :
使用RTL源代码分析进行断言排序。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 39 ( 8 ) : 1711-1724 ( 2020 )
2010 – 2019
2019 [公元43年] 塞缪尔·赫兹 , Debjit Pal公司 , 斯潘塞·奥芬伯格 , 肖巴·瓦苏德万 :
验证中断言的优点。 ASP-DAC公司 2019 : 675-680 [公元42年] 凯文·冯 , Sandeep Vora公司 , 瑞江 , 爱丽丝·罗森鲍姆 , 肖巴·瓦苏德万 :
罪名成立:静电放电引起的软错误对计算可靠性的威胁。 日期 2019 : 156-161 2018 [公元41年] 段佳怡 , 曾自恒 , 阿里娜·奥普雷亚 , 肖巴·瓦苏德万 :
企业安全可解释特征的自动生成和选择。 IEEE大数据 2018 : 1258-1265 [公元40年] Debjit Pal公司 , 阿披舍克·夏尔马 , 山迪雷 , 弗拉维奥·德·保拉 , 肖巴·瓦苏德万 :
用于扩展硅后调试的应用程序级硬件跟踪。 数模转换器 2018 : 92:1-92:6 2017 [j13] Seyed Nematolla Ahmadyan公司 , 苏里亚普拉卡什·纳塔拉詹 , 肖巴·瓦苏德万 :
一种新的模拟电路测试压缩算法,以降低生产成本。 集成。 58 : 538-548 ( 2017 ) [公元39年] 肖巴·瓦苏德万 :
仍然需要努力做到正确:机器学习时代的验证。 红十字国际委员会 2017 : 1-8 2016 [公元12年] Seyed Nematollah Adel Ahmadyan公司 , 肖巴·瓦苏德万 :
模拟电路的自动瞬态输入激励生成。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 35 ( 5 ) : 858-871 ( 2016 ) [公元38年] Seyed Nematolla Ahmadyan公司 , 苏里亚普拉卡什·纳塔拉扬 , 肖巴·瓦苏德万 :
每一个测试都有不同之处:压缩模拟测试以降低生产成本。 ASP-DAC公司 2016 : 539-544 [公元37年] Seyed Nematolla Ahmadyan公司 , 肖巴·瓦苏德万 :
双工:用于优化模拟电路的同时参数性能探索。 国际计算机辅助设计协会 2016 : 19 [c36] Debjit Pal公司 , 肖巴·瓦苏德万 :
硬件设计功能调试的症状性错误定位。 超大规模集成电路 2016 : 517-522 2015 [公元35年] Seyed Nematolla Ahmadyan公司 , 顾晨杰 , 苏里亚普拉卡什·纳塔拉扬 , 埃利·奇普鲁特 , 肖巴·瓦苏德万 :
高速CMOS电路的快速眼图分析。 日期 2015 : 1377-1382 [公元34年] 乔金 , 段佳怡 , 肖巴·瓦苏德万 , 迈克尔·D·贝利 :
基于PE头信息的封隔器分类器。 热SoS 2015 : 19:1-19:2 [c33] 赛马 , Debjit Pal公司 , 瑞江 , 山迪雷 , 肖巴·瓦苏德万 :
树不见林:状态恢复在硅后痕迹信号选择中的局限性。 国际计算机辅助设计协会 2015 : 1-8 2014 [公元11年] 贾亚南·阿索克·库马尔 , Seyed Nematolla Ahmadyan公司 , 肖巴·瓦苏德万 :
具有多个失效区域的硬件电路的有效统计模型检验。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 33 ( 6 ) : 945-958 ( 2014 ) [公元10年] 刘玲怡 , 肖巴·瓦苏德万 :
通过RTL的静态和动态混合分析缩放输入刺激生成。 ACM事务处理。 设计自动。 选举人。 系统。 20 ( 1 ) : 4:1-4:33 ( 2014 ) [公元32年] 维拉杰·阿塔瓦莱 , 赛马 , 塞缪尔·赫兹 , 肖巴·瓦苏德万 :
使用RTL源代码分析的断言的代码覆盖率。 数模转换器 2014 : 61:1-61:6 [公元31年] 大卫·谢里丹 , 刘玲怡 , Hyungsul Kim先生 , 肖巴·瓦苏德万 :
自动生成简洁断言的覆盖引导挖掘方法。 超大规模集成电路 2014 : 68-73 2013 [公元9年] 刘玲怡 , 肖巴·瓦苏德万 :
从事务级模型自动生成系统级断言。 《电子杂志》。 测试。 29 ( 5 ) : 669-684 ( 2013 ) [j8] 贾亚南·阿索克·库马尔 , 肖巴·瓦苏德万 :
RTL中的形式概率定时验证。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 32 ( 5 ) : 788-801 ( 2013 ) [j7] 塞缪尔·赫兹 , 大卫·谢里丹 , 肖巴·瓦苏德万 :
在静态分析的指导下挖掘硬件断言。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 32 ( 6 ) : 952-965 ( 2013 ) [公元30年] Seyed Nematolla Ahmadyan公司 , 贾亚南·阿索克·库马尔 , 肖巴·瓦苏德万 :
使用增量时间增广RRT算法对非线性模拟电路进行运行时验证。 日期 2013 : 21-26 [公元29年] Seyed Nematolla Ahmadyan公司 , 肖巴·瓦苏德万 :
通过迭代可达集约简对非线性模拟电路进行可达性分析。 日期 2013 : 1436-1441 [公元28年] 刘玲怡 , 肖巴·瓦苏德万 :
使用可行路径分析和分解缩放RTL属性检查。 ACM大湖区超大规模集成电路研讨会 2013 : 173-178 [公元27年] 陈慧娴(音) , 刘玲怡 , 肖巴·瓦苏德万 :
生成具有完整覆盖范围的简明断言。 ACM大湖区超大规模集成电路研讨会 2013 : 185-190 [公元26年] 刘玲怡 , 钟轩宇 , 陈晓涛 , 肖巴·瓦苏德万 :
诊断系统级性能违规的根本原因。 国际计算机辅助设计协会 2013 : 295-302 [公元25年] 帕斯·萨迪奥 , 尼古拉斯·埃沃尔特 , Debjit Pal公司 , 肖巴·瓦苏德万 :
使用自动生成的不变量进行回归测试和错误定位。 ASE公司 2013 : 634-639 2012 [j6] 刘玲怡 , 大卫·谢里丹 , 威廉·图希 , 肖巴·瓦苏德万 :
使用GoldMine测试覆盖关闭的技术。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 31 ( 5 ) : 790-803 ( 2012 ) [j5] 贾亚南·阿索克·库马尔 , 肖巴·瓦苏德万 :
故障MIMO硬件的形式化性能分析。 IEEE传输。 超大规模集成电路。 系统。 20 ( 10 ) : 1914-1918 ( 2012 ) [公元24年] 贾亚南·阿索克·库马尔 , 肖巴·瓦苏德万 :
使用统计模型检查验证动态电源管理方案。 ASP-DAC公司 2012 : 579-584 【c23】 维拉杰·阿塔瓦莱 , 萨姆·赫兹 , 达尔善码头 , 维贾伊·加内桑 , 吉姆·克莱斯 , 肖巴·瓦苏德万 :
使用静态分析从仿真/原型平台提取覆盖率。 代码+ISSS 2012 : 207-214 [公元22年] 贾亚南·阿索克·库马尔 , 肯尼斯·巴特勒 , 希索·金 , 肖巴·瓦苏德万 :
使用RTL源代码分析早期预测NBTI效应。 数模转换器 2012 : 808-813 【c21】 Seyed Nematolla Ahmadyan公司 , 贾亚南·阿索克·库马尔 , 肖巴·瓦苏德万 :
面向目标的模拟电路刺激生成。 数模转换器 2012 : 1018-1023 [公元20年] 刘玲怡 , 陈慧娴(音) , 肖巴·瓦苏德万 :
单词级特征发现,以提高断言挖掘的质量。 国际计算机辅助设计协会 2012 : 210-217 2011 [第19条] 刘玲怡 , 大卫·谢里丹 , 威廉·托希 , 肖巴·瓦苏德万 :
走向覆盖关闭:使用GoldMine断言生成设计验证刺激。 日期 2011 : 173-178 [c18] 刘玲怡 , 肖巴·瓦苏德万 :
通过混合源代码分析在RTL中高效生成验证输入。 日期 2011 : 1596-1601 [c17] 贾亚南·阿索克·库马尔 , 刘玲怡 , 肖巴·瓦苏德万 :
使用设计源代码中的抽象扩展硬件的概率定时验证。 FMCAD公司 2011 : 196-205 [第16条] 金贤洙 , Sungjin Im公司 , 塔里克·F·阿卜杜勒扎尔 , 韩嘉伟 , 大卫·谢里丹 , 肖巴·瓦苏德万 :
基于局部贪婪算法和模式收缩的签名模式覆盖。 ICDM公司 2011 : 330-339 [第15条] 帕斯·萨迪奥 , 维拉杰·阿塔瓦莱 , 苏曼·科希克 , 肖巴·瓦苏德万 :
PRECIS:使用程序路径引导聚类推断不变量。 ASE公司 2011 : 532-535 [第14条] 刘玲怡 , 大卫·谢里登 , 维拉杰·阿塔瓦莱 , 肖巴·瓦苏德万 :
使用数据挖掘从系统级设计自动生成断言。 记忆码 2011 : 191-200 [第13条] 贾亚南·阿索克·库马尔 , 肖巴·瓦苏德万 :
RTL中的变分意识形式定时验证。 超大型积体电路设计 2011 : 58-63 [c12] 肖巴·瓦苏德万 :
SoC验证中的覆盖范围结束:我们在追逐幻影吗? 悉尼威立雅运输公司 2011 : 211 2010 [第11条] 肖巴·瓦苏德万 , 大卫·谢里丹 , 桑杰·帕特尔 , 大卫·陈 , 威廉·托希 , 丹尼尔·约翰逊 :
GoldMine:使用数据挖掘和静态分析自动生成断言。 日期 2010 : 626-629 [第10条] 贾亚南·阿索克·库马尔 , 肖巴·瓦苏德万 :
MIMO设计性能的统计保证。 DSN(DSN) 2010 : 467-476 【c9】 贾亚南·阿索克·库马尔 , 肖巴·瓦苏德万 :
用于硬件设计概率模型检查的自动组合推理。 QEST公司 2010 : 143-152
2000 – 2009
2009 【j4】 维诺德·维斯瓦纳特 , 肖巴·瓦苏德万 , 雅各布·A·亚伯拉罕 :
专用重写:寄存器传输级低功耗转换的自动验证。 J.低功率电子。 5 ( 三 ) : 339-353 ( 2009 ) 【c8】 刘玲怡 , 肖巴·瓦苏德万 :
STAR:通过RTL的静态分析生成用于设计验证的输入向量。 HLDVT公司 2009 : 32-37 【c7】 维诺德·维斯瓦纳特 , 肖巴·瓦苏德万 , 雅各布·A·亚伯拉罕 :
专用重写:RTL中低功耗变换的自动验证。 超大型积体电路设计 2009 : 77-82 2008 [j3] 肖巴·瓦苏德万 , 维诺德·维斯瓦纳特 , 雅各布·A·亚伯拉罕 , 《夹金图》 :
系统级和RTL描述之间的顺序等价性检查。 设计。 自动。 嵌入。 系统。 12 ( 4 ) : 377-396 ( 2008 ) 2007 [注2] 肖巴·瓦苏德万 , E.艾伦·艾默生 , 雅各布·A·亚伯拉罕 :
通过先决条件切片改进了硬件设计的验证。 国际期刊软件。 技术工具。 变压器。 9 ( 1 ) : 89-101 ( 2007 ) [j1] 肖巴·瓦苏德万 , 维诺德·维斯瓦纳特 , 罗伯特·W·萨默斯 , 雅各布·A·亚伯拉罕 :
使用术语重写系统的逐步细化自动验证RTL中的算术电路。 IEEE传输。 计算机 56 ( 10 ) : 1401-1414 ( 2007 ) 【c6】 肖巴·瓦苏德万 , 维诺德·维斯瓦纳特 , 雅各布·A·亚伯拉罕 :
使用前置条件切片的高效微处理器验证。 超大型积体电路设计 2007 : 43-49 2006 【c5】 桑卡·古鲁穆蒂 , 肖巴·瓦苏德万 , 雅各布·A·亚伯拉罕 :
针对处理器中难以检测的结构故障自动生成指令序列。 国际贸易中心 2006 : 1-9 【c4】 肖巴·瓦苏德万 , 雅各布·A·亚伯拉罕 , 维诺德·维斯瓦纳特 , 《夹金图》 :
系统级和RTL描述的顺序等价性检查的自动分解。 记忆码 2006 : 71-80 2005 【c3】 S.Guramurthy公司 , 肖巴·瓦苏德万 , 雅各布·A·亚伯拉罕 :
预计算模块级测试序列到处理器指令的自动映射。 国际贸易中心 2005 : 10 2004 【c2】 肖巴·瓦苏德万 , 雅各布·A·亚伯拉罕 :
用于高效软件模型检查的静态程序转换。 IFIP大会专题会议 2004 : 257-281 【c1】 肖巴·瓦苏德万 , E.艾伦·艾默生 , 雅各布·A·亚伯拉罕 :
使用条件切片的硬件的有效模型检查。 AVoCS公司 2004 : 279-294