lsoracle

lsoracle:optimizer_reorg

  1. Git
  2. lp:lsoracle
  3. optimizer_reorg
Last commit made on 2022-03-30
Get this branch:
git clone -b optimizer_reorg https://git.launchpad.net/lsoracle

Branch merges

Branch information

Name:
optimizer_reorg
Repository:
lp:lsoracle

Recent commits

74d13d1... by Ashton Snelgrove <email address hidden>

Move optimizers to own files.

d09b499... by Ashton Snelgrove <email address hidden>

Timing synthesis (#75)

* Add pragma once everywhere.

* Initial cleanup

* Update benchmarks.

* Fix mapping verilog

* Add missing abc techmapping scripts and update github workflow.

* Fix variable substitution in graph makefile target.

* Update build flags in github actions

* Update build image and github action usage.

* Update to even newer ubuntu docker.

* Don't run cmake concurrently to check where the failure is

* Fix path to yosys in github build.

* Fix environment variables for matrix build and fix a test value.

* Copy yosys plugin during actions.

* fix path to artifacts in benchmark run.

d6d4f0f... by Scott Temple <email address hidden>

New optimization recipes (#66)

* added XMG store and I/O

* Implemented XMG depth optimization

* Added real XAG script

* added area oriented AIG script (strategy 3), fixed typos

* added FRAIGing/FRMIGing to several scripts

* improved AIG recipes, fixed bug in aig_script3

* added names views to recipes, fixed bug in aig_script5

897eded... by Ashton Snelgrove

Merge pull request #72 from lnis-uofu/dan/techmapper-mig

techmapper: fixes for MIG networks

8666ac7... by Lofty <email address hidden>

techmapper: fixes for MIG networks

3bc799b... by Lofty <email address hidden>

techmapper: fix cut enumeration (#71)

ced2b33... by Lofty <email address hidden>

Remove duplicate cuts at a node (#70)

a41355f... by shreenithi <email address hidden>

Update README.md (#69)

8f3cdf5... by Lofty <email address hidden>

Native technology mapper (#68)

* Technology mapper prototype

* techmapper: preliminary export to mockturtle

* techmapper: import mockturtle network

* techmapper: allow freezing the graph to cache data

* techmapper: move to core/algorithms/techmapping

* rtlil: new JSON-based I/O format for Yosys

* added alice command to call new techmapper, updated lsoracle.cpp to include it. WIP

* corrected usage of new map() function

* techmapper: fix function parameter mismatches

* techmapper: unfreeze temporary graph when computing topo ordering

* techmapper: various bugfixes

* Fix invalid variant access

* Fixed bug when deriving LUT mapping

* Fix cut merging issue

* Fix build failure

* Additional debugging information

* Fix type of input_count

* Fix debugging output

* Improve graphviz dump

* Fix handling of primary outputs when importing from mockturtle

* Current progress

* Current progress

* (hopefully) fix nodes_in_cut

* Current progress

* Techmapper passes equivalence checking now

* Fix area flow (a bit)

* Exact area reduction heuristic

* Current progress

* Populate caches before freezing

* Remove debugging infrastructure for benchmarks

* techmapper: additional debug infrastructure

63b9d74... by Ashton Snelgrove

Whitespace cleanup