PTT GIEE_SoC_V

最舊 下頁 › 最新

[公告] SoCV Final Term Grades

已公告在Ceiba上,請自行參閱,如有問題,請在明天(07/04)中午以前向我或是助教反應,逾時不候!線性調分的原則是讓最高分=100,平均(扣掉沒有交作業的兩位)~=84祝大家暑假過得充實愉快!!-
- 看板: Giee_soc_v 作者: ric2k1 2012-07-03 07:23

[問題] about PA#2

問2個很笨的問題1.PA2一開始應該是要從電路建BDD吧那要怎麼得到電路呢buildBdd裡面好像是先對想要建的線做DFS之後就是TODO了還是搞不太懂要怎麼樣把電路弄出來2.在使用ref的程式的時候
- 看板: Giee_soc_v 作者: hschiang 2013-04-14 22:52

Re: [問題] about PA#2

1 看板: Giee_soc_v 4留言 作者: keyboardle 2013-04-15 13:52

[問題] Counter Example

不好意思再問一個問題題目上說propertyviolate時要印counterexample可是格式看不太懂是要把所有會讓_reachStates&monitor為真的input+state都
- 看板: Giee_soc_v 作者: hschiang 2013-04-20 23:30

Re: [問題] Counter Example

1 看板: Giee_soc_v 1留言 作者: keyboardle 2013-04-21 05:30

[情報] 哪些食物能緩解抑鬱症?紅色食物會讓心

來澆澆水大家過的如何?保持好的生活作習和均衡的飲食雖然很麻煩______________________________________________________________________
- 看板: Giee_soc_v 作者: YAMAHATT 2017-06-09 14:31

[情報] 聊聊糖尿病患者營養不良

來澆澆水大家過的如何?保持好的生活作習和均衡的飲食雖然很麻煩______________________________________________________________________
- 看板: Giee_soc_v 作者: YAMAHATT 2017-06-09 14:33
最舊 下頁 › 最新