1. PTT
  2. GIEE_SoC_V

[情報] Homework #1

作者: ric2k1 (Ric)   2012-04-13 00:23:17
"Formal Verification Basics && BDD-Based Verification" is now on Ceiba.
It is due on 04/27 (Fri). Please turn in hardcopy in class.
繼續閱讀
[情報] BDD Lecture notes (up to p69)ric2k1[問題] output direct?ckmarkoh[討論] NAND 和 NOR gate??ckmarkoh[公告] 今日 03/29 6pm 補課ric2k1Source Code Bug Fixed and Program Updatechengyin[問題] 有關程式的正確性kenylin[公告] Reference Program Update (Another bug fixed)chengyin[問題] Or gate 是logic Or 還是 bit-wise Or?kenylinRe: [問題] write designchengyinReference Program Update (A bug fixed)chengyin

Links booklink

Contact Us: admin [ a t ] ucptt.com