diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-04 11:13:33 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-04 11:13:33 -0700 |
| commit | c82da43e4017b2787fe2200c1d0b8ad4cea008a7 (patch) | |
| tree | 1cea6d74b7fbbbf1eb81393640da9854a3a83f92 | |
| parent | 6ecf7c60639f38d5ec0bc43d04bc2ca435dbb5c5 (diff) | |
| download | abc-c82da43e4017b2787fe2200c1d0b8ad4cea008a7.tar.gz abc-c82da43e4017b2787fe2200c1d0b8ad4cea008a7.tar.bz2 abc-c82da43e4017b2787fe2200c1d0b8ad4cea008a7.zip | |
Reducing page width in 'readme.md'.
| -rw-r--r-- | readme.md | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -23,7 +23,7 @@ To build the demo program To run the demo program, give it a file with the logic network in AIGER or BLIF. For example: - [alanmi@mima] ~/abc> demo i10.aig + [...] ~/abc> demo i10.aig i10 : i/o = 257/ 224 lat = 0 and = 2396 lev = 37 i10 : i/o = 257/ 224 lat = 0 and = 1851 lev = 35 Networks are equivalent. @@ -31,7 +31,7 @@ To run the demo program, give it a file with the logic network in AIGER or BLIF. The same can be produced by running the binary in the command-line mode: - [alanmi@mima] ~/abc> ./abc + [...] ~/abc> ./abc UC Berkeley, ABC 1.01 (compiled Oct 6 2012 19:05:18) abc 01> r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec i10 : i/o = 257/ 224 lat = 0 and = 2396 lev = 37 @@ -40,7 +40,7 @@ The same can be produced by running the binary in the command-line mode: or in the batch mode: - [alanmi@mima] ~/abc> ./abc -c "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec" + [...] ~/abc> ./abc -c "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec" ABC command line: "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec". i10 : i/o = 257/ 224 lat = 0 and = 2396 lev = 37 i10 : i/o = 257/ 224 lat = 0 and = 1851 lev = 35 |