Code

New aiger backend#4593

Code

Merged

povik merged 40 commits intoYosysHQ:mainYosysHQ/yosys:mainfrom povik:aiger2povik/yosys:aiger2Copy head branch name to clipboardOct 7, 2024

+2,385-16

Commits

Commits on Sep 17, 2024

• Adjust operation naming in aigmap test

  povik

  committed
  4cfdb7a

  Copy full SHA for 4cfdb7a

• Start an 'aiger2' backend

  povik

  committed
  fb26945

  Copy full SHA for fb26945

• aiger2: Support $pos

  povik

  committed
  fa39227

  Copy full SHA for fa39227

• aiger2: Add strashing option

  povik

  committed
  5671c10

  Copy full SHA for 5671c10

• aiger2: Fix duplicate symbols on multibit ports

  povik

  committed
  de8a2fb

  Copy full SHA for de8a2fb

• aiger2: Add aigsize as a second user of index

  povik

  committed
  e59387e

  Copy full SHA for e59387e

• aiger2: Use shorthands

  povik

  committed
  d7128cb

  Copy full SHA for d7128cb

• aiger2: Support $bwmux, comparison operators

  povik

  committed
  8e29675

  Copy full SHA for 8e29675

• aiger2: Fix literal typing

  povik

  committed
  e4b24e8

  Copy full SHA for e4b24e8

• aiger2: Describe supported cells in help

  povik

  committed
  dbc937b

  Copy full SHA for dbc937b

• aiger2: Drop empty_lit() as a function

  povik

  committed
  9db1ca8

  Copy full SHA for 9db1ca8

Commits on Sep 18, 2024

• aiger2: Ingest $pmux

  povik

  committed
  6c1fa45

  Copy full SHA for 6c1fa45

• aiger2: Use REDUCE for reduction ops

  povik

  committed
  1cfb902

  Copy full SHA for 1cfb902

• aiger2: Ingest $bmux

  povik

  committed
  6cecf19

  Copy full SHA for 6cecf19

• Start read_xaiger2 -sc_mapping

  povik

  committed
  1ab7f29

  Copy full SHA for 1ab7f29

• aiger2: Ignore benign cells

  povik

  committed
  72d6506

  Copy full SHA for 72d6506

• aiger2: Adjust typing

  povik

  committed
  2a3e907

  Copy full SHA for 2a3e907

• aiger2: Adjust hierarchy/port handling

  povik

  committed
  ea76568

  Copy full SHA for ea76568

• Start new write_xaiger2 backend for export w/ boxes

  povik

  committed
  5f8d7ff

  Copy full SHA for 5f8d7ff

• celltypes: Fix $buf eval

  povik

  committed
  3a1b003

  Copy full SHA for 3a1b003

• read_xaiger2: Update box handling

  povik

  committed
  f168b2f

  Copy full SHA for f168b2f

Commits on Oct 7, 2024

• aiger2: Add TODO

  povik

  committed
  d4e009f

  Copy full SHA for d4e009f

• abc9: Understand ASIC options similar to abc

  povik

  committed
  e58a9b6

  Copy full SHA for e58a9b6

• Adjust read_xaiger2 prints

  povik

  committed
  2b1b565

  Copy full SHA for 2b1b565

• read_xaiger2: Fix detecting the end of extensions

  povik

  committed
  8d12492

  Copy full SHA for 8d12492

• aiger2: Fix relative ordering of PI/POs and box I/Os

  povik

  committed
  f7c7371

  Copy full SHA for f7c7371

• aiger2: Add analysis step to order boxes

  povik

  committed
  4c0a8a1

  Copy full SHA for 4c0a8a1

• aiger2: Convert x-states to zeroes

  povik

  committed
  b8f3893

  Copy full SHA for b8f3893

• abc_new: Start new command for aiger2-based round trip

  povik

  committed
  e0a86d5

  Copy full SHA for e0a86d5

• aigsize: Remove

  povik

  committed
  81688e3

  Copy full SHA for 81688e3

• aiger2: Adjust help

  povik

  committed
  ac79a05

  Copy full SHA for ac79a05

• abc9_exe: Remove -genlib option

  povik

  committed
  3b6dcc7

  Copy full SHA for 3b6dcc7

• abc9_exe: Document SC mapping options

  povik

  committed
  2e587c8

  Copy full SHA for 2e587c8

• aiger2: Fix warnings

  povik

  committed
  ebe51e2

  Copy full SHA for ebe51e2

• aiger2: Fix print

  povik

  committed
  373e7a1

  Copy full SHA for 373e7a1

• aiger2: Update help

  povik

  committed
  47fd2b9

  Copy full SHA for 47fd2b9

• aiger2: Add test of writing a flattened view

  povik

  committed
  d0a11e2

  Copy full SHA for d0a11e2

• aiger2: Try to fix VS build

  povik

  committed
  72f0fea

  Copy full SHA for 72f0fea

• read_xaiger2: Add casts to silence warnings

  povik

  committed
  f44a418

  Copy full SHA for f44a418

• read_xaiger2: Add help

  povik

  committed
  7989d53

  Copy full SHA for 7989d53