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
*
Command to test console colors.
Alan Mishchenko
2014-04-10
1
-0
/
+4
*
Adding command to dump UNSAT core of BMC instance.
Alan Mishchenko
2014-04-07
1
-0
/
+4
*
Implementation of DSD balancing.
Alan Mishchenko
2014-04-06
1
-0
/
+4
*
Preparing new implementation of SOP/DSD balancing in 'if' mapper.
Alan Mishchenko
2014-04-05
1
-0
/
+4
*
Better CEX minimization and renaming of write_counter into write_cex.
Alan Mishchenko
2014-04-04
1
-0
/
+4
*
Experiments with mapping.
Alan Mishchenko
2014-03-22
1
-0
/
+4
*
Experiments with recent ideas.
Alan Mishchenko
2014-03-20
1
-3
/
+7
*
Experiments with cut caching.
Alan Mishchenko
2014-03-20
1
-0
/
+4
*
Experiments with recent ideas.
Alan Mishchenko
2014-03-19
1
-152
/
+0
*
Experiments with recent ideas.
Alan Mishchenko
2014-03-19
1
-0
/
+156
*
Experiments with recent ideas.
Alan Mishchenko
2014-03-18
1
-0
/
+4
*
Adding barrier buffers.
Alan Mishchenko
2014-03-16
1
-0
/
+4
*
Experiments with simulation.
Alan Mishchenko
2014-03-14
1
-0
/
+4
*
Changes to LUT mappers.
Alan Mishchenko
2014-03-08
1
-0
/
+4
*
Experiments with delay fault testing.
Alan Mishchenko
2014-03-04
1
-0
/
+4
*
Changes to LUT mappers.
Alan Mishchenko
2014-02-27
1
-0
/
+4
*
Changes to LUT mappers.
Alan Mishchenko
2014-02-17
1
-0
/
+4
*
Removing unused LMS code.
Alan Mishchenko
2014-02-16
1
-8
/
+0
*
Initial new interpolation code.
Alan Mishchenko
2014-01-28
1
-0
/
+4
*
Structural mapper into structures.
Alan Mishchenko
2013-11-12
1
-0
/
+4
*
False path detection.
Alan Mishchenko
2013-10-31
1
-0
/
+4
*
Specialized induction check.
Alan Mishchenko
2013-10-31
1
-0
/
+4
*
Multi-output property solver.
Alan Mishchenko
2013-10-23
1
-0
/
+4
*
Resubstitution code.
Alan Mishchenko
2013-10-06
1
-0
/
+4
*
Towards better Boolean matching.
Alan Mishchenko
2013-10-05
1
-144
/
+4
*
Experiment with the AIG package.
Alan Mishchenko
2013-10-03
1
-0
/
+144
*
New logic sharing extraction.
Alan Mishchenko
2013-09-29
1
-0
/
+4
*
New logic sharing extraction.
Alan Mishchenko
2013-09-28
1
-0
/
+4
*
Performance balancing command &b.
Alan Mishchenko
2013-09-27
1
-0
/
+4
*
Generation of plain AIG after mapping.
Alan Mishchenko
2013-09-27
1
-0
/
+4
*
New logic sharing extraction.
Alan Mishchenko
2013-09-26
1
-5
/
+1
*
Improving DAG-aware unmapping.
Alan Mishchenko
2013-09-25
1
-0
/
+4
*
Infrastructure to support full Liberty format and unitification of library re...
Alan Mishchenko
2013-09-15
1
-2
/
+10
*
Updates for the new BMC engine.
Alan Mishchenko
2013-09-10
1
-0
/
+4
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-09
1
-0
/
+4
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-07
1
-0
/
+4
*
Updates for the new BMC engine.
Alan Mishchenko
2013-09-05
1
-0
/
+4
*
Adding interpolant computation sat_solver2.
Alan Mishchenko
2013-09-05
1
-0
/
+4
*
Enabling additional matching feature in the LUT mapper.
Alan Mishchenko
2013-08-12
1
-0
/
+4
*
Integrated buffering and sizing.
Alan Mishchenko
2013-08-08
1
-0
/
+4
*
SAT solver with dynamic CNF loading.
Alan Mishchenko
2013-08-01
1
-0
/
+4
*
Improved buffering.
Alan Mishchenko
2013-07-29
1
-4
/
+0
*
Improved gate-sizing.
Alan Mishchenko
2013-07-29
1
-0
/
+4
*
Restructuring gate-sizing code trying to separate timing analysis.
Alan Mishchenko
2013-07-21
1
-4
/
+8
*
Added command 'dnsize' to complement command 'upsize'.
Alan Mishchenko
2013-07-20
1
-0
/
+4
*
New technology mapper.
Alan Mishchenko
2013-07-17
1
-0
/
+4
*
New technology mapper.
Alan Mishchenko
2013-07-13
1
-0
/
+8
*
New technology mapper.
Alan Mishchenko
2013-07-12
1
-8
/
+52
*
Adding commands 'bm2' and 'saucy3' developed by Hadi Katebi, Igor Markov, and...
Alan Mishchenko
2013-07-01
1
-0
/
+4
*
Unifying representation of mapping in GIA.
Alan Mishchenko
2013-06-25
1
-4
/
+0
[next]