summaryrefslogtreecommitdiffstats
path: root/src/base
Commit message (Collapse)AuthorAgeFilesLines
* Adding binary dump to CBA.Alan Mishchenko2015-02-057-11/+394
|
* Improvements and tuning of CBA with buffering/sizing.Alan Mishchenko2015-02-048-57/+65
|
* Esperiments with MO PLA optimization.Alan Mishchenko2015-02-036-47/+308
|
* Bug fix in &nf.Alan Mishchenko2015-02-021-3/+3
|
* Improvements and tuning of CBA.Alan Mishchenko2015-02-012-3/+5
|
* Improvements and tuning of CBA.Alan Mishchenko2015-02-012-9/+9
|
* Improvements and tuning of CBA.Alan Mishchenko2015-02-011-4/+0
|
* Improvements and tuning of CBA.Alan Mishchenko2015-02-016-60/+61
|
* Improvements and tuning of CBA.Alan Mishchenko2015-02-013-12/+31
|
* Compiler warnings.Alan Mishchenko2015-01-313-3/+4
|
* Compiler warnings.Alan Mishchenko2015-01-313-2/+2
|
* Compiler warnings.Alan Mishchenko2015-01-314-66/+66
|
* Major rehash of the CBA code.Alan Mishchenko2015-01-3117-2777/+3371
|
* Preprocessing for multi-output PLA tables.Alan Mishchenko2015-01-311-17/+17
|
* Preprocessing for multi-output PLA tables.Alan Mishchenko2015-01-311-3/+1
|
* Preprocessing for multi-output PLA tables.Alan Mishchenko2015-01-311-19/+93
|
* Preprocessing for multi-output PLA tables.Alan Mishchenko2015-01-311-22/+93
|
* Preprocessing for multi-output PLA tables.Alan Mishchenko2015-01-311-45/+61
|
* Preprocessing for multi-output PLA tables.Alan Mishchenko2015-01-311-0/+124
|
* Several ongoing changes.Alan Mishchenko2015-01-261-1/+1
|
* Several ongoing changes.Alan Mishchenko2015-01-264-18/+155
|
* Outputting initial state in Wlc_Ntk_t.Alan Mishchenko2015-01-261-28/+25
|
* Outputting initial state in Wlc_Ntk_t.Alan Mishchenko2015-01-254-20/+71
|
* Fix in deriving the init values for Wlc_Ntk_t.Alan Mishchenko2015-01-221-0/+2
|
* Bug fix in &cone (not able to extract the last PO).Alan Mishchenko2015-01-221-1/+1
|
* Support of init-state in AIGs derived from word-level designs in Wlc_Ntk_t.Alan Mishchenko2015-01-212-2/+2
|
* Support of init-state in AIGs derived from word-level designs in Wlc_Ntk_t.Alan Mishchenko2015-01-214-7/+72
|
* Organizing commands for barbuf-aware flow.Alan Mishchenko2015-01-204-17/+52
|
* Word-level extension of Cba_Ntk_t.Alan Mishchenko2015-01-187-36/+91
|
* Several small bug fixes.Alan Mishchenko2015-01-172-2/+8
|
* Organizing commands for barbuf-aware flow.Alan Mishchenko2015-01-1711-144/+395
|
* Compiler warnings.Alan Mishchenko2015-01-162-3/+2
|
* Organizing commands for barbuf-aware flow.Alan Mishchenko2015-01-1611-163/+606
|
* Various transformations of Cba_Ntk_t.Alan Mishchenko2015-01-155-32/+59
|
* Various transformations of Cba_Ntk_t.Alan Mishchenko2015-01-153-4/+1
|
* Various transformations of Cba_Ntk_t.Alan Mishchenko2015-01-157-442/+467
|
* Various transformations of Cba_Ntk_t.Alan Mishchenko2015-01-139-111/+178
|
* Various transformations of Cba_Ntk_t.Alan Mishchenko2015-01-136-111/+577
|
* Various transformations of Cba_Ntk_t.Alan Mishchenko2015-01-118-371/+692
|
* Changing memory model of Cba_Ntk_t.Alan Mishchenko2015-01-106-65/+53
|
* Implementation of CE extraction for multiple MUXes driving D-inputs of FFs.Alan Mishchenko2015-01-081-50/+50
|
* Returning multiple counter-examples.Alan Mishchenko2015-01-031-2/+4
|
* Gate sizing with barrier buffers.Alan Mishchenko2014-12-213-0/+71
|
* Exprimental features in tech-mapping.Alan Mishchenko2014-12-211-6/+12
|
* Simplifying AIG with barrier buffers.Alan Mishchenko2014-12-194-6/+151
|
* Bug fix in 'testcex' when flop count in the CEX is different from the ↵Alan Mishchenko2014-12-191-1/+1
| | | | network (say, after seq synthesis).
* Bug fix in 'testcex' when flop count in the CEX is different from the ↵Alan Mishchenko2014-12-191-2/+3
| | | | network (say, after seq synthesis).
* Induced bug with in DFS computation.Alan Mishchenko2014-12-161-1/+1
|
* Integrating barrier buffers.Alan Mishchenko2014-12-134-17/+185
|
* Adding relax ratio to &synch2.Alan Mishchenko2014-12-131-4/+17
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-19 22:46:44 +0000