由於 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