Commits · 66d9a80b3db7f9194ee084f210e0ae5f3a9516d7 · lvzhengyang / abc · GitLab

17 Aug, 2014 1 commit
- Added DSD-based collapsing &dsd. · 18ed4d34
  Alan Mishchenko committed 10 years ago
  
  18ed4d34 Browse File
26 Jul, 2014 1 commit
- Generating abstraction of standard cell library. · 704b4bad
  Alan Mishchenko committed 10 years ago
  
  704b4bad Browse File
21 Jul, 2014 1 commit
- Adding new command &sopb for resource-aware SOP balancing. · c0aa9b6a
  Alan Mishchenko committed 10 years ago
  
  c0aa9b6a Browse File
28 Jun, 2014 1 commit
- Changes and improvements to different packages. · 933b7496
  Alan Mishchenko committed 10 years ago
  
  933b7496 Browse File
22 Jun, 2014 1 commit
- Experiments with balancing. · 13dd4eeb
  Alan Mishchenko committed 10 years ago
  
  13dd4eeb Browse File
20 Jun, 2014 1 commit
- Added quick GIG parser. · f04d3273
  Alan Mishchenko committed 10 years ago
  
  f04d3273 Browse File
18 Jun, 2014 1 commit
- Various changes to enable better CNF generation. · 85e23c84
  Alan Mishchenko committed 10 years ago
  
  85e23c84 Browse File
11 Jun, 2014 1 commit
- Various modifications. · 93d89eaa
  Alan Mishchenko committed 10 years ago
  
  93d89eaa Browse File
21 May, 2014 1 commit
- Experiment with new idea for ISO. · fe5b5ffe
  Alan Mishchenko committed 10 years ago
  
  fe5b5ffe Browse File
26 Apr, 2014 1 commit
- Exploration of MFFCs. · 8de7816d
  Alan Mishchenko committed 10 years ago
  
  8de7816d Browse File
22 Mar, 2014 1 commit
- Experiments with mapping. · ace34099
  Alan Mishchenko committed 10 years ago
  
  ace34099 Browse File
13 Nov, 2013 1 commit
- Structural mapper into structures. · 4e00ec61
  Alan Mishchenko committed 11 years ago
  
  4e00ec61 Browse File
31 Oct, 2013 1 commit
- False path detection. · 313caa45
  Alan Mishchenko committed 11 years ago
  
  313caa45 Browse File
06 Oct, 2013 1 commit
- Resubstitution code. · 8a03e530
  Alan Mishchenko committed 11 years ago
  
  8a03e530 Browse File
03 Oct, 2013 1 commit
- Experiment with the AIG package. · 6132d7cb
  Alan Mishchenko committed 11 years ago
  
  6132d7cb Browse File
30 Sep, 2013 1 commit
- New logic sharing extraction. · 62439be8
  Alan Mishchenko committed 11 years ago
  
  62439be8 Browse File
28 Sep, 2013 1 commit
- Performance balancing command &b. · a7fcdf20
  Alan Mishchenko committed 11 years ago
  
  a7fcdf20 Browse File
25 Sep, 2013 1 commit
- Improving DAG-aware unmapping. · 53165710
  Alan Mishchenko committed 11 years ago
  
  53165710 Browse File
07 Sep, 2013 1 commit
- Improvements to the new technology mapper. · 137a7662
  Alan Mishchenko committed 11 years ago
  
  137a7662 Browse File
12 Jul, 2013 1 commit
- New technology mapper. · fba33fbb
  Alan Mishchenko committed 11 years ago
  
  fba33fbb Browse File
26 Jun, 2013 1 commit
- Unifying representation of mapping in GIA. · a66dc0af
  Alan Mishchenko committed 11 years ago
  
  a66dc0af Browse File
05 Jun, 2013 1 commit
- Integrating new MFS package with GIA manager. · 81086552
  Alan Mishchenko committed 11 years ago
  
  81086552 Browse File
28 May, 2013 1 commit
- Multiplexer profiling. · c50c1fc6
  Alan Mishchenko committed 11 years ago
  
  c50c1fc6 Browse File
03 May, 2013 1 commit
- Reading/writing MiniAIG and several minor changes. · 6a49d1f4
  Alan Mishchenko committed 11 years ago
  
  6a49d1f4 Browse File
01 May, 2013 1 commit
- Faster isomorphism detection (command &iso). · b94766bc
  Alan Mishchenko committed 11 years ago
  
  b94766bc Browse File
01 Apr, 2013 1 commit
- Shrink for 6-LUTs. · 2650f945
  Alan Mishchenko committed 11 years ago
  
  2650f945 Browse File
27 Feb, 2013 1 commit
- User-controlable SAT sweeper and other small changes. · a27a7bc8
  Alan Mishchenko committed 12 years ago
  
  a27a7bc8 Browse File
25 Feb, 2013 1 commit
- User-controlable SAT sweeper. · fe3b2e25
  Alan Mishchenko committed 12 years ago
  
  fe3b2e25 Browse File
24 Feb, 2013 1 commit
- Started PO partitioning command. · 69dd1337
  Alan Mishchenko committed 12 years ago
  
  69dd1337 Browse File
20 Feb, 2013 1 commit
- Adding STG generation (&era -d) and STG encoding (&read_stg <file>). · 59fe3268
  Alan Mishchenko committed 12 years ago
  
  59fe3268 Browse File
19 Feb, 2013 1 commit
- Integrating sweeping information. · cda61cb2
  Alan Mishchenko committed 12 years ago
  
  cda61cb2 Browse File
03 Feb, 2013 1 commit
- Integration of timing manager. · 930369f3
  Alan Mishchenko committed 12 years ago
  
  930369f3 Browse File
07 Jan, 2013 1 commit
- Technology mapper. · a2c718fc
  Alan Mishchenko committed 12 years ago
  
  a2c718fc Browse File
10 Dec, 2012 1 commit
- Unifification of custom extensions. · 2575a5d6
  Alan Mishchenko committed 12 years ago
  
  2575a5d6 Browse File
14 Nov, 2012 1 commit
- Isolating BMC code into a separate package. · be7a4e42
  Alan Mishchenko committed 12 years ago
  
  be7a4e42 Browse File
03 Oct, 2012 1 commit
- Combined old reparametrization command with the new one. · aeb7f7ea
  Alan Mishchenko committed 12 years ago
  
  aeb7f7ea Browse File
02 Oct, 2012 1 commit
- Separated truth table computation for GIA manager and added new procedures. · b612db97
  Alan Mishchenko committed 12 years ago
  
  b612db97 Browse File
24 Sep, 2012 1 commit
- Improving computation of choices from equivalence classes. · 255f171f
  Alan Mishchenko committed 12 years ago
  
  255f171f 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
14 Sep, 2012 1 commit
- Prepared &gla to try abstracting and proving concurrently. · 19c28cae
  Alan Mishchenko committed 12 years ago
  
  19c28cae Browse File