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

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

[IEEE 2006 IEEE International High Level Design Validation and Test Workshop - Monterey, CA, USA (2006.11.8-2006.11.10)] 2006 IEEE International High Level Design Validation and Test Workshop - Assertion-based Verification of Behavioral Descriptions with Non-linear Solver

[IEEE 2006 IEEE International High Level Design Validation and Test Workshop - Monterey, CA, USA (2006.11.8-2006.11.10)] 2006 IEEE International High Level Design Validation and Test Workshop - Assertion-based Verification of Behavioral Descriptions with Non-linear Solver

Ugarte, I.; Sanchez, P.

作者Ugarte, I.; Sanchez, P.
文件大小8145.99KB
发表时间2006
DOI10.1109/hldvt.2006.319965
页码61-68

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