什麼是形式驗證?
http://www.eettaiwan.com/ART_8800615224_480102_TA_55c9286d.HTM?8800056386&8800615224&click_from=8800056386,8731273447,2010-08-09,EETOL,ARTICLE_ALERT
What is formal verification?
http://www.eetasia.com/STATIC/PDF/201005/EEOL_2010MAY21_EDA_TA_01.pdf?SOURCES=DOWNLOAD
Understanding high-level synthesis design's advantages
http://www.eetasia.com/STATIC/PDF/201004/EEOL_2010APR26_EDA_TA_01.pdf?SOURCES=DOWNLOAD
ECO Flow
http://asicdigitaldesign.wordpress.com/2007/12/05/eco-flow/
2010年8月29日 星期日
訂閱:
張貼留言 (Atom)
沒有留言:
張貼留言