Skip to content

A
abc
Switch branch/tag
Find file
Normal viewHistoryPermalink
module.make 2.66 KB
Newer Older
User-controlable SAT sweeper and other small changes.
a27a7bc8
 
Alan Mishchenko committed
1 
SRC +=    src/aig/gia/giaAig.c \
Experiment with the AIG package.
6132d7cb
 
Alan Mishchenko committed
2 
    src/aig/gia/giaAgi.c \
Version abc90215
0871bffa
 
Alan Mishchenko committed
3 
    src/aig/gia/giaAiger.c \
Unifification of custom extensions.
2575a5d6
 
Alan Mishchenko committed
4 
    src/aig/gia/giaAigerExt.c \
Code restructuring.
e033a622
 
Alan Mishchenko committed
5 6 7 
    src/aig/gia/giaBalAig.c \
    src/aig/gia/giaBalLut.c \
    src/aig/gia/giaBalMap.c \
initial commit of public abc
6130e39b
 
Alan Mishchenko committed
8 
    src/aig/gia/giaBidec.c \
Backward reachability using circuit cofactoring.
aec5d338
 
Alan Mishchenko committed
9 
    src/aig/gia/giaCCof.c \
Added generation of values of internal nodes for GIA manager.
a8e59b2c
 
Alan Mishchenko committed
10 
    src/aig/gia/giaCex.c \
Added DSD-based collapsing &dsd.
18ed4d34
 
Alan Mishchenko committed
11 
    src/aig/gia/giaClp.c \
Version abc90215
0871bffa
 
Alan Mishchenko committed
12 
    src/aig/gia/giaCof.c \
Started PO partitioning command.
69dd1337
 
Alan Mishchenko committed
13 
    src/aig/gia/giaCone.c \
Version abc90405
e3e2918e
 
Alan Mishchenko committed
14 
    src/aig/gia/giaCSatOld.c \
Version abc90329
23fd1103
 
Alan Mishchenko committed
15 
    src/aig/gia/giaCSat.c \
Experiments with circuit-based SAT.
5158acb1
 
Alan Mishchenko committed
16 
    src/aig/gia/giaCSat2.c \
Version abc90714
0398ced8
 
Alan Mishchenko committed
17 
    src/aig/gia/giaCTas.c \
Adding stand-alone cut computation to GIA.
70b11df9
 
Alan Mishchenko committed
18 
    src/aig/gia/giaCut.c \
Forgot to update module make when adding giaDeep.c
c4b12fae
 
Alan Mishchenko committed
19 
    src/aig/gia/giaDeep.c \
Version abc90215
0871bffa
 
Alan Mishchenko committed
20 21 
    src/aig/gia/giaDfs.c \
    src/aig/gia/giaDup.c \
Supporting edge information during mapping.
b31b6fec
 
Alan Mishchenko committed
22 
    src/aig/gia/giaEdge.c \
Version abc90217
28d4f869
 
Alan Mishchenko committed
23 
    src/aig/gia/giaEmbed.c \
Version abc90310
32314347
 
Alan Mishchenko committed
24 25 
    src/aig/gia/giaEnable.c \
    src/aig/gia/giaEquiv.c \
Version abc90528
70697f86
 
Alan Mishchenko committed
26 
    src/aig/gia/giaEra.c \
Version abc90901
51a646a3
 
Alan Mishchenko committed
27 
    src/aig/gia/giaEra2.c \
Command &esop to convert AIG into ESOP.
d0a0cf63
 
Alan Mishchenko committed
28 
    src/aig/gia/giaEsop.c \
Improvements to AIG-based quantification.
c681506b
 
Alan Mishchenko committed
29 
    src/aig/gia/giaExist.c \
False path detection.
313caa45
 
Alan Mishchenko committed
30 
    src/aig/gia/giaFalse.c \
Version abc90215
0871bffa
 
Alan Mishchenko committed
31 32 33 34 
    src/aig/gia/giaFanout.c \
    src/aig/gia/giaForce.c \
    src/aig/gia/giaFrames.c \
    src/aig/gia/giaFront.c \
New logic sharing extraction.
62439be8
 
Alan Mishchenko committed
35 
    src/aig/gia/giaFx.c \
Adding commands to generate data for experiments.
3c586f88
 
Alan Mishchenko committed
36 
    src/aig/gia/giaGen.c \
Added quick GIG parser.
f04d3273
 
Alan Mishchenko committed
37 
    src/aig/gia/giaGig.c \
Version abc90215
0871bffa
 
Alan Mishchenko committed
38 39 
    src/aig/gia/giaGlitch.c \
    src/aig/gia/giaHash.c \
initial commit of public abc
6130e39b
 
Alan Mishchenko committed
40 
    src/aig/gia/giaIf.c \
Structural mapper into structures.
4e00ec61
 
Alan Mishchenko committed
41 
    src/aig/gia/giaIff.c \
Experiment with mapping.
b63e3ee4
 
Alan Mishchenko committed
42 
    src/aig/gia/giaIiff.c \
Isomorphism checking code.
a9980135
 
Alan Mishchenko committed
43 
    src/aig/gia/giaIso.c \
Faster isomorphism detection (command &iso).
b94766bc
 
Alan Mishchenko committed
44 
    src/aig/gia/giaIso2.c \
Experiment with new idea for ISO.
fe5b5ffe
 
Alan Mishchenko committed
45 
    src/aig/gia/giaIso3.c \
Improvements to the new technology mapper.
137a7662
 
Alan Mishchenko committed
46 
    src/aig/gia/giaJf.c \
Experiments with mapping.
ace34099
 
Alan Mishchenko committed
47 
    src/aig/gia/giaKf.c \
Various modifications.
93d89eaa
 
Alan Mishchenko committed
48 
    src/aig/gia/giaLf.c \
Various changes to enable better CNF generation.
85e23c84
 
Alan Mishchenko committed
49 
    src/aig/gia/giaMf.c \
Version abc90215
0871bffa
 
Alan Mishchenko committed
50 
    src/aig/gia/giaMan.c \
initial commit of public abc
6130e39b
 
Alan Mishchenko committed
51 
    src/aig/gia/giaMem.c \
Integrating new MFS package with GIA manager.
81086552
 
Alan Mishchenko committed
52 
    src/aig/gia/giaMfs.c \
Reading/writing MiniAIG and several minor changes.
6a49d1f4
 
Alan Mishchenko committed
53 
    src/aig/gia/giaMini.c \
Multiplexer profiling.
c50c1fc6
 
Alan Mishchenko committed
54 
    src/aig/gia/giaMuxes.c \
Generating abstraction of standard cell library.
704b4bad
 
Alan Mishchenko committed
55 
    src/aig/gia/giaNf.c \
Experiments with LUT structure mapping.
1ba16ff7
 
Alan Mishchenko committed
56 
    src/aig/gia/giaOf.c \
Naive LUT packing algorithm (command &pack).
0e0f2e64
 
Alan Mishchenko committed
57 
    src/aig/gia/giaPack.c \
Version abc90329
23fd1103
 
Alan Mishchenko committed
58 
    src/aig/gia/giaPat.c \
Diabling pin-permutation in &nf mapper.
db6afbea
 
Alan Mishchenko committed
59 
    src/aig/gia/giaPf.c \
Improved QBF solver.
23441c06
 
Alan Mishchenko committed
60 
    src/aig/gia/giaQbf.c \
Resubstitution code.
8a03e530
 
Alan Mishchenko committed
61 
    src/aig/gia/giaResub.c \
Version abc90321
d74d35aa
 
Alan Mishchenko committed
62 
    src/aig/gia/giaRetime.c \
Adding new command &rex2gia.
edf6c137
 
Alan Mishchenko committed
63 
    src/aig/gia/giaRex.c \
Improved algo for edge computation.
1b550cb8
 
Alan Mishchenko committed
64 
    src/aig/gia/giaSatEdge.c \
Experiments with edge-based mapping.
e1b51d18
 
Alan Mishchenko committed
65 
    src/aig/gia/giaSatLE.c \
Adding support for a different bit-blasting of a multiplier and squarer.
390a145f
 
Alan Mishchenko committed
66 
    src/aig/gia/giaSatLut.c \
Experiments with SAT-based mapping.
67f4f1ad
 
Alan Mishchenko committed
67 
    src/aig/gia/giaSatMap.c \
New command &satoko.
de4bf41c
 
Alan Mishchenko committed
68 
    src/aig/gia/giaSatoko.c \
Clone of the main SAT solver to eneable independent work.
4cf046c9
 
Alan Mishchenko committed
69 
    src/aig/gia/giaSat3.c \
Version abc90215
0871bffa
 
Alan Mishchenko committed
70 
    src/aig/gia/giaScl.c \
Code restructuring.
e033a622
 
Alan Mishchenko committed
71 
    src/aig/gia/giaScript.c \
Enabling native Gia visualization in &show.
d53161a7
 
Alan Mishchenko committed
72 
    src/aig/gia/giaShow.c \
initial commit of public abc
6130e39b
 
Alan Mishchenko committed
73 
    src/aig/gia/giaShrink.c \
Shrink for 6-LUTs.
2650f945
 
Alan Mishchenko committed
74 
    src/aig/gia/giaShrink6.c \
Improving DAG-aware unmapping.
53165710
 
Alan Mishchenko committed
75 
    src/aig/gia/giaShrink7.c \
Version abc90215
0871bffa
 
Alan Mishchenko committed
76 
    src/aig/gia/giaSim.c \
Cumulative changes in the last few weeks.
ae4b5135
 
Alan Mishchenko committed
77 
    src/aig/gia/giaSim2.c \
Experiments with simulation.
5a118446
 
Alan Mishchenko committed
78 
    src/aig/gia/giaSim4.c \
Adding commands to generate data for experiments.
d1f10f32
 
Alan Mishchenko committed
79 
    src/aig/gia/giaSim5.c \
Experimental simulation based code.
081afc3f
 
Alan Mishchenko committed
80 
    src/aig/gia/giaSimBase.c \
Version abc90220
c03f9b51
 
Alan Mishchenko committed
81 
    src/aig/gia/giaSort.c \
initial commit of public abc
6130e39b
 
Alan Mishchenko committed
82 
    src/aig/gia/giaSpeedup.c \
Windowing for technology mapping.
31430043
 
Alan Mishchenko committed
83 
    src/aig/gia/giaSplit.c \
Adding STG generation (&era -d) and STG encoding (&read_stg <file>).
59fe3268
 
Alan Mishchenko committed
84 
    src/aig/gia/giaStg.c \
Changes and improvements to different packages.
933b7496
 
Alan Mishchenko committed
85 
    src/aig/gia/giaStr.c \
initial commit of public abc
6130e39b
 
Alan Mishchenko committed
86 
    src/aig/gia/giaSupMin.c \
Experiments with support minimization.
1faab72a
 
Alan Mishchenko committed
87 
    src/aig/gia/giaSupp.c \
Integrating sweeping information.
cda61cb2
 
Alan Mishchenko committed
88 
    src/aig/gia/giaSweep.c \
User-controlable SAT sweeper.
fe3b2e25
 
Alan Mishchenko committed
89 
    src/aig/gia/giaSweeper.c \
Version abc90215
0871bffa
 
Alan Mishchenko committed
90 
    src/aig/gia/giaSwitch.c \
Integration of timing manager.
930369f3
 
Alan Mishchenko committed
91 
    src/aig/gia/giaTim.c \
Exploration of MFFCs.
8de7816d
 
Alan Mishchenko committed
92 
    src/aig/gia/giaTis.c \
Separated truth table computation for GIA manager and added new procedures.
b612db97
 
Alan Mishchenko committed
93 
    src/aig/gia/giaTruth.c \
Version abc90215
0871bffa
 
Alan Mishchenko committed
94 
    src/aig/gia/giaTsim.c \
Code for structural unateness checking.
1e5d826c
 
Alan Mishchenko committed
95 
    src/aig/gia/giaUnate.c \
Version abc90215
0871bffa
 
Alan Mishchenko committed
96 
    src/aig/gia/giaUtil.c