[14] | 1 | |
---|
| 2 | read_blif_mv - read a blif-mv file |
---|
| 3 | _________________________________________________________________ |
---|
| 4 | |
---|
| 5 | read_blif_mv [-c] [-h] [-r] [-v] <file_name> |
---|
| 6 | |
---|
| 7 | Reads a blif-mv file into VIS. The existing hierarchy for the blif-mv file |
---|
| 8 | previously read in is overwritten upon a successful read. If an error is |
---|
| 9 | detected while reading a file, the previous hierarchy is preserved. |
---|
| 10 | |
---|
| 11 | Command options: |
---|
| 12 | |
---|
| 13 | -c |
---|
| 14 | Semi-canonicalize all the tables in each model. The canonicalization |
---|
| 15 | process, assigns a linear order to the table rows and columns, based |
---|
| 16 | on the value of their entries. For a table with binary valued |
---|
| 17 | entries, this value is exactly the number of 1's in the row or |
---|
| 18 | column. Once this linear order is assigned, the rows and columns of |
---|
| 19 | the table are swapped so as to order rows and columns with higher |
---|
| 20 | value at the beginning of the corresponding row or column order. It |
---|
| 21 | is called semi-canonicalization because two tables representing the |
---|
| 22 | same logic function need not have the same canonical form. |
---|
| 23 | |
---|
| 24 | -h |
---|
| 25 | Print the command usage. |
---|
| 26 | |
---|
| 27 | -r |
---|
| 28 | If set, the program replaces the subhierarchy rooted at the current |
---|
| 29 | node with a new hierarchy specified by a blif-mv file. The file to be |
---|
| 30 | read in has to be compatible with the i/o interface of the current |
---|
| 31 | hnode (the same i/o names with the same domains). Otherwise, the |
---|
| 32 | current hierarchy is kept intact. If -r is not specified, the entire |
---|
| 33 | hierarchy is replaced, not just the subhierarchy at the current node. |
---|
| 34 | |
---|
| 35 | -v |
---|
| 36 | If set, the program prints out all the unused variables in the |
---|
| 37 | blif-mv file. Otherwise, only a warning is printed that some |
---|
| 38 | variables are not used. |
---|
| 39 | |
---|
| 40 | <file_name> |
---|
| 41 | blif-mv file to be read in. |
---|
| 42 | |
---|
| 43 | For more information on blif-mv, refer to the [1]blif-mv manual. |
---|
| 44 | _________________________________________________________________ |
---|
| 45 | |
---|
| 46 | Last updated on 20100410 00h02 |
---|
| 47 | |
---|
| 48 | References |
---|
| 49 | |
---|
| 50 | 1. http://www-cad.eecs.berkeley.edu/Respep/Research/vis/doc/blifmv/blifmv/blifmv.html |
---|