summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abc.c
Commit message (Expand)AuthorAgeFilesLines
* Bug fix in transferring timing info.Alan Mishchenko2014-09-091-5/+5
* Added command 'move_names'.Alan Mishchenko2014-08-281-1/+1
* Added command 'move_names'.Alan Mishchenko2014-08-281-0/+79
* Tuning LUT mapping flow.Alan Mishchenko2014-08-281-0/+1
* Tuning LUT mapping flow.Alan Mishchenko2014-08-271-1/+1
* Tuning LUT mapping flow.Alan Mishchenko2014-08-271-0/+135
* Improvements BLIF parser.Alan Mishchenko2014-08-271-2/+2
* Improvements to DSD balancing.Alan Mishchenko2014-08-271-36/+96
* Adding commands to save/load best network.Alan Mishchenko2014-08-261-7/+162
* Improving GIA interfaces for some procedures.Alan Mishchenko2014-08-251-1/+1
* Correcting incorrect handling of timing in several &-commands.Alan Mishchenko2014-08-251-0/+116
* Propagating timing support to the new synthesis/mapping commands.Alan Mishchenko2014-08-201-7/+7
* Extended command &cone to extract timing critical cones.Alan Mishchenko2014-08-191-13/+51
* Added command 'sparsify' to derive ISF from CSF.Alan Mishchenko2014-08-181-0/+82
* Changing default CNF generation in &bmc.Alan Mishchenko2014-08-181-1/+1
* Added DSD-based collapsing &dsd.Alan Mishchenko2014-08-161-1/+1
* Added DSD-based collapsing &dsd.Alan Mishchenko2014-08-161-0/+54
* Enabling circuit solver in &fraig.Alan Mishchenko2014-08-121-2/+6
* Bug fix in &fraig -L <num>.Alan Mishchenko2014-08-121-2/+2
* Bug fix in &fraig -L <num>.Alan Mishchenko2014-08-121-2/+2
* Adding delay optimization to synthesis script &syn2.Alan Mishchenko2014-08-081-15/+30
* Enabling cofactoring in the mapper.Alan Mishchenko2014-08-061-2/+22
* Adding support for standard-cell mapping.Alan Mishchenko2014-07-281-0/+5
* Generating abstraction of standard cell library.Alan Mishchenko2014-07-261-0/+189
* Generating abstraction of standard cell library.Alan Mishchenko2014-07-251-9/+14
* Small changes.Alan Mishchenko2014-07-211-7/+9
* Adding new command &sopb for resource-aware SOP balancing.Alan Mishchenko2014-07-211-34/+107
* Updates and changes to several packages.Alan Mishchenko2014-07-201-10/+40
* Small changes in several packages.Alan Mishchenko2014-07-171-1/+1
* Improvements to profiling and printing statistics.Alan Mishchenko2014-07-091-6/+16
* Improvements to false path detection.Alan Mishchenko2014-07-081-1/+1
* Improvements to representation of choices.Alan Mishchenko2014-07-011-3/+7
* Changes and improvements to different packages.Alan Mishchenko2014-06-281-1/+1
* Changes and improvements to different packages.Alan Mishchenko2014-06-281-6/+16
* Changes and improvements to different packages.Alan Mishchenko2014-06-261-0/+3
* Improvements to power-aware mapping.Alan Mishchenko2014-06-231-7/+16
* Improvements to CNF generation.Alan Mishchenko2014-06-231-1/+18
* Added command &mux_profile.Alan Mishchenko2014-06-221-0/+43
* Experiments with balancing.Alan Mishchenko2014-06-221-0/+80
* New tools for profiling verification miters.Alan Mishchenko2014-06-201-2/+62
* Added delay-oriented balancing to unmapping in &st.Alan Mishchenko2014-06-191-1/+14
* Various changes to enable better CNF generation.Alan Mishchenko2014-06-171-0/+193
* Added transformation of CEX after 'fix_aig' and checking of transformed CEXes...Alan Mishchenko2014-06-171-24/+38
* Bug fix in CEC generation after rarity simulation and few small changes.Alan Mishchenko2014-06-161-5/+9
* Adding support of multi-output problems in &splitprove.Alan Mishchenko2014-06-151-1/+25
* Updates and bug fixes.Alan Mishchenko2014-06-151-2/+14
* Adding more features to the synthesis script &syn2.Alan Mishchenko2014-06-141-7/+35
* Specializing some truth-table functions to 6 inputs.Alan Mishchenko2014-06-141-20/+15
* Various modifications.Alan Mishchenko2014-06-121-22/+47
* Enabling switching activity.Alan Mishchenko2014-06-121-2/+6
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-17 23:10:19 +0000