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 (
Collapse
)
Author
Age
Files
Lines
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-12
1
-0
/
+4
|
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-11
1
-0
/
+4
|
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-10
1
-0
/
+4
|
*
Updates to delay optimization project.
Alan Mishchenko
2017-01-02
1
-0
/
+4
|
*
Updates to delay optimization project.
Alan Mishchenko
2017-01-01
1
-0
/
+4
|
*
Updates to delay optimization project.
Alan Mishchenko
2016-12-27
1
-0
/
+4
|
*
Updates to delay optimization project.
Alan Mishchenko
2016-12-25
1
-0
/
+4
|
*
Several changes in arithmetic circuit manipulation.
Alan Mishchenko
2016-12-22
1
-0
/
+4
|
*
Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.
Alan Mishchenko
2016-12-13
1
-0
/
+48
|
*
Adding support for minimalistic representation of LUT mapping.
Alan Mishchenko
2016-12-05
1
-0
/
+4
|
*
Changes to arithmetic logic detection.
Alan Mishchenko
2016-12-02
1
-0
/
+12
|
*
New command to profile arithmetic logic cones.
Alan Mishchenko
2016-11-26
1
-0
/
+4
|
*
New SAT-based optimization package.
Alan Mishchenko
2016-11-17
1
-0
/
+32
|
*
Fixed several compiler warnings.
Alan Mishchenko
2016-11-17
1
-0
/
+12
|
*
Isolating CBA types into a separate header.
Alan Mishchenko
2016-11-07
1
-0
/
+4
|
*
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 ↵
Alan Mishchenko
2016-04-11
1
-0
/
+32
|
|
|
|
AIG (cubes -x; st).
*
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
|
|
|
|
warnings.
*
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
|
[next]