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

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

[IEEE Comput. Soc Proceedings. XI Brazilian Symposium on Integrated Circuit Design (Cat. No.98EX216) - Rio de Janeiro, Brazil (30 Sept.-3 Oct. 1998)] Proceedings. XI Brazilian Symposium on Integrated Circuit Design (Cat. No.98EX216) - Formalization of finite state machines with data path for the verification of high-level synthesis

[IEEE Comput. Soc Proceedings. XI Brazilian Symposium on Integrated Circuit Design (Cat. No.98EX216) - Rio de Janeiro, Brazil (30 Sept.-3 Oct. 1998)] Proceedings. XI Brazilian Symposium on Integrated Circuit Design (Cat. No.98EX216) - Formalization of finite state machines with data path for the verification of high-level synthesis

Borrione, D.; Dushina, J.; Pierre, L.

作者Borrione, D.; Dushina, J.; Pierre, L.
文件大小24.13KB
发表时间1998
DOI10.1109/sbcci.1998.715419
页码99-102

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