Code

Functional Backend#4536

Code

Merged

mmicko merged 93 commits intomainYosysHQ/yosys:mainfrom functionalYosysHQ/yosys:functionalCopy head branch name to clipboardSep 6, 2024

+12,469-2

Commits

Commits on Aug 21, 2024

• Add generic topological sort and SCC detection

  Show description for 0922142
  

  jix

  authored and

  aiju

  committed
  0922142

  Copy full SHA for 0922142

• kernel/log: Add log_str helper for custom log_* functions/overloads

  Show description for c73c8a3
  

  jix

  authored and

  aiju

  committed
  c73c8a3

  Copy full SHA for c73c8a3

• kernel/rtlil: Add SigBit operator[](int offset) to SigChunk

  Show description for f24e253
  

  jix

  authored and

  aiju

  committed
  f24e253

  Copy full SHA for f24e253

• drivertools: Utility code for indexing and traversing signal drivers

  Show description for 5657297
  

  jix

  authored and

  aiju

  committed
  5657297

  Copy full SHA for 5657297

• WIP temporary drivertools example

  

  jix

  authored and

  aiju

  committed
  68c3a47

  Copy full SHA for 68c3a47

• topo_scc: Add sources_first option

  

  jix

  authored and

  aiju

  committed
  f29422f

  Copy full SHA for f29422f

• ComputeGraph datatype for the upcoming functional backend

  

  jix

  authored and

  aiju

  committed
  d4e3daa

  Copy full SHA for d4e3daa

• fixup! drivertools: Utility code for indexing and traversing signal drivers

  

  jix

  authored and

  aiju

  committed
  d90268f

  Copy full SHA for d90268f

• fix bugs in drivertools

  aiju

  committed
  dd5ec84

  Copy full SHA for dd5ec84

• add initial version of functional C++ backend

  aiju

  committed
  63dea89

  Copy full SHA for 63dea89

• add initial version of functional smtlib backend

  aiju

  committed
  7611dda

  Copy full SHA for 7611dda

• Add test_cell tests for C++ functional backend

  

  RCoeurjoly

  authored and

  aiju

  committed
  720429b

  Copy full SHA for 720429b

• Change assert to log_assert

  

  RCoeurjoly

  authored and

  aiju

  committed
  76371d1

  Copy full SHA for 76371d1

• add support for memories to c++ and smtlib functional backends

  aiju

  committed
  7b29d17

  Copy full SHA for 7b29d17

• sim.h cannot use log_assert because does not include yosys headers

  

  RCoeurjoly

  authored and

  aiju

  committed
  3552a8a

  Copy full SHA for 3552a8a

• need unsigned comparison when checking shift widths for overflow in functional backend

  aiju

  committed
  dbf2bc3

  Copy full SHA for dbf2bc3

• add support for std::variant to hashlib

  aiju

  committed
  248d5f7

  Copy full SHA for 248d5f7

• add new generic compute graph and rewrite c++ functional backend to use it

  aiju

  committed
  6f9e212

  Copy full SHA for 6f9e212

• Initial functional SMT backend using functional IR

  

  RCoeurjoly

  authored and

  aiju

  committed
  4e370f4

  Copy full SHA for 4e370f4

• Add test for SMT backend. Tests if SMT is valid and compares simulation with yosys sim

  

  RCoeurjoly

  authored and

  aiju

  committed
  54225b5

  Copy full SHA for 54225b5

• Remove unused includes

  

  RCoeurjoly

  authored and

  aiju

  committed
  c6e1126

  Copy full SHA for c6e1126

• Ignore smt2 files, generated by the execution of the tests

  

  RCoeurjoly

  authored and

  aiju

  committed
  547c546

  Copy full SHA for 547c546

• Consolidate tests scripts into one

  

  RCoeurjoly

  authored and

  aiju

  committed
  71aaa1c

  Copy full SHA for 71aaa1c

• Valid SMT is emitted, improved test script

  

  RCoeurjoly

  authored and

  aiju

  committed
  b98210d

  Copy full SHA for b98210d

• Fix reduce_or

  

  RCoeurjoly

  authored and

  aiju

  committed
  94ddbc9

  Copy full SHA for 94ddbc9

• clang-format smtlib.cc

  

  RCoeurjoly

  authored and

  aiju

  committed
  4109fce

  Copy full SHA for 4109fce

• Create VCD file from SMT file

  

  RCoeurjoly

  authored and

  aiju

  committed
  39bf4f0

  Copy full SHA for 39bf4f0

• tidy up generic functional backend, add generic scope class, tidy up c++ functional backend

  aiju

  committed
  eb2bb8c

  Copy full SHA for eb2bb8c

• rewrite functional c++ simulation library

  aiju

  committed
  21bb1cf

  Copy full SHA for 21bb1cf

• Create std::mt19937 only once

  

  RCoeurjoly

  authored and

  aiju

  committed
  e235fc7

  Copy full SHA for e235fc7

• Removed unnecesary nested_lets variable, use writer.print instead

  

  RCoeurjoly

  authored and

  aiju

  committed
  ee6bd59

  Copy full SHA for ee6bd59

• Use FunctionalTools::Scope instead of replaceCharacters

  

  RCoeurjoly

  authored and

  aiju

  committed
  32cdf25

  Copy full SHA for 32cdf25

• add generic writer class with formatting function to FunctionalTools

  aiju

  committed
  9700df5

  Copy full SHA for 9700df5

• ´SMT success only if simulation is equivalent

  

  RCoeurjoly

  authored and

  aiju

  committed
  cb5f083

  Copy full SHA for cb5f083

• Check that there are not other solutions other than the first given

  

  RCoeurjoly

  authored and

  aiju

  committed
  73ed514

  Copy full SHA for 73ed514

• Add readme explaining how to create test files

  

  RCoeurjoly

  authored and

  aiju

  committed
  762f8dd

  Copy full SHA for 762f8dd

• Added $ff test

  

  RCoeurjoly

  authored and

  aiju

  committed
  50f487e

  Copy full SHA for 50f487e

• add support for $mul, $div, $divfloor, $mod, $modfloor, $pow in functional backend

  aiju

  committed
  1b2986f

  Copy full SHA for 1b2986f

• include algorithm, needed for std::reverse

  

  RCoeurjoly

  authored and

  aiju

  committed
  57af68a

  Copy full SHA for 57af68a

• Add Makefile helpers for coverage

  

  mmicko

  authored and

  aiju

  committed
  e296b88

  Copy full SHA for e296b88

• Fix parenthesis for arithmetic_shift_right

  

  RCoeurjoly

  authored and

  aiju

  committed
  f0f436c

  Copy full SHA for f0f436c

• Emit valid SMT for stateful designs, fix some cells

  

  RCoeurjoly

  authored and

  aiju

  committed
  5780357

  Copy full SHA for 5780357

• Fix memory leak

  

  RCoeurjoly

  authored and

  aiju

  committed
  fad76ce

  Copy full SHA for fad76ce

• Fix corner case of pos cell with input and output being same width

  

  RCoeurjoly

  authored and

  aiju

  committed
  7cff8fa

  Copy full SHA for 7cff8fa

• Support $lut cells. Both C++ and SMT tests pass

  

  RCoeurjoly

  authored and

  aiju

  committed
  566e57d

  Copy full SHA for 566e57d

• Check the existance of a different set of outputs. No need for (push 1) nor (pop 1)

  

  RCoeurjoly

  authored and

  aiju

  committed
  80582ed

  Copy full SHA for 80582ed

• rewrite smtlib pass to use SExpr class

  aiju

  committed
  9f660b1

  Copy full SHA for 9f660b1

• change smtlib backend to use list() function instead of SExpr{} constructor (leads to weird constructor overloading resolution issues)

  aiju

  committed
  c659ef2

  Copy full SHA for c659ef2

• factor out SExpr/SExprWriter classes out of smtlib backend, and also tidy them up/document them

  aiju

  committed
  00a6575

  Copy full SHA for 00a6575

• fix bugs in smtlib backend

  aiju

  committed
  6e7ae88

  Copy full SHA for 6e7ae88

• add bwmux, bweqx, bmux, demux cells

  aiju

  committed
  9ad859f

  Copy full SHA for 9ad859f

• rewrite functional backend test code in python

  aiju

  committed
  674e6d2

  Copy full SHA for 674e6d2

• fix a few bugs in the functional backend and refactor the testing

  aiju

  committed
  6922633

  Copy full SHA for 6922633

• document functionalir.h and change visitors to derive from AbstractVisitor. remove extraneous widths arguments from visitors.

  aiju

  committed
  55c2c17

  Copy full SHA for 55c2c17

• remove widths parameters from FunctionalIR factory methods and from functionalir.cc

  aiju

  committed
  7f8f21b

  Copy full SHA for 7f8f21b

• functional backend: require shift width == clog2(operand width)

  aiju

  committed
  c0c90c2

  Copy full SHA for c0c90c2

• eliminate pmux in functional backend

  aiju

  committed
  13bacc5

  Copy full SHA for 13bacc5

• add support for RTLIL cells with multiple outputs to the functional backend, implement $fa,$lcu,$alu

  aiju

  committed
  3cd5f4e

  Copy full SHA for 3cd5f4e

• functional backend: reduce $lcu to $alu

  aiju

  committed
  4722f13

  Copy full SHA for 4722f13

• fix memory handling in functional backend, add more error messages and comments for memory edgecases

  aiju

  committed
  145af6f

  Copy full SHA for 145af6f

• functional backend: error out if multiply driven or undriven signals are seen, dont bother putting them in functionalir

  aiju

  committed
  6d329e1

  Copy full SHA for 6d329e1

• add MemContents class to mem.h

  aiju

  committed
  12a31a4

  Copy full SHA for 12a31a4

• add -fst-noinit flag to sim for not initializing the state from the fst file

  aiju

  committed
  bdb59ff

  Copy full SHA for bdb59ff

• add support for initializing registers and memories to the functional backend

  aiju

  committed
  99effb6

  Copy full SHA for 99effb6

• functional backend: make Memory in the C++ simulation library read-only again

  aiju

  committed
  95d28c2

  Copy full SHA for 95d28c2

• functional backend: rename get_input and get_current_state to input and current_state (more consistent with other methods)

  aiju

  committed
  7ac0e92

  Copy full SHA for 7ac0e92

• functional backend: topological sort starts with the output and next states nodes, other nodes get deleted

  aiju

  committed
  8c0f625

  Copy full SHA for 8c0f625

• convert class FunctionalIR to a namespace Functional, rename functionalir.h to functional.h, rename functional.h to compute_graph.h

  aiju

  committed
  850b3a6

  Copy full SHA for 850b3a6

• add optional header and hashlib implementation for optional

  aiju

  committed
  fbee310

  Copy full SHA for fbee310

• silence some warnings

  aiju

  committed
  8f77494

  Copy full SHA for 8f77494

• silence some more warnings, undo mistaken addition

  aiju

  committed
  79a1b69

  Copy full SHA for 79a1b69

• functional backend: add different types of input/output/state variables

  aiju

  committed
  50047d2

  Copy full SHA for 50047d2

• add picorv test to functional backend

  aiju

  committed
  831da51

  Copy full SHA for 831da51

• add sandia copyright notice to the functional backend

  aiju

  committed
  f456761

  Copy full SHA for f456761

Commits on Aug 22, 2024

• drivertools: fix C++20 "incomplete type" error by moving constructors below other definitions

  aiju

  committed
  9b5e81b

  Copy full SHA for 9b5e81b

• functional backend: missing includes for stl containers

  aiju

  committed
  761eff5

  Copy full SHA for 761eff5

Commits on Aug 27, 2024

• add functional ir documentation

  aiju

  committed
  459e6b9

  Copy full SHA for 459e6b9

• functional backends: identifiers in c++/smtlib may not start with digits

  aiju

  committed
  b428bf4

  Copy full SHA for b428bf4

Commits on Aug 28, 2024

• functional backend: more documentation

  aiju

  committed
  27efed2

  Copy full SHA for 27efed2

• functional backend: rename "type" to either "kind" or "sort" to make the terminology consistent

  aiju

  committed
  4eeb8d3

  Copy full SHA for 4eeb8d3

Commits on Aug 29, 2024

• functional backend: add test to verify test_generic

  aiju

  committed
  2b8db94

  Copy full SHA for 2b8db94

Commits on Sep 3, 2024

• smtr: Fork smtlib for rosette

  

  KrystalDelusion

  authored and

  aiju

  committed
  8b29629

  Copy full SHA for 8b29629

• smtr: Add rkt to functional tests

  

  KrystalDelusion

  authored and

  aiju

  committed
  7fe9157

  Copy full SHA for 7fe9157

• smtr: Use rosette/safe

  

  KrystalDelusion

  authored and

  aiju

  committed
  07b6908

  Copy full SHA for 07b6908

• smtr: More sanitization

  

  KrystalDelusion

  authored and

  aiju

  committed
  5a29b3e

  Copy full SHA for 5a29b3e

• smtr: Use scope.unique_name

  

  KrystalDelusion

  authored and

  aiju

  committed
  a2abbcb

  Copy full SHA for a2abbcb

• smtr: Structs have local scope

  Show description for d6c5e13
  

  KrystalDelusion

  authored and

  aiju

  committed
  d6c5e13

  Copy full SHA for d6c5e13

• fix rst formatting in functional_ir.rst

  aiju

  committed
  75ed6d3

  Copy full SHA for 75ed6d3

• functional_ir.rst: fix typo, document SExprWriter::flush

  aiju

  committed
  7de8be1

  Copy full SHA for 7de8be1

Commits on Sep 4, 2024

• functional tests: run from make tests but not smtlib/rkt tests

  aiju

  committed
  5a476a8

  Copy full SHA for 5a476a8

• Makefile: Update coverage_functional

  Show description for 21494d1
  KrystalDelusion

  committed
  21494d1

  Copy full SHA for 21494d1

Commits on Sep 6, 2024

• Run functional tests on private runner only

  mmicko

  committed
  fc10a6e

  Copy full SHA for fc10a6e

• Merge pull request #4585 from YosysHQ/functional_tests

  Show description for 0ad2431
  mmicko

  authored
  0ad2431

  Copy full SHA for 0ad2431