作者spock ()
看板EE_DSnP
标题Re: [问题] 有关输出的顺序
时间Tue Jun 3 13:22:17 2008
※ 引述《spock ()》之铭言：
: 请问老师，我刚才测试过 aiger-20071012/examples/ 与 tip-k-ind-aigs-o1234g/
: 小於 100k 的档案（因为我的 code 执行时间是老师的 60 倍，还不敢测太大的档），
: 发现所有 .aig 档案的 cirp -n 输出结果与 ref 完全一样。
: 但是 example 里面的 and 与 or 比较奇怪。
: ref 输出同一种电路的 .aig 与 .aag 时，PI 的顺序与 AND 右手边输出顺序刚好相反。
: 我的程式则是 .aig 与 .aag 一样。
: 不知道这样会不会造成助教批改的困扰？
以下是 ref/cirTest 的输出：
cir> cirr /home/spock/dsnp/aiger-20071012/examples/and.
aig
cir> cirp -n
PI(2)
PI(1)
AND(3) =
PI(2) &&
PI(1)
PO(3) = AND(3)
cir> cirr /home/spock/dsnp/aiger-20071012/examples/and.
aag
Deleting circuit...
cir> cirp -n
PI(1)
PI(2)
AND(3) =
PI(1) &&
PI(2)
PO(3) = AND(3)
cir> cirr /home/spock/dsnp/aiger-20071012/examples/or.
aig
cir> cirp -n
PI(2)
PI(1)
AND(3) = !
PI(2) && !
PI(1)
PO(3) = !AND(3)
cir> cirr /home/spock/dsnp/aiger-20071012/examples/or.
aag
cir> cirp -n
PI(1)
PI(2)
AND(3) = !
PI(1) && !
PI(2)
PO(3) = !AND(3)
--
现在的执行时间是老师的 20 倍...orz
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.160.63.47
※ 编辑: spock 来自: 218.160.63.47 (06/03 13:31)