作者ric2k1 (Ric)
看板EE_DSnP
標題Re: [討論] 關於const true 及const false
時間Mon Dec 27 23:54:16 2010
※ 引述《ckmarkoh (阿傑)》之銘言：
: 1.PI不可以是const 0 因為PI是要可以輸入0及1的
: 2.PO可以是const 0 or 1 但不可以被任何gate給連結到
: 所以電路中還有其他的gate的話, 這個PO就變成floating gate了?
: 3.and gate 的output 不可以是const 0
: input可以是const 0 or 1 但這樣就能以boolean operation將其化減..
: 所以在讀檔的時候就還要判斷以下情形?
: 1. illegal
: aag 1 1 0 1 0
: 0
: 2
const 0/1 是內定的 constant, 不可以 redefine 成 PI
Ref program 會輸出:
[ERROR] Line 2, Col 1: Cannot redefine const (0)!!
: 2. illegal
: aag 2 2 0 1 1
^
應該是 3, 否則 Ref program 會輸出:
[ERROR] Line 1: Num of variables is too small (2)!!
: 2
: 4
: 0
: 0 2 4
同一， const 0/1 也不能 redefine 成 AIG gate
Ref program 會輸出:
[ERROR] Line 5, Col 1: Cannot redefine const (0)!!
: 3. ok, but PO(0) is floating....
: aag 3 2 0 2 1
: 2
: 4
: 0
: 6
: 6 2 4
這個 case 應該是 OK 的，NOTHING is floating!!!!
'0' 那個 PO 是由 const 0 直接連到，所以不算 floating.
(所以我的 spec 應該改成 "從 PI 或 const 0/1 連不到...")
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.36.54.107
1F：→ ric2k1:先來睡去，明天再來爬文改 spec 以及寫 ref prog... 12/28 01:13
2F：推 scuendless:請問一下老師parse error中的colNo是怎麼定的 為什麼上 12/30 21:33
3F：→ scuendless:面的error的col是2～謝謝！ 12/30 21:34
4F：→ ric2k1:哈哈, you got a bug! I forgot to reset colNo when some 12/31 00:10
5F：→ ric2k1:kind of error is detected... Will update the code soon! 12/31 00:11
※ 編輯: ric2k1 來自: 114.36.54.107 (12/31 00:11)