作者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)