Code

[abc] Add integration with ABC#53

Code

Draft

nickfraser wants to merge 43 commits intoXilinx:masterXilinx/logicnets:masterfrom nickfraser:feat/abc_integrationnickfraser/logicnets:feat/abc_integrationCopy head branch name to clipboard

+1,049-35

Commits

Commits on May 10, 2021

• [nn] Added ability to gather activation stastitics during LUT inference.

  nickfraser

  committed
  f34238d

• [jsc] Added script to save LUTs and activation statistics.

  nickfraser

  committed
  aa622a4

Commits on May 18, 2021

• [nn] Added extra parameter to specify a cutoff, for if a TT entry should be included in the output verilog.

  nickfraser

  committed
  4d75911

• [jsc] Made verification of verilog simulation optional with a flag.

  nickfraser

  committed
  5382815

• [jsc] Added loading of calculated histograms and specifying a TT frequency threshold.

  nickfraser

  committed
  45d7955

Commits on May 19, 2021

• [nn] Added a default case to verilog LUT generation.

  nickfraser

  committed
  dc302d1

Commits on May 20, 2021

• [nn/jsc] Made registers optional in verilog generation. Default is no registers.

  nickfraser

  committed
  536271b

Commits on May 26, 2021

• [verilog] Added 'parallel case' statement to generated verilog.

  nickfraser

  committed
  f4e7810

Commits on May 31, 2021

• Revert "[verilog] Added 'parallel case' statement to generated verilog."

  Show description for 40d72e5
  nickfraser

  committed
  40d72e5

Commits on Jun 18, 2021

• Merge remote-tracking branch 'public/master' into feat/track_cares

  nickfraser

  committed
  781c49f

• [jsc] Bugfixes in setting histograms / frequency values

  nickfraser

  committed
  7970fce

Commits on Jun 25, 2021

• Merge remote-tracking branch 'public/master' into feat/track_cares

  nickfraser

  committed
  3ce8395

Commits on Jun 28, 2021

• [jsc] Updated default PCA to be 12 dimensions.

  nickfraser

  committed
  fbf8238

Commits on Aug 31, 2021

• [jsc] Fixed description of commandline arguments

  nickfraser

  committed
  01f8d43

Commits on Sep 3, 2021

• Merge branch 'master' into feat/track_cares

  nickfraser

  committed
  4c3ec04

Commits on Sep 28, 2021

• [jsc] Initial basic code for abc intergration.

  nickfraser

  committed
  1ed85a5

• [abc] Updated module to pull information from the input model. Created end-to-end example.

  nickfraser

  committed
  2857e71

Commits on Nov 2, 2021

• Added AMC depencency to Dockerfile.

  nickfraser

  committed
  52f8c64

Commits on Aug 18, 2022

• Merge branch 'master' into feat/track_cares

  nickfraser

  committed
  c7be6c6

• [nids] Initial version supporting histograms.

  nickfraser

  committed
  691944e

Commits on Oct 10, 2022

• Merge branch 'master' into feat/track_cares

  nickfraser

  committed
  15600a6

Commits on Oct 11, 2022

• Merge remote-tracking branch 'origin/feat/track_cares' into feat/abc_integration

  nickfraser

  committed
  91aeb19

• [abc] Updated script generation function to support specifying the rarity optimization command.

  nickfraser

  committed
  60e1213

• [docker] Updated ABC version.

  nickfraser

  committed
  5347456

Commits on Oct 12, 2022

• [abc] Initial ABC synthesis flow. Need to fetch results from output strings.

  nickfraser

  committed
  f32fe89

• [abc] Added option to specify the BDD command for synthesis preset.

  nickfraser

  committed
  5da1be5

• [abc] Used re to extract important information for the ABC logs.

  nickfraser

  committed
  580a04f

Commits on Oct 13, 2022

• [abc] Added functions for generic synthesis optimizations and final tech mapping / pipelining.

  nickfraser

  committed
  2b4273e

• [abc] Updated simulation/evaluation to work on blif models.

  nickfraser

  committed
  3149493

Commits on Oct 18, 2022

• [abc] Bugfixes for putontop commands.

  nickfraser

  committed
  d345c38

• [abc] Disabled print of the best model in the iterative optimizer.

  nickfraser

  committed
  2273631

• [abc] Added PyVerilator compatible verilog wrapper and post-process functions for ABC-generated verilog.

  nickfraser

  committed
  0d01979

• [synthesis] Updated ABC synthesis to fix the generated verilog and generate the verilog wrapper.

  nickfraser

  committed
  ebdb1f0

• [jsc] Updated neq2lut_abc scripts to work with new end-to-end ABC synthesis flow.

  nickfraser

  committed
  71bc3d7

Commits on Oct 27, 2022

• [abc] Added option to specify the mfs2 command and mapping command.

  nickfraser

  committed
  98f8342

Commits on Mar 3, 2023

• Merge branch 'master' into feat/track_cares

  nickfraser

  committed
  598ed21

Commits on Mar 4, 2023

• [abc] Updated pipelining to return #nodes

  nickfraser

  committed
  410d493

Commits on Mar 5, 2023

• [verilog] Adds missing clock from ABC-generated verilog, if necessary

  nickfraser

  committed
  0740d26

• Merge branch 'feat/track_cares' into feat/abc_integration

  nickfraser

  committed
  f04214a

• [ex/jsc] Bugfix / added AVG ROC-AUC to results

  nickfraser

  committed
  7e83a9c

• Merge branch 'feat/track_cares' into feat/abc_integration

  nickfraser

  committed
  43251e8

• [ex/jsc] Bugfix: added AVG ROC-AUC results

  nickfraser

  committed
  3b53131

Commits on Nov 18, 2024

• [docker] Bugfixes to ABC build

  nickfraser

  committed
  1e0c9f2