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