发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE Comput. Soc 2005 International Conference on Computer Design - San Jose, CA, USA (2-5 Oct. 2005)] 2005 International Conference on Computer Design - Assertion checking of behavioral descriptions with nonlinear solver

[IEEE Comput. Soc 2005 International Conference on Computer Design - San Jose, CA, USA (2-5 Oct. 2005)] 2005 International Conference on Computer Design - Assertion checking of behavioral descriptions with nonlinear solver

Ugarte, I.; Sanchez, P.

作者Ugarte, I.; Sanchez, P.
文件大小151.98KB
发表时间2005
DOI10.1109/iccd.2005.29
页码229-231

← 返回【学霸图书馆】主页