由於 htm file 還沒更新, 在這裡新 outline 一下期末專題要 support 的 commands...
Command List
============
BAND: BDD And
BBUILD: BDD build from circuit
BCOMpare: BDD comparison
BDRAW: BDD graphic draw
BINV: BDD Inv
BNAND: BDD Nand
BNOR: BDD Nor
BOR: BDD Or
BREPort: BDD report node
BRESET: BDD reset
BSETVar: BDD set variable order
BSIMulate: BDD simulation
BXNOR: BDD Xnor
BXOR: BDD Xor
CREADdesign: read design
CREPortgate: read gate
DOfile: execute the commands in the dofile
HELp: print this help message
HIStory: print command history
Quit: quit the execution
USAGE: report the runtime and/or memory usage
Command Usage (new commands only)
=================================
//----------------------------------------------------------------------
// BRESET <(size_t nSupports)> <(size_t hashSize)> <(size_t cacheSize)>
//----------------------------------------------------------------------
//----------------------------------------------------------------------
// BSETVar < <(size_t level)> <(string name)> > |
// < -PI < -File | -RFile | -Dfs | -RDfs > >
//----------------------------------------------------------------------
//----------------------------------------------------------------------
// BINV <(string invName)> <(string invInput)>
//----------------------------------------------------------------------
//----------------------------------------------------------------------
// BAND <(string andName)> <(string andInput)>...
//----------------------------------------------------------------------
//----------------------------------------------------------------------
// BOR <(string orName)> <(string orInput)>...
//----------------------------------------------------------------------
//----------------------------------------------------------------------
// BNAND <(string nandName)> <(string nandInput)>...
//----------------------------------------------------------------------
//----------------------------------------------------------------------
// BNOR <(string norName)> <(string norInput)>...
//----------------------------------------------------------------------
//----------------------------------------------------------------------
// BXOR <(string xorName)> <(string xorInput)>...
//----------------------------------------------------------------------
//----------------------------------------------------------------------
// BXNOR <(string xnorName)> <(string xnorInput)>...
//----------------------------------------------------------------------
//----------------------------------------------------------------------
// BBUILD <(string gateName) | -All>
//----------------------------------------------------------------------
//----------------------------------------------------------------------
// BCOMpare <(string bddNodeName1)> <(string bddNodeName2)>
//----------------------------------------------------------------------
//----------------------------------------------------------------------
// BSIMulate <(string bddNodeName)> <(bit_string inputPattern)>
//----------------------------------------------------------------------
// input pattern = [01]*
//
//----------------------------------------------------------------------
// BREPort <(string bddNodeName)> [-ADDRess] [-REFcount]
// [-File <(string fileName)>]
//----------------------------------------------------------------------
//----------------------------------------------------------------------
// BDRAW <(string bddNodeName)> <(string fileName)>
//----------------------------------------------------------------------
//----------------------------------------------------------------------
// CREADdesign <(string fileName)>
//----------------------------------------------------------------------
//----------------------------------------------------------------------
// CREPortgate <<(string gateName)> [<-FANIn | -FANOut><(int level)>]> |
// <-Type <(string type)>>
//----------------------------------------------------------------------
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.131.44