summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
Commit message (Expand)AuthorAgeFilesLines
* Experiments with edge-based mapping.Alan Mishchenko2016-06-153-3/+882
* Improvement to CNF encoding of cardinality constraints proposed by Mathias So...Alan Mishchenko2016-06-071-0/+6
* Small changes for today's experiments.Alan Mishchenko2016-06-033-7/+16
* Enabling AIGs without structural hashing (&get -c to import logic network).Alan Mishchenko2016-05-202-10/+13
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-202-2/+2
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-206-18/+29
* Switch &miter -y to convert a two-word miter into a dual-output miter.Alan Mishchenko2016-05-202-0/+32
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-205-19/+25
* Bug fix in &demiter.Alan Mishchenko2016-05-161-16/+9
* Factoring out library preprocessing code in &nf and putting it elsewhere.Alan Mishchenko2016-05-161-34/+25
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-114-2/+9
* Invalidate packing after mapping is updated.Alan Mishchenko2016-05-091-0/+1
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-082-12/+225
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-0710-1692/+444
* Update to &show to show AIGs with XORs and MUXes (derived by &st -m).Alan Mishchenko2016-05-041-0/+1
* Update to &show to show AIGs with XORs and MUXes (derived by &st -m).Alan Mishchenko2016-05-041-2/+28
* Updating GIG parser.Alan Mishchenko2016-05-011-180/+384
* Fanout restriction in &edge.Alan Mishchenko2016-04-301-11/+33
* Experiments with arithmetic circuits.Alan Mishchenko2016-04-282-0/+290
* Adding option to rehash AIG after mapping.Alan Mishchenko2016-04-2710-18/+16
* Extending &satlut to work for 6-LUTs.Alan Mishchenko2016-04-271-4/+11
* Using seed assignment of edges in &edge.Alan Mishchenko2016-04-273-2/+17
* Improved algo for edge computation.Alan Mishchenko2016-04-241-1/+1
* Improved algo for edge computation.Alan Mishchenko2016-04-242-7/+90
* Improved algo for edge computation.Alan Mishchenko2016-04-231-48/+58
* Improved algo for edge computation.Alan Mishchenko2016-04-226-7/+430
* Experimental algorithm for edge optimization.Alan Mishchenko2016-04-134-1/+360
* Added Exorcism package, reading ESOP (read_pla -x file.esop) and deriving AIG...Alan Mishchenko2016-04-111-10/+45
* Supporting edge information during mapping.Alan Mishchenko2016-04-117-43/+57
* Command &esop to convert AIG into ESOP.Alan Mishchenko2016-04-092-0/+507
* Adding hashing of windows in &satlut.Alan Mishchenko2016-04-071-3/+19
* Adding AIG rehashing after LUT mapping in Gia.Alan Mishchenko2016-04-074-6/+69
* Supporting edges in delay-optimization in &satlut.Alan Mishchenko2016-04-071-17/+44
* Supporting edges in delay-optimization in &satlut.Alan Mishchenko2016-04-074-20/+231
* Supporting edges in delay-optimization in &satlut.Alan Mishchenko2016-04-076-145/+501
* Supporting edge information during mapping.Alan Mishchenko2016-04-065-0/+295
* Improvements to delay-optimization in &satlut.Alan Mishchenko2016-04-043-110/+207
* Improvements to delay-optimization in &satlut.Alan Mishchenko2016-04-041-150/+249
* Improvements to delay-optimization in &satlut.Alan Mishchenko2016-04-043-18/+97
* Improvements to delay-optimization in &satlut.Alan Mishchenko2016-04-032-79/+303
* Enabling native Gia visualization in &show.Alan Mishchenko2016-04-033-2/+376
* Windowing for technology mapping.Alan Mishchenko2016-03-307-183/+450
* Windowing for technology mapping.Alan Mishchenko2016-03-295-13/+432
* Procedure to check inductive invariant for Gia package.Alan Mishchenko2016-03-211-0/+61
* Adding support for a different bit-blasting of a multiplier and squarer.Alan Mishchenko2016-02-133-1/+572
* Experiments with SAT-based mapping.Alan Mishchenko2016-02-082-94/+175
* Experiments with SAT-based mapping.Alan Mishchenko2016-02-073-0/+631
* New command to dump LUT network.Alan Mishchenko2016-01-163-0/+135
* Experiments with SAT-based mapping.Alan Mishchenko2016-01-141-50/+83
* Experiments with SAT-based mapping.Alan Mishchenko2016-01-101-0/+155
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 20:07:19 +0000