Re: [討論] 關於const true 及const false

[ric2k1 (Ric)]

※ 引述《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
→ ric2k1:先來睡去，明天再來爬文改 spec 以及寫 ref prog...
推 scuendless:請問一下老師parse error中的colNo是怎麼定的 為什麼上
→ scuendless:面的error的col是2～謝謝！
→ ric2k1:哈哈, you got a bug! I forgot to reset colNo when some
→ ric2k1:kind of error is detected... Will update the code soon!
※ 編輯: ric2k1          來自: 114.36.54.107        (12/31 00:11)