index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
aig
/
gia
/
module.make
Commit message (
Collapse
)
Author
Age
Files
Lines
*
Command &esop to convert AIG into ESOP.
Alan Mishchenko
2016-04-09
1
-0
/
+1
|
*
Supporting edge information during mapping.
Alan Mishchenko
2016-04-06
1
-0
/
+1
|
*
Enabling native Gia visualization in &show.
Alan Mishchenko
2016-04-03
1
-0
/
+1
|
*
Windowing for technology mapping.
Alan Mishchenko
2016-03-29
1
-0
/
+1
|
*
Adding support for a different bit-blasting of a multiplier and squarer.
Alan Mishchenko
2016-02-13
1
-0
/
+1
|
*
Experiments with SAT-based mapping.
Alan Mishchenko
2016-02-07
1
-0
/
+1
|
*
Naive LUT packing algorithm (command &pack).
Alan Mishchenko
2015-09-30
1
-0
/
+1
|
*
Experiments with LUT structure mapping.
Alan Mishchenko
2015-09-27
1
-0
/
+1
|
*
Adding new command &rex2gia.
Alan Mishchenko
2015-09-22
1
-0
/
+1
|
*
Diabling pin-permutation in &nf mapper.
Alan Mishchenko
2015-02-08
1
-0
/
+1
|
*
Detecting full-adder chains and putting them into white boxes.
Alan Mishchenko
2014-11-09
1
-0
/
+1
|
*
Improved QBF solver.
Alan Mishchenko
2014-10-18
1
-0
/
+1
|
*
Code restructuring.
Alan Mishchenko
2014-09-16
1
-3
/
+4
|
*
Added DSD-based collapsing &dsd.
Alan Mishchenko
2014-08-16
1
-0
/
+1
|
*
Generating abstraction of standard cell library.
Alan Mishchenko
2014-07-26
1
-0
/
+1
|
*
Adding new command &sopb for resource-aware SOP balancing.
Alan Mishchenko
2014-07-21
1
-0
/
+1
|
*
Changes and improvements to different packages.
Alan Mishchenko
2014-06-28
1
-0
/
+1
|
*
Experiments with balancing.
Alan Mishchenko
2014-06-22
1
-0
/
+1
|
*
Added quick GIG parser.
Alan Mishchenko
2014-06-19
1
-0
/
+1
|
*
Various changes to enable better CNF generation.
Alan Mishchenko
2014-06-17
1
-0
/
+1
|
*
Various modifications.
Alan Mishchenko
2014-06-10
1
-0
/
+1
|
*
Experiment with new idea for ISO.
Alan Mishchenko
2014-05-21
1
-0
/
+1
|
*
Exploration of MFFCs.
Alan Mishchenko
2014-04-26
1
-0
/
+1
|
*
Experiments with mapping.
Alan Mishchenko
2014-03-22
1
-0
/
+1
|
*
Structural mapper into structures.
Alan Mishchenko
2013-11-12
1
-0
/
+1
|
*
False path detection.
Alan Mishchenko
2013-10-31
1
-0
/
+1
|
*
Resubstitution code.
Alan Mishchenko
2013-10-06
1
-0
/
+1
|
*
Experiment with the AIG package.
Alan Mishchenko
2013-10-03
1
-0
/
+1
|
*
New logic sharing extraction.
Alan Mishchenko
2013-09-29
1
-0
/
+1
|
*
Performance balancing command &b.
Alan Mishchenko
2013-09-27
1
-0
/
+1
|
*
Improving DAG-aware unmapping.
Alan Mishchenko
2013-09-25
1
-0
/
+1
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-07
1
-0
/
+1
|
*
New technology mapper.
Alan Mishchenko
2013-07-12
1
-1
/
+0
|
*
Unifying representation of mapping in GIA.
Alan Mishchenko
2013-06-25
1
-1
/
+0
|
*
Integrating new MFS package with GIA manager.
Alan Mishchenko
2013-06-04
1
-0
/
+1
|
*
Multiplexer profiling.
Alan Mishchenko
2013-05-27
1
-0
/
+1
|
*
Reading/writing MiniAIG and several minor changes.
Alan Mishchenko
2013-05-03
1
-0
/
+1
|
*
Faster isomorphism detection (command &iso).
Alan Mishchenko
2013-05-01
1
-0
/
+1
|
*
Shrink for 6-LUTs.
Alan Mishchenko
2013-03-31
1
-0
/
+1
|
*
User-controlable SAT sweeper and other small changes.
Alan Mishchenko
2013-02-27
1
-2
/
+1
|
*
User-controlable SAT sweeper.
Alan Mishchenko
2013-02-25
1
-0
/
+1
|
*
Started PO partitioning command.
Alan Mishchenko
2013-02-24
1
-0
/
+1
|
*
Adding STG generation (&era -d) and STG encoding (&read_stg <file>).
Alan Mishchenko
2013-02-19
1
-0
/
+1
|
*
Integrating sweeping information.
Alan Mishchenko
2013-02-18
1
-0
/
+1
|
*
Integration of timing manager.
Alan Mishchenko
2013-02-03
1
-0
/
+1
|
*
Technology mapper.
Alan Mishchenko
2013-01-08
1
-0
/
+1
|
*
Unifification of custom extensions.
Alan Mishchenko
2012-12-10
1
-0
/
+1
|
*
Isolating BMC code into a separate package.
Alan Mishchenko
2012-11-14
1
-1
/
+0
|
*
Combined old reparametrization command with the new one.
Alan Mishchenko
2012-10-02
1
-1
/
+0
|
*
Separated truth table computation for GIA manager and added new procedures.
Alan Mishchenko
2012-10-02
1
-0
/
+1
|
[next]