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