斯科特·利特尔
人员信息
优化列表
2010 – 2019
2014 [第14条] 安德鲁·N·费舍尔 , 萨蒂什·巴库 , 凯文·琼斯 , 达纳什里·库尔卡尼 , 斯科特·利特尔 , 大卫·瓦尔特 , 克里斯·迈尔斯 :
LEMA:数字密集型模拟/混合信号电路的正式验证工具。 MWSCAS公司 2014 : 1017-1020 2012 [j5] Subhankar Mukherjee公司 , 帕拉布·达斯古普塔 , 悉达多·穆霍帕迪亚 , 斯科特·利特尔 , 约翰·哈夫利切克 , Srikanth Chandrasekaran公司 :
将AMS断言与AMS仿真同步:从理论到实践。 ACM事务处理。 设计自动。 选举人。 系统。 17 ( 4 ) : 38:1-38:25 ( 2012 ) 2011 【j4】 斯科特·利特尔 , 大卫·瓦尔特 , 克里斯·迈尔斯 , 罗伯特·A·萨克 , 萨蒂什·巴库 , Tomohiro Yoneda公司 :
使用标记混合Petri网验证模拟/混合信号电路。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 30 ( 4 ) : 617-630 ( 2011 ) [第13条] 约翰·哈夫利切克 , 斯科特·利特尔 :
模拟断言和混合断言的实时正则表达式。 FMCAD公司 2011 : 155-162 2010 [j3] 斯科特·利特尔 , 大卫·瓦尔特 , 凯文·琼斯 , 克里斯·迈尔斯 , 阿尔珀·森 :
使用模拟轨迹生成的模型进行模拟/混合信号电路验证。 发现的国际期刊。 计算。 科学。 21 ( 2 ) : 191-210 ( 2010 ) [第12条] 约翰·哈夫利切克 , 斯科特·利特尔 , 奥德·马勒 , 德扬·尼科维奇 :
模拟和混合信号系统的基于属性的监测。 格式 2010 : 23-24
2000 – 2009
2009 [第11条] 罗伯特·A·萨克 , 克里斯·迈尔斯 , 凯文·琼斯 , 斯科特·利特尔 :
一种新的嵌入式系统验证方法。 ICCD公司 2009 : 193-200 2008 【b1】 斯科特·利特尔 :
使用标记混合Petri网对模拟/混合信号电路进行有效建模和验证。 美国犹他大学, 2008 [注2] 大卫·瓦尔特 , 斯科特·利特尔 , 克里斯·迈尔斯 , 尼古拉斯·西格米勒 , Tomohiro Yoneda公司 :
使用符号方法验证模拟/混合信号电路。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 27 ( 12 ) : 2223-2235 ( 2008 ) 2007 [第10条] 大卫·瓦尔特 , 斯科特·利特尔 , 尼古拉斯·西格米勒 , 克里斯·迈尔斯 , Tomohiro Yoneda公司 :
模拟/混合信号电路的符号模型检查。 ASP-DAC公司 2007 : 316-323 【c9】 大卫·瓦尔特 , 斯科特·利特尔 , 克里斯·迈尔斯 :
使用SMT求解器对模拟和混合信号电路进行有界模型检查。 ATVA公司 2007 : 66-81 【c8】 斯科特·利特尔 , 大卫·瓦尔特 , 凯文·琼斯 , 克里斯·迈尔斯 :
使用模拟轨迹生成的模型进行模拟/混合信号电路验证。 ATVA公司 2007 : 114-128 【c7】 斯科特·利特尔 , 阿尔珀·森 , 克里斯·迈尔斯 :
自动模型生成技术在模拟/混合信号电路中的应用。 音乐电视 2007 : 109-115 2006 [j1] 郝正 , 克里斯·迈尔斯 , 大卫·瓦尔特 , 斯科特·利特尔 , Tomohiro Yoneda公司 :
用故障定向抽象验证定时电路。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 25 ( 三 ) : 403-412 ( 2006 ) 【c6】 斯科特·利特尔 , 尼古拉斯·西格米勒 , 大卫·瓦尔特 , 克里斯·迈尔斯 , Tomohiro Yoneda公司 :
使用标记混合petri网验证模拟/混合信号电路。 国际计算机辅助设计协会 2006 : 275-282 2005 【c5】 克里斯·迈尔斯 , 里德·哈里森 , 大卫·瓦尔特 , 尼古拉斯·西格米勒 , 斯科特·利特尔 :
模拟电路验证案例。 传真 2005 : 53-63 2004 【c4】 斯科特·利特尔 , 大卫·瓦尔特 , 尼古拉斯·西格米勒 , 克里斯·迈尔斯 , Tomohiro Yoneda公司 :
用时间混合Petri网验证模拟和混合信号电路。 ATVA公司 2004 : 426-440 2003 【c3】 郝正 , 克里斯·迈尔斯 , 大卫·瓦尔特 , 斯科特·利特尔 , Tomohiro Yoneda公司 :
用故障导向抽象验证定时电路。 ICCD公司 2003 : 28-35 2001 【c2】 克里斯·温斯特德 , 戴杰 , Woo Jin Kim先生 , 斯科特·利特尔 , 金永彬 , 克里斯·迈尔斯 , 克里斯蒂安·施莱格尔 :
亚阈值CMOS(8,4)汉明码的模拟MAP解码器。 ARVLSI公司 2001 : 132-147 【c1】 马丁·范·德博文坎普 , 鲁本·琼金 , 顾文瑞(Gu Van Rhijn) , 弗兰斯·范·埃伊纳顿 , 古黛拉·格鲁特 , Jouni Lehtelä , 蒂莫·莱斯基宁 , 皮特·温克 , 斯科特·利特尔 , 托尼·瓦夫勒 :
用于人机工程学和社会技术系统设计的E/S工具IT支持。 ER(车间) 2001 : 67-80