普拉纳夫·阿沙尔
人员信息
优化列表
2010 – 2019
2019 [第52条] 普拉纳夫·阿沙尔 , 维诺德·维斯瓦纳特 :
通过静态签收缩小验证差距。 ISQED公司 2019 : 343-347 2017 [第51条] 普拉纳夫·阿沙尔 , 维卡斯·萨奇德瓦 , 维诺德·维斯瓦纳特 :
SOC中与非定时路径相关的故障和验证解决方案。 ISQED公司 2017 : 460-465 2016 [公元50年] 普拉纳夫·阿沙尔 :
核查方法的范式转变。 FMCAD公司 2016 : 6 2013 [公元49年] 普拉纳夫·阿沙尔 :
基于静态验证的签收-现代soc中管理验证复杂性的关键促成因素。 FMCAD公司 2013 : 15 2010 [公元48年] 普拉纳夫·阿沙尔 :
时钟域验证挑战和可扩展解决方案。 HLDVT公司 2010 : 66
2000 – 2009
2008 [公元18年] 亚历山大·扎克斯 , 资江杨 , 伊利亚·什利亚克特 , 弗兰乔·伊万西奇 , Srihari Cadambi公司 , 马来语K.Ganai , 阿尔蒂·古普塔 , 普拉纳夫·阿沙尔 :
通过符号区间分析降低软件模型检查的比特宽度。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 27 ( 8 ) : 1513-1517 ( 2008 ) [公元17年] 弗兰乔·伊万西奇 , 资江杨 , 马来语K.Ganai , 阿尔蒂·古普塔 , 普拉纳夫·阿沙尔 :
用于软件验证的高效SAT有界模型检查。 西奥。 计算。 科学。 404 ( 三 ) : 256-274 ( 2008 ) 2007 [i1] 马来语K.Ganai , 阿尔蒂·古普塔 , 普拉纳夫·阿沙尔 :
使用高效内存建模验证嵌入式内存系统。 CoRR公司 abs/0710.4666 ( 2007 ) 2006 [公元16年] 马来语K.Ganai , 阿尔蒂·古普塔 , 资江杨 , 普拉纳夫·阿沙尔 :
高效的分布式SAT和基于SAT的分布式有界模型检查。 国际期刊软件。 技术工具。 Transf公司。 8 ( 4-5 ) : 387-396 ( 2006 ) [公元47年] 桑迪普·K·舒克拉 , 艾伦·J·胡 , 雅各布·亚伯拉罕斯 , 普拉纳夫·阿沙尔 , 哈里·福斯特 , Avner Landver公司 , 卡尔·皮克斯利 :
小组:基于断言的验证-有什么大不了的? HLDVT公司 2006 : 183 2005 [公元46年] 弗兰乔·伊万西奇 , 资江杨 , 马来语K.Ganai , 阿尔蒂·古普塔 , 伊利亚·什利亚克特 , 普拉纳夫·阿沙尔 :
F-Soft:软件验证平台。 CAV汽车 2005 : 301-306 [公元45年] 马来语K.Ganai , 阿尔蒂·古普塔 , 普拉纳夫·阿沙尔 :
超越安全:定制基于SAT的模型检查。 数模转换器 2005 : 738-743 [公元44年] 马来语K.Ganai , 阿尔蒂·古普塔 , 普拉纳夫·阿沙尔 :
使用高效内存建模验证嵌入式内存系统。 日期 2005 : 1096-1101 [公元43年] 马来语K.Ganai , 阿尔蒂·古普塔 , 普拉纳夫·阿沙尔 :
迪维尔 :用于验证大型系统的基于SAT的模型检查平台。 TACAS公司 2005 : 575-580 [公元42年] 阿尔蒂·古普塔 , 马来语K.Ganai , 普拉纳夫·阿沙尔 :
基于证明的抽象的惰性约束和SAT启发式。 超大型积体电路设计 2005 : 183-188 2004 [公元41年] 马来语K.Ganai , 阿尔蒂·古普塔 , 普拉纳夫·阿沙尔 :
有界模型检查中嵌入式存储器的高效建模。 CAV汽车 2004 : 440-452 [公元40年] 马来语K.Ganai , 阿尔蒂·古普塔 , 普拉纳夫·阿沙尔 :
基于SAT的无界符号模型的电路协同分解高效检测。 国际计算机辅助设计协会 2004 : 510-517 [公元39年] 普拉纳夫·阿沙尔 , 马来语K.Ganai , 阿尔蒂·古普塔 , 弗兰乔·伊万西奇 , 资江杨 :
用于软件验证的高效SAT有界模型检查。 ISoLA(初步程序) 2004 : 157-164 2003 [公元38年] 阿尔蒂·古普塔 , 马来语K.Ganai , 王超(Chao Wang) , 资江杨 , 普拉纳夫·阿沙尔 :
抽象和BDD补充了DiVer中基于SAT的BMC。 CAV汽车 2003 : 206-209 [公元37年] 马来语K.Ganai , 阿尔蒂·古普塔 , 资江杨 , 普拉纳夫·阿沙尔 :
高效的分布式SAT和基于SAT的分布式有界模型检查。 CHARME公司 2003 : 334-347 [公元36年] 阿尔蒂·古普塔 , 马来语K.Ganai , 王超(Chao Wang) , 资江杨 , 普拉纳夫·阿沙尔 :
在基于SAT的有界模型检查中学习BDD。 数模转换器 2003 : 824-829 [公元35年] 阿尔蒂·古普塔 , 马来语K.Ganai , 资江杨 , 普拉纳夫·阿沙尔 :
使用基于SAT的BMC和证明分析进行迭代抽象。 国际计算机辅助设计协会 2003 : 416-423 2002 [j15] 法拉赞·法拉 , 普拉纳夫·阿沙尔 , 斯里尼瓦斯·德瓦达斯 :
基于可观测性的代码覆盖度量下序列HDL模型的函数向量生成。 IEEE传输。 超大规模集成电路。 系统。 10 ( 6 ) : 919-923 ( 2002 ) [公元34年] Srihari Cadambi公司 , 钱德拉·穆尔普里 , 普拉纳夫·阿沙尔 :
一种用于功能仿真的快速、廉价和可扩展的硬件加速技术。 数模转换器 2002 : 570-575 [公元33年] 马来语K.Ganai , 普拉纳夫·阿沙尔 , 阿尔蒂·古普塔 , 张林涛 , 莎拉·马利克 :
结合基于电路和基于CNF的算法的优点,实现高性能SAT求解器。 数模转换器 2002 : 747-750 [公元32年] 阿尔蒂·古普塔 , 阿尔伯特·卡萨凡特 , 普拉纳夫·阿沙尔 , 肖恩·刘 , 阿基拉·穆凯亚马 , Kazutoshi Wakabayashi公司 :
用于引导模拟的特性特定测试台生成。 ASP-DAC/VLSI设计 2002 : 524- 2001 [公元14年] 普拉纳夫·阿沙尔 , 阿尔蒂·古普塔 , 莎拉·马利克 :
使用完全可分辨性进行FSM等效检查。 ACM事务处理。 设计自动。 选举人。 系统。 6 ( 4 ) : 569-590 ( 2001 ) [公元31年] 阿尔蒂·古普塔 , 阿努巴夫·古普塔 , 资江杨 , 普拉纳夫·阿沙尔 :
SAT中非活动子句的动态检测和删除及其在图像计算中的应用。 数模转换器 2001 : 536-541 [公元30年] 阿尔伯特·卡萨凡特 , 阿尔蒂·古普塔 , S.刘 , 阿基拉·穆凯亚马 , Kazutoshi Wakabayashi公司 , 普拉纳夫·阿沙尔 :
引导仿真的特定属性见证图生成。 日期 2001 : 799 [公元29年] 阿尔蒂·古普塔 , 资江杨 , 普拉纳夫·阿沙尔 , 张林涛 , 莎拉·马利克 :
使用SAT和BDD进行图像计算的基于分区的决策启发式。 国际计算机辅助设计协会 2001 : 286-292 2000 [j13] 甄罗 , 玛格丽特·马托诺西 , 普拉纳夫·阿沙尔 :
用于VLSI布局设计规则检查的基于边缘点的可配置硬件体系结构。 超大型积体电路设计 10 ( 三 ) : 249-263 ( 2000 ) [公元28年] 阿尔蒂·古普塔 , 资江杨 , 普拉纳夫·阿沙尔 , 阿努巴夫·古普塔 :
基于SAT的图像计算及其在可达性分析中的应用。 FMCAD公司 2000 : 354-371 [公元27年] 阿尔蒂·古普塔 , 普拉纳夫·阿沙尔 :
用于组合验证的快速错误诊断。 超大型积体电路设计 2000 : 442-448 [公元26年] 杨霞 , 普拉纳夫·阿沙尔 :
系统芯片集成架构中基于组合循环的仲裁方案的验证。 超大型积体电路设计 2000 : 449-
1990 – 1999
1999 [公元12年] 钟培新 , 玛格丽特·马托诺西 , 普拉纳夫·阿沙尔 , 莎拉·马利克 :
使用可配置计算加速布尔可满足性。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 18 ( 6 ) : 861-868 ( 1999 ) [公元25年] 阿尔蒂·古普塔 , 普拉纳夫·阿沙尔 , 莎拉·马利克 :
在基于引导仿真的验证方法中利用重定时。 CHARME公司 1999 : 350-353 [公元24年] 法拉赞·法拉 , 普拉纳夫·阿沙尔 , 斯里尼瓦斯·德瓦达斯 :
基于HDL描述的可观测性增强语句覆盖仿真向量生成。 数模转换器 1999 : 666-671 [c23] 甄罗 , 玛格丽特·马托诺西 , 普拉纳夫·阿沙尔 :
用于VLSI CAD布局设计规则检查的基于边缘端点的可配置硬件体系结构。 催化裂化装置 1999 : 158-167 [公元22年] 普拉纳夫·阿沙尔 , 阿南德·拉胡纳坦 , 阿尔蒂·古普塔 , Subhrajit Bhattacharya公司 :
使用未解释的符号模拟验证存在循环的调度。 ICCD公司 1999 : 458-466 1998 [公元11年] 维维克·蒂瓦里 , 莎拉·马利克 , 普拉纳夫·阿沙尔 :
谨慎评估:将电源管理推向逻辑综合/设计。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 17 ( 10 ) : 1051-1060 ( 1998 ) 【c21】 钟培新 , 普拉纳夫·阿沙尔 , 莎拉·马利克 , 玛格丽特·马托诺西 :
使用可重构计算技术加速CAD领域的问题:布尔可满足性的案例研究。 数模转换器 1998 : 194-199 [公元20年] 钟培新 , 玛格丽特·马托诺西 , 普拉纳夫·阿沙尔 , 莎拉·马利克 :
使用可配置硬件加速布尔可满足性。 催化裂化装置 1998 : 186-195 [第19条] 钟培新 , 玛格丽特·马托诺西 , 普拉纳夫·阿沙尔 , 莎拉·马利克 :
用动态硬件配置求解布尔可满足性。 FPL公司 1998 : 326-335 [第18条] 普拉纳夫·阿沙尔 , Subhrajit Bhattacharya公司 , 阿南德·拉胡纳坦 , 阿基拉·穆凯亚马 :
验证从高级合成流中的计划行为生成的RTL。 国际计算机辅助设计协会 1998 : 517-524 [第17条] 阿尔蒂·古普塔 , 普拉纳夫·阿沙尔 :
集成布尔可满足性检查器和BDD进行组合等价性检查。 超大型积体电路设计 1998 : 222-225 1997 [第16条] 阿尔蒂·古普塔 , 莎拉·马利克 , 普拉纳夫·阿沙尔 :
使用模拟覆盖率将验证方法正规化。 数模转换器 1997 : 740-745 1996 [公元10年] 维维克·蒂瓦里 , 普拉纳夫·阿沙尔 , 莎拉·马利克 :
逻辑合成中的低功耗技术映射。 集成。 20 ( 三 ) : 243-268 ( 1996 ) [第15条] 何塞·蒙泰罗 , 斯里尼瓦斯·德瓦达斯 , 普拉纳夫·阿沙尔 , Ashutosh Mauskar公司 :
实现电源管理的调度技术。 数模转换器 1996 : 349-352 [第14条] 普拉纳夫·阿沙尔 , 阿尔蒂·古普塔 , 莎拉·马利克 :
使用完全1-可区分性进行FSM等价性检查。 国际计算机辅助设计协会 1996 : 346-353 1995 [公元9年] 普拉纳夫·阿沙尔 , 莎拉·马利克 :
使用ATPG进行功能定时分析。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 14 ( 8 ) : 1025-1030 ( 1995 ) [j8] 普拉纳夫·阿沙尔 , 苏吉特·戴伊 , 莎拉·马利克 :
在时序逻辑电路的性能优化中利用多循环假路径。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 14 ( 9 ) : 1067-1075 ( 1995 ) [j7] 阿南德·拉胡纳坦 , 普拉纳夫·阿沙尔 , 莎拉·马利克 :
循环组合电路的测试生成。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 14 ( 11 ) : 1408-1414 ( 1995 ) [第13条] 普拉纳夫·阿沙尔 , 莎拉·马利克 :
使用分支程序进行快速功能模拟。 国际计算机辅助设计协会 1995 : 408-412 [第12条] 维维克·蒂瓦里 , 莎拉·马利克 , 普拉纳夫·阿沙尔 :
谨慎评估:将电源管理推向逻辑综合/设计。 ISLPD公司 1995 : 221-226 [第11条] 阿南德·拉胡纳坦 , 普拉纳夫·阿沙尔 , 莎拉·马利克 :
循环组合电路的测试生成。 超大型积体电路设计 1995 : 104-109 1994 [c10] 普拉纳夫·阿沙尔 , 莎拉·马利克 :
部分扫描和其他应用中最小成本反馈向量集的隐式计算。 数模转换器 1994 : 77-80 【c9】 普拉纳夫·阿沙尔 , 马修·张 :
二元决策图的高效宽度优先操作。 国际计算机辅助设计协会 1994 : 622-627 1993 [j6] 普拉纳夫·阿沙尔 , 斯里尼瓦斯·德瓦达斯 , 库尔特·科伊策 :
基于多路复用网络的门延迟故障可测试性。 形式方法系统。 设计。 2 ( 1 ) : 93-112 ( 1993 ) [j5] 普拉纳夫·阿沙尔 , 斯里尼瓦斯·德瓦达斯 , 库尔特·科伊策 :
基于多路复用网络的路径延迟故障可测试性。 集成。 15 ( 1 ) : 1-23 ( 1993 ) 【c8】 维维克·蒂瓦里 , 普拉纳夫·阿沙尔 , 莎拉·马利克 :
低功耗技术映射。 数模转换器 1993 : 74-79 1992 【j4】 普拉纳夫·阿沙尔 , 阿比吉特·戈什 , 斯里尼瓦斯·德瓦达斯 :
使用一般二进制决策图进行布尔可满足性和等价性检查。 集成。 13 ( 1 ) : 1-16 ( 1992 ) 【c7】 普拉纳夫·阿沙尔 , 苏吉特·戴伊 , 莎拉·马利克 :
在时序电路的性能优化中利用多周期假路径。 国际民航组织 1992 : 510-517 1991 [j3] 普拉纳夫·阿沙尔 , 斯里尼瓦斯·德瓦达斯 , A.理查德·牛顿 :
有限状态机分解方法的优化和启发式算法。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 10 ( 三 ) : 296-310 ( 1991 ) [注2] 普拉纳夫·阿沙尔 , 斯里尼瓦斯·德瓦达斯 , A.理查德·牛顿 :
通过优化逻辑综合实现无冗余交互时序机。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 10 ( 三 ) : 311-325 ( 1991 ) 【c6】 普拉纳夫·阿沙尔 , 阿比吉特·戈什 , 斯里尼瓦斯·德瓦达斯 :
使用一般二进制决策图进行布尔可满足性和等价性检查。 ICCD公司 1991 : 259-264 【c5】 普拉纳夫·阿沙尔 , 斯里尼瓦斯·德瓦达斯 , 库尔特·科伊策 :
基于多路复用网络的门延迟故障可测试性。 国际贸易中心 1991 : 887-896 1990 【c4】 普拉纳夫·阿沙尔 , 斯里尼瓦斯·德瓦达斯 , A.理查德·牛顿 :
序列机器分解和重分解的统一方法。 数模转换器 1990 : 601-606 【c3】 普拉纳夫·阿沙尔 , 阿比吉特·戈什 , 斯里尼瓦斯·德瓦达斯 , A.理查德·牛顿 :
隐式状态转移图:在时序逻辑综合和测试中的应用。 国际计算机辅助设计协会 1990 : 84-87 【c2】 普拉纳夫·阿沙尔 , 斯里尼瓦斯·德瓦达斯 , A.理查德·牛顿 :
交互有限状态机的可测试性驱动综合。 ICCD公司 1990 : 273-276
1980 – 1989
1989 【c1】 普拉纳夫·阿沙尔 , 斯里尼瓦斯·德瓦达斯 , A.理查德·牛顿 :
有限状态机分解和划分的优化和启发式算法。 国际计算机辅助设计协会 1989 : 216-219 1988 [j1] K.Radhakrishna Rao , 普拉纳夫·阿沙尔 :
幅值锁定回路。 程序。 电气与电子工程师协会 76 ( 2 ) : 201-203 ( 1988 )