尼古拉斯·西格米勒
人员信息
优化列表
2000 – 2009
2008 [j1] 大卫·瓦尔特 , 斯科特·利特尔 , 克里斯·迈尔斯 , 尼古拉斯·西格米勒 , Tomohiro Yoneda公司 :
使用符号方法验证模拟/混合信号电路。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 27 ( 12 ) : 2223-2235 ( 2008 ) 2007 【c4】 大卫·瓦尔特 , 斯科特·利特尔 , 尼古拉斯·西格米勒 , 克里斯·迈尔斯 , Tomohiro Yoneda公司 :
模拟/混合信号电路的符号模型检查。 ASP-DAC公司 2007 : 316-323 2006 【c3】 斯科特·利特尔 , 尼古拉斯·西格米勒 , 大卫·瓦尔特 , 克里斯·迈尔斯 , Tomohiro Yoneda公司 :
使用标记混合petri网验证模拟/混合信号电路。 国际计算机辅助设计协会 2006 : 275-282 2005 【c2】 克里斯·迈尔斯 , 里德·哈里森 , 大卫·瓦尔特 , 尼古拉斯·西格米勒 , 斯科特·利特尔 :
模拟电路验证案例。 传真 2005 : 53-63 2004 【c1】 斯科特·利特尔 , 大卫·瓦尔特 , 尼古拉斯·西格米勒 , 克里斯·迈尔斯 , Tomohiro Yoneda公司 :
使用时间混合Petri网验证模拟和混合信号电路。 ATVA公司 2004 : 426-440