summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abc.c
Commit message (Expand)AuthorAgeFilesLines
* Initial changes to enable gate-level abstraction.Alan Mishchenko2011-09-221-14/+205
* Added limit on the number of flops to add in one iteration of &abs_refine.Alan Mishchenko2011-09-121-11/+24
* Added limit on the number of flops to add in one iteration of &abs_cba.Alan Mishchenko2011-09-111-2/+14
* Added timeout to &abc_pba.Alan Mishchenko2011-09-021-4/+17
* Change 'testcex' to modify the PO number.Alan Mishchenko2011-08-271-2/+2
* Sequential cleanup with symbolic/ternary simulation.Alan Mishchenko2011-08-251-2/+2
* Sequential cleanup with symbolic/ternary simulation.Alan Mishchenko2011-08-251-8/+8
* Sequential cleanup with symbolic/ternary simulation.Alan Mishchenko2011-08-241-16/+49
* Experiments with SPFD-based decomposition.Alan Mishchenko2011-08-211-8/+7
* Experiments with SPFD-based decomposition + new K-map print-out.Alan Mishchenko2011-08-201-1/+5
* Bug fix in CBA and PBA.Alan Mishchenko2011-08-181-6/+24
* Bug fix in CBA and PBA.Alan Mishchenko2011-08-171-3/+11
* Added switch '-t' to 'miter' to create regular miter from dual-output miter.Alan Mishchenko2011-08-141-3/+23
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-08-061-5/+20
* Enabled saving vector of counter-examples in the ABC framework.Alan Mishchenko2011-08-021-3/+34
* Changes to enable CEX minimization.Alan Mishchenko2011-08-011-2/+3
* Changes to enable CEX minimization.Alan Mishchenko2011-08-011-78/+193
* Minor bug fix in 'testcex'.Alan Mishchenko2011-07-311-0/+6
* Changes to enable smarter simulation (bug fix).Alan Mishchenko2011-07-301-0/+10
* Changes to enable smarter simulation.Alan Mishchenko2011-07-301-1/+7
* Added generation of counter-examples to induction in 'ind'.Alan Mishchenko2011-07-301-4/+15
* Changes to enable smarter simulation.Alan Mishchenko2011-07-301-4/+4
* Changes to enable smarter simulation.Alan Mishchenko2011-07-301-21/+191
* Changes to enable smarter simulation.Alan Mishchenko2011-07-301-6/+5
* Improving and updating the abstraction code.Alan Mishchenko2011-07-291-4/+1
* Added deriving abstraction in GIA from the precomputed flop map.Alan Mishchenko2011-07-291-2/+7
* Improving and updating the abstraction code.Alan Mishchenko2011-07-291-376/+171
* Adding procedures to find the care bits of a counter-example (update).Alan Mishchenko2011-07-271-3/+16
* Adding procedures to find the care bits of a counter-example (update).Alan Mishchenko2011-07-251-1/+1
* Adding procedures to find the care bits of a counter-example.Alan Mishchenko2011-07-251-4/+3
* Adding &equiv3, a new way of refining equivalence classes.Alan Mishchenko2011-07-221-1/+143
* Changes to enable smarter simulation.Alan Mishchenko2011-07-211-11/+142
* New demitering features.Alan Mishchenko2011-07-201-6/+10
* Added switch to PDR to disable expensive generalization step.Alan Mishchenko2011-07-131-2/+6
* Added equivalence class computation for flop outputs only in &equiv2.Alan Mishchenko2011-07-131-4/+9
* Other changes to enable new features in the mapper.Alan Mishchenko2011-07-101-2/+6
* Added a new demitering feature for dual-output miters.Alan Mishchenko2011-07-021-5/+32
* Added another specialized check to the mapper.Alan Mishchenko2011-06-271-12/+25
* Updated 'iprove' to generate seq CEX when CEC fails (small fix).Alan Mishchenko2011-06-251-1/+0
* Updated 'iprove' to generate seq CEX when CEC fails.Alan Mishchenko2011-06-251-0/+7
* Added new mapping feature.Alan Mishchenko2011-06-201-2/+22
* Added permute/unpermute.Alan Mishchenko2011-06-201-2/+2
* Added permute/unpermute.Alan Mishchenko2011-06-201-0/+116
* Disabled duplication of the network while removing POs in 'zeropo'.Alan Mishchenko2011-06-151-4/+5
* Added command &filter to filter equiv classes.Alan Mishchenko2011-06-151-1/+80
* Disabled duplication of the network while removing POs in 'removepo'.Alan Mishchenko2011-06-141-4/+5
* Adding command 'srm2' (additional feature).Alan Mishchenko2011-06-081-4/+13
* Adding command 'srm2'.Alan Mishchenko2011-06-081-1/+2
* Adding command 'srm2'.Alan Mishchenko2011-06-081-0/+91
* Adding command 'removepo'.Alan Mishchenko2011-06-031-0/+77
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-19 07:48:33 +0000