summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Bug fix in &fraig -L <num>.Alan Mishchenko2014-08-125-8/+107
|
* Increasing the size of pre-allocated memory in &syn2.Alan Mishchenko2014-08-111-1/+1
|
* Adding delay optimization to synthesis script &syn2.Alan Mishchenko2014-08-088-22/+123
|
* Enabling cofactoring in the mapper.Alan Mishchenko2014-08-062-2/+23
|
* Profiling code for SOP/DSD/LMS balancing.Alan Mishchenko2014-08-041-0/+69
|
* Compiler warnings.Alan Mishchenko2014-08-045-11/+67
|
* Enabling ISOP-based minimization in 'collapse' if EXDC is available.Alan Mishchenko2014-08-042-2/+35
|
* Compiler warnings.Alan Mishchenko2014-08-022-1/+2
|
* Profiling code for SOP/DSD/LMS balancing.Alan Mishchenko2014-08-025-0/+465
|
* Changes to the hopelessly limited Verilog parser to skip one-bit bit-ranges, ↵Alan Mishchenko2014-08-021-4/+26
| | | | such as [7:7], which seems to help in some cases.
* Small changes.Alan Mishchenko2014-07-292-3/+4
|
* Adding support for standard-cell mapping.Alan Mishchenko2014-07-285-10/+147
|
* Generating abstraction of standard cell library.Alan Mishchenko2014-07-261-1/+1
|
* Generating abstraction of standard cell library.Alan Mishchenko2014-07-265-0/+397
|
* Generating abstraction of standard cell library.Alan Mishchenko2014-07-258-19/+181
|
* Fixing option 'if -G <num>' after changes.Alan Mishchenko2014-07-253-10/+10
|
* Adding message prefix.Alan Mishchenko2014-07-241-8/+9
|
* Bug fix in 'print_gates' due to the mix-up of the inverter.Alan Mishchenko2014-07-221-1/+1
|
* Undoing previous change to SOP balancing.Alan Mishchenko2014-07-221-6/+6
|
* Small improvement to SOP balancing.Alan Mishchenko2014-07-221-4/+16
|
* Small changes.Alan Mishchenko2014-07-212-36/+43
|
* Adding new command &sopb for resource-aware SOP balancing.Alan Mishchenko2014-07-218-35/+408
|
* Updates and changes to several packages.Alan Mishchenko2014-07-2012-40/+162
|
* Small changes in several packages.Alan Mishchenko2014-07-182-2/+3
|
* Small changes in several packages.Alan Mishchenko2014-07-172-2/+11
|
* Small changes in several packages.Alan Mishchenko2014-07-174-4/+55
|
* Improvements to profiling and printing statistics.Alan Mishchenko2014-07-093-23/+114
|
* Improvements to false path detection.Alan Mishchenko2014-07-091-25/+21
|
* Improvements to false path detection.Alan Mishchenko2014-07-084-28/+352
|
* Experiment with SOP balancing.Alan Mishchenko2014-07-021-1/+20
|
* Compiler warning.Alan Mishchenko2014-07-011-1/+1
|
* Improvements to representation of choices.Alan Mishchenko2014-07-011-144/+0
|
* Improvements to representation of choices.Alan Mishchenko2014-07-0115-66/+259
|
* Changes to align node IDs in Abc_Ntk_t representing a logic network with ↵Alan Mishchenko2014-06-301-14/+12
| | | | Abc_Ntk_t representing an AIG, by skipping object ID number 0 reserved for the constant node.
* Changes to align node IDs in Abc_Ntk_t representing a logic network with ↵Alan Mishchenko2014-06-301-10/+14
| | | | Abc_Ntk_t representing an AIG, by skipping object ID number 0 reserved for the constant node.
* Fix to the problem of not dumping test-vectors in &fftest when the ↵Alan Mishchenko2014-06-301-1/+1
| | | | use-specified test set is complete or when a timeout occurred.
* Changes and improvements to different packages.Alan Mishchenko2014-06-301-0/+25
|
* Changes and improvements to different packages.Alan Mishchenko2014-06-281-1/+1
|
* Changes and improvements to different packages.Alan Mishchenko2014-06-284-7/+76
|
* Changes and improvements to different packages.Alan Mishchenko2014-06-265-18/+60
|
* Improvements to power-aware mapping.Alan Mishchenko2014-06-236-15/+51
|
* Improvements to CNF generation.Alan Mishchenko2014-06-232-1/+10
|
* Improvements to CNF generation.Alan Mishchenko2014-06-232-5/+3
|
* Improvements to CNF generation.Alan Mishchenko2014-06-231-1/+0
|
* Improvements to CNF generation.Alan Mishchenko2014-06-231-1/+1
|
* Improvements to CNF generation.Alan Mishchenko2014-06-2311-20/+2066
|
* Added command &mux_profile.Alan Mishchenko2014-06-222-65/+197
|
* Experiments with balancing.Alan Mishchenko2014-06-225-1/+1067
|
* Added quick GIG parser.Alan Mishchenko2014-06-211-8/+110
|
* Experiments with cofactoring variables.Alan Mishchenko2014-06-203-15/+127
|