Commits · 9e4d24aa5d354eafee0d4832c6d1949afe5b8ac4 · lvzhengyang / abc · GitLab

02 May, 2016 1 commit
- Updating GIG parser. · 11f1a249
  Alan Mishchenko committed 8 years ago
  
  11f1a249 Browse File
12 Apr, 2016 1 commit
- Added Exorcism package, reading ESOP (read_pla -x file.esop) and deriving AIG (cubes -x; st). · 2d6a6f66
  Alan Mishchenko committed 8 years ago
  
  2d6a6f66 Browse File
18 Mar, 2015 1 commit
- Adding switch '-b' in 'read_pla'. · fb5d4a66
  Alan Mishchenko committed 9 years ago
  
  fb5d4a66 Browse File
08 Feb, 2015 1 commit
- Fixed a typo in variable names. · 68467cff
  Alan Mishchenko committed 10 years ago
  
  68467cff Browse File
04 Feb, 2015 1 commit
- Esperiments with MO PLA optimization. · eb270018
  Alan Mishchenko committed 10 years ago
  
  eb270018 Browse File
14 Dec, 2014 1 commit
- Integrating barrier buffers. · 6b6e5861
  Alan Mishchenko committed 10 years ago
  
  6b6e5861 Browse File
12 Nov, 2014 1 commit
- Generation of barrier-buffers for hierarchical design. · 968be157
  Alan Mishchenko committed 10 years ago
  
  968be157 Browse File
10 Nov, 2014 1 commit
- Adding cyclicity check for netlist with boxes. · 5ebf135b
  Alan Mishchenko committed 10 years ago
  
  5ebf135b Browse File
28 Sep, 2014 1 commit
- Adding features to CNF generation. · 98e377bd
  Alan Mishchenko committed 10 years ago
  
  98e377bd Browse File
12 Sep, 2014 1 commit
- New word-level representation package. · dcb7d0d3
  Alan Mishchenko committed 10 years ago
  
  dcb7d0d3 Browse File
10 Sep, 2014 1 commit
- Bug fix in transferring timing info. · 49f2ec22
  Alan Mishchenko committed 10 years ago
  
  49f2ec22 Browse File
24 Jun, 2014 1 commit
- Improvements to power-aware mapping. · 2edf2a97
  Alan Mishchenko committed 10 years ago
  
  2edf2a97 Browse File
23 Jun, 2014 2 commits
- Improvements to CNF generation. · f79d8e4b
  Alan Mishchenko committed 10 years ago
  
  f79d8e4b Browse File
- Improvements to CNF generation. · 44d9c7e5
  Alan Mishchenko committed 10 years ago
  
  44d9c7e5 Browse File
20 Jun, 2014 1 commit
- Added quick GIG parser. · f04d3273
  Alan Mishchenko committed 10 years ago
  
  f04d3273 Browse File
12 May, 2014 1 commit
- add an option to write_cex to write the CEX in AIGER 1.9 format. · 26c92f16
  Baruch Sterin committed 10 years ago
  
  26c92f16 Browse File
27 Apr, 2014 1 commit
- Added dumping original object names into a file. · 6095b151
  Alan Mishchenko committed 10 years ago
  
  6095b151 Browse File
09 Apr, 2014 1 commit
- Renamed Abc_Lib_t into Abc_Des_t and removed some dead code. · b94b8102
  Alan Mishchenko committed 10 years ago
  
  b94b8102 Browse File
04 Apr, 2014 1 commit
- Better CEX minimization and renaming of write_counter into write_cex. · f6ae0e41
  Alan Mishchenko committed 10 years ago
  
  f6ae0e41 Browse File
17 Mar, 2014 1 commit
- Adding barrier buffers. · 89eed1aa
  Alan Mishchenko committed 10 years ago
  
  89eed1aa Browse File
10 Mar, 2014 1 commit
- Changes to LUT mappers. · c97a9c0d
  Alan Mishchenko committed 10 years ago
  
  c97a9c0d Browse File
29 Dec, 2013 1 commit
- Adding check for the presence of precomputed data. · 737e4671
  Alan Mishchenko committed 11 years ago
  
  737e4671 Browse File
17 Dec, 2013 1 commit
- New command &write_cnf. · 227963f0
  Alan Mishchenko committed 11 years ago
  
  227963f0 Browse File
18 Sep, 2013 1 commit
- Debugging and finetuning the flow. · efa6b54b
  Alan Mishchenko committed 11 years ago
  
  efa6b54b Browse File
17 Sep, 2013 1 commit
- Unifying standard cell library representations. · 7d3976a7
  Alan Mishchenko committed 11 years ago
  
  7d3976a7 Browse File
25 May, 2013 1 commit
- New MFS package. · d5234332
  Alan Mishchenko committed 11 years ago
  
  d5234332 Browse File
07 Nov, 2012 1 commit
- Improvements to LMS code. · db7852bb
  Alan Mishchenko committed 12 years ago
  
  db7852bb Browse File
25 Oct, 2012 3 commits
- Adding binary file dumping for truth tables. · fac39766
  Alan Mishchenko committed 12 years ago
  
  fac39766 Browse File
- Adding binary file dumping for truth tables. · 059da574
  Alan Mishchenko committed 12 years ago
  
  059da574 Browse File
- Added hierarchical BLIF output for mapping with LUT structures (write_blif -a -S <XYZ>). · 7ecea8d4
  Alan Mishchenko committed 12 years ago
  
  7ecea8d4 Browse File
10 Oct, 2012 1 commit
- Added command to transform GIA into the file with truth tables for each output. · d261e617
  Alan Mishchenko committed 12 years ago
  
  d261e617 Browse File
29 Sep, 2012 1 commit
- Replacing 'st_table' by 'st__table' to resolve linker problems. · 71bdfae9
  Alan Mishchenko committed 12 years ago
  
  71bdfae9 Browse File
25 Sep, 2012 2 commits
- Cleaned up interfaces of genlib/liberty/supergate reading/writing. · aed3b3a1
  Alan Mishchenko committed 12 years ago
  
  aed3b3a1 Browse File
- Changed printouts in a few places in supergate computation. · d0197d83
  Alan Mishchenko committed 12 years ago
  
  d0197d83 Browse File
21 Sep, 2012 1 commit
- Added simplification before the concurrent call to PDR. · 5f09917c
  Alan Mishchenko committed 12 years ago
  
  5f09917c Browse File
20 Sep, 2012 3 commits
- Modified 'read' to read all types of libraries (genlib, liberty, scl). · 266af493
  Alan Mishchenko committed 12 years ago
  
  266af493 Browse File
- Modified 'read' to read all types of libraries (genlib, liberty, scl). · bc44087b
  Alan Mishchenko committed 12 years ago
  
  bc44087b Browse File
- Fixes to Verilog parser. · f59de3de
  Alan Mishchenko committed 12 years ago
  
  f59de3de Browse File
16 Sep, 2012 1 commit
- Created new abstraction package from the code that was all over the place. · 69bbfa98
  Alan Mishchenko committed 12 years ago
  
  69bbfa98 Browse File
08 Jul, 2012 1 commit
- Updating project settings to have simpler include paths. · 1c33107c
  Alan Mishchenko committed 12 years ago
  
  1c33107c Browse File