作者ric2k1 (Ric)
看板EE_DSnP
标题Re: reference program
时间Sat Jan 20 23:32:41 2007
※ 引述《jjjj222 (I'M windforce)》之铭言：
: 标题: reference program
: 时间: Sat Jan 20 17:29:25 2007
:
: bset 2 b
是 "bsetv 2 b" 吧?
: brep -a b
:
: >>Illegal option!! (b)
:
: 推 timrau:只能brep b -a吧 必要的放前面 01/20 17:38
: 推 jjjj222:可以bsetv -addr b 01/20 17:55
See my "pushes" in post 445.
Since there are variable names starting in numbers, '[', in .cir testcases,
we allow ANY character in the circuit and BDD variable names.
So in "brep -a b", we will treat "-a" as a variable name and thus 'b' is
an illegal option.
Note that "[-ADDRess]" is optional and thus can be placed anywhere in the
command line.
So "brep -addr b" is legal.
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.121.131.33
1F：推 colbylai:but since "-a" is not in _bddMap, it would be illegal 01/20 23:53
2F：→ colbylai:and thus issue Illegal Option!! (-a) ? 01/20 23:54
3F：推 ric2k1:XD 都可以啦... 看你先检查哪一个... 01/20 23:57
4F：→ ric2k1:我会比较注重你 BDD 做得对不对... 01/20 23:57
5F：→ ric2k1:error message 的 mismatch 我不会太计较的... 01/20 23:58