index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
abclib.dsp
Commit message (
Expand
)
Author
Age
Files
Lines
*
Parser for JSON format.
Alan Mishchenko
2016-10-25
1
-0
/
+8
*
Code for profiling arithmetic circuits.
Alan Mishchenko
2016-10-21
1
-0
/
+4
*
Experimental code for polynomial construction.
Alan Mishchenko
2016-09-05
1
-0
/
+4
*
Experimental code for polynomial construction.
Alan Mishchenko
2016-09-03
1
-0
/
+8
*
Updates to arithmetic verification.
Alan Mishchenko
2016-08-05
1
-0
/
+4
*
Adding new command 'dump_equiv'.
Alan Mishchenko
2016-07-21
1
-0
/
+4
*
Fix in reading initial state for edge-detection.
Alan Mishchenko
2016-07-19
1
-0
/
+4
*
New multi-output PLA reader and preprocessor (read_plamo).
Alan Mishchenko
2016-06-16
1
-0
/
+4
*
Experiments with edge-based mapping.
Alan Mishchenko
2016-06-15
1
-0
/
+4
*
Detecting properties of internal nodes.
Alan Mishchenko
2016-06-07
1
-0
/
+4
*
New feature for area minimization in standard cell mapping.
Alan Mishchenko
2016-05-19
1
-0
/
+4
*
Experiments with generating sat assignments.
Alan Mishchenko
2016-05-15
1
-0
/
+4
*
New command 'expand' to expand SOPs against the offset.
Alan Mishchenko
2016-05-12
1
-0
/
+4
*
Cosmetic changes after incorporating new code of 'fxch'.
Alan Mishchenko
2016-05-11
1
-4
/
+24
*
Experiments with CEC for arithmetic circuits.
Alan Mishchenko
2016-05-07
1
-8
/
+32
*
Experiments with arithmetic circuits.
Alan Mishchenko
2016-04-28
1
-0
/
+4
*
Improved algo for edge computation.
Alan Mishchenko
2016-04-22
1
-0
/
+4
*
Added Exorcism package, reading ESOP (read_pla -x file.esop) and deriving AIG...
Alan Mishchenko
2016-04-11
1
-0
/
+32
*
Command &esop to convert AIG into ESOP.
Alan Mishchenko
2016-04-09
1
-0
/
+4
*
Supporting edge information during mapping.
Alan Mishchenko
2016-04-06
1
-0
/
+4
*
Enabling native Gia visualization in &show.
Alan Mishchenko
2016-04-03
1
-0
/
+4
*
Windowing for technology mapping.
Alan Mishchenko
2016-03-29
1
-0
/
+4
*
Adding support for a different bit-blasting of a multiplier and squarer.
Alan Mishchenko
2016-02-13
1
-0
/
+4
*
Experiments with SAT-based mapping.
Alan Mishchenko
2016-02-07
1
-0
/
+4
*
Small changes to sort for timing.
Alan Mishchenko
2016-01-24
1
-0
/
+4
*
Extending and improving timing manager.
Alan Mishchenko
2015-11-08
1
-1
/
+5
*
Changes to VC6.0 makefile to accommodate new package 'opt/fret' and compiler ...
Alan Mishchenko
2015-10-28
1
-0
/
+24
*
Moving BDD-based threshold function detection to the BDD part of the code.
Alan Mishchenko
2015-10-16
1
-4
/
+4
*
Experiments with precomputation and matching.
Alan Mishchenko
2015-10-15
1
-0
/
+4
*
Experiments with functional matching.
Alan Mishchenko
2015-10-05
1
-0
/
+4
*
Experiments with functional matching.
Alan Mishchenko
2015-10-03
1
-0
/
+4
*
Naive LUT packing algorithm (command &pack).
Alan Mishchenko
2015-09-30
1
-0
/
+4
*
Experiments with LUT structure mapping.
Alan Mishchenko
2015-09-27
1
-0
/
+4
*
Adding new command &rex2gia.
Alan Mishchenko
2015-09-22
1
-0
/
+4
*
New constraint manager and memory reporting 'ps'.
Alan Mishchenko
2015-09-08
1
-0
/
+4
*
Experiments with SAT-based collapsing.
Alan Mishchenko
2015-09-03
1
-0
/
+4
*
Changes to be able to compile ABC without CUDD.
Alan Mishchenko
2015-08-24
1
-158
/
+158
*
Changes to be able to compile ABC without CUDD.
Alan Mishchenko
2015-08-24
1
-196
/
+188
*
Renaming Cba into Bac.
Alan Mishchenko
2015-07-21
1
-3
/
+3
*
Renaming Cba into Bac.
Alan Mishchenko
2015-07-21
1
-29
/
+81
*
Sequential word-level simulator for Wlc_Ntk_t.
Alan Mishchenko
2015-06-04
1
-0
/
+4
*
Scalable SOP manipulation package.
Alan Mishchenko
2015-03-23
1
-0
/
+8
*
Scalable SOP manipulation package.
Alan Mishchenko
2015-03-18
1
-0
/
+32
*
Experiments with SAT-based cube enumeration.
Alan Mishchenko
2015-03-05
1
-0
/
+4
*
Experiments with cube hashing.
Alan Mishchenko
2015-02-20
1
-0
/
+4
*
Modifications to read SMTLIB file from stdin.
Alan Mishchenko
2015-02-18
1
-0
/
+4
*
Several improvements to CBA data-structure.
Alan Mishchenko
2015-02-16
1
-0
/
+4
*
Diabling pin-permutation in &nf mapper.
Alan Mishchenko
2015-02-08
1
-0
/
+4
*
Added SMT parser for Wlc_Ntk_t.
Alan Mishchenko
2015-02-07
1
-0
/
+4
*
Adding binary dump to CBA.
Alan Mishchenko
2015-02-05
1
-0
/
+12
[next]