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

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

[IEEE 2007 Asia and South Pacific Design Automation Conference - Yokohama, Japan (2007.01.23-2007.01.26)] 2007 Asia and South Pacific Design Automation Conference - Efficient Automata-Based Assertion-Checker Synthesis of SEREs for Hardware Emulation

[IEEE 2007 Asia and South Pacific Design Automation Conference - Yokohama, Japan (2007.01.23-2007.01.26)] 2007 Asia and South Pacific Design Automation Conference - Efficient Automata-Based Assertion-Checker Synthesis of SEREs for Hardware Emulation

Boule, Marc; Zilic, Zeljko

作者Boule, Marc; Zilic, Zeljko
文件大小179.07KB
发表时间2007
DOI10.1109/aspdac.2007.358006
页码324-329

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