作者ric2k1 (Ric)
看板EE_DSnP
标题[公告] BDD reference code/program updates
时间Fri Jun 20 00:16:14 2008
Please see project website for complete information.
Error/Update Trace:
===================
[06/19/2008] (11:45pm)
> Minor changes in “bdd.tgz” (You can ignore this, or just download
these files: bddNode.h | bddCmd.cpp):
(i) bddNode.h:63 ==> size_t operator () () const { return _nodeV; }
(ii) bddCmd.cpp ==> Change the comments to be consistent with this project
description file
> Bug fix in “cirMgr.o”==> To fix the crash in “cirsetv <–dfs | -rdfs>”
(Download: cirMgr-32.o | cirMgr-64.o)
> Bug fixes in reference program ==> To check the bddName, varName, and
gateName for various BDD commands (Download: ref/bdd)
> Testcases added: C1355.aag C3540.aag C6288.aag C880.aag C1908.aag
C5315.aag C7552.aag (Download: bdd/testcases)
> Dofiles added: do.C1908 do.C432 do.C499 do.C5315 do.C7552 do.C1355
do.C3540 do.C432_ng do.C499_r do.C6288 do.C880 (Download: bdd/dofiles)
> Reference output of the "test.cpp" program provided: (Download: test.out)
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.121.132.61