作者puerpuella (柏亨)
看板EE_DSnP
标题[问题] aiger格式
时间Tue Jan 4 20:58:57 2011
翻了一下
http://fmv.jku.at/aiger/的说明档，不是很明白其中两段话的意思
Header:
An unsigned respectively non negative integer is either '0' or a strictly
positive ASCII encoded digit followed by a sequence of arbitrary digits
including '0'.
这样的意思是说正数的开头不能是0吗..?
ASCII Format:
In order to be well formed, the 'I' inputs, the current state literal of
the 'L' latches, e.g. the pseudo-primary inputs, and the LHS of the 'A'
AND gates are all different and define exactly 'I + L + A' literals. The
other literals, except for the two constants '0' and '1', are undefined
and can not be used as output, as next state literal, nor on the RHS of an
AND.
undefine不能拿来作AND的RHS的话就没有no-PI的floating了吧(这样好像也不错)
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.245.114
1F：推 ric2k1:意思是可为任何正整数或 0,长度不限的整数, e.g. 038, 308 01/04 22:04
2F：→ ric2k1:不过大家可以不用管大於 MAX_UINT 这种问题... 01/04 22:05