1
0
mirror of synced 2026-05-23 13:46:47 +00:00

Commit Graph

  • 9ad859fc0a add bwmux, bweqx, bmux, demux cells Emily Schmidt 2024-07-12 10:45:58 +01:00
  • 6e7ae88c6a fix bugs in smtlib backend Emily Schmidt 2024-07-12 10:45:31 +01:00
  • 00a65754bb factor out SExpr/SExprWriter classes out of smtlib backend, and also tidy them up/document them Emily Schmidt 2024-07-11 11:30:23 +01:00
  • c659ef29f4 change smtlib backend to use list() function instead of SExpr{} constructor (leads to weird constructor overloading resolution issues) Emily Schmidt 2024-07-10 18:08:12 +01:00
  • 9f660b1e4b rewrite smtlib pass to use SExpr class Emily Schmidt 2024-07-10 14:28:48 +01:00
  • 80582ed3af Check the existance of a different set of outputs. No need for (push 1) nor (pop 1) Roland Coeurjoly 2024-07-08 18:29:58 +02:00
  • 566e57d24f Support $lut cells. Both C++ and SMT tests pass Roland Coeurjoly 2024-07-08 00:07:07 +02:00
  • 7cff8fa3a3 Fix corner case of pos cell with input and output being same width Roland Coeurjoly 2024-07-07 21:29:33 +02:00
  • fad76ce677 Fix memory leak Roland Coeurjoly 2024-07-07 21:12:47 +02:00
  • 5780357cd9 Emit valid SMT for stateful designs, fix some cells Roland Coeurjoly 2024-07-07 21:01:38 +02:00
  • f0f436cbe7 Fix parenthesis for arithmetic_shift_right Roland Coeurjoly 2024-07-05 15:38:42 +02:00
  • e296b884d5 Add Makefile helpers for coverage Miodrag Milanovic 2024-07-05 14:50:00 +02:00
  • 57af68af96 include algorithm, needed for std::reverse Roland Coeurjoly 2024-07-04 19:21:38 +02:00
  • 1b2986f7fb add support for $mul, $div, $divfloor, $mod, $modfloor, $pow in functional backend Emily Schmidt 2024-07-04 16:58:07 +01:00
  • 50f487e08c Added $ff test Roland Coeurjoly 2024-07-04 16:04:21 +02:00
  • 762f8dd822 Add readme explaining how to create test files Roland Coeurjoly 2024-07-04 12:39:45 +02:00
  • 73ed514623 Check that there are not other solutions other than the first given Roland Coeurjoly 2024-07-04 12:35:00 +02:00
  • cb5f08364c ´SMT success only if simulation is equivalent Roland Coeurjoly 2024-07-03 17:07:50 +02:00
  • 9700df50d6 add generic writer class with formatting function to FunctionalTools Emily Schmidt 2024-07-04 10:22:51 +01:00
  • 32cdf25838 Use FunctionalTools::Scope instead of replaceCharacters Roland Coeurjoly 2024-06-27 04:42:59 +02:00
  • ee6bd59436 Removed unnecesary nested_lets variable, use writer.print instead Roland Coeurjoly 2024-06-27 04:14:05 +02:00
  • e235fc704d Create std::mt19937 only once Roland Coeurjoly 2024-06-27 02:09:19 +02:00
  • 21bb1cf1bc rewrite functional c++ simulation library Emily Schmidt 2024-06-27 15:43:57 +01:00
  • eb2bb8c45b tidy up generic functional backend, add generic scope class, tidy up c++ functional backend Emily Schmidt 2024-06-27 13:16:57 +01:00
  • 39bf4f04f7 Create VCD file from SMT file Roland Coeurjoly 2024-06-27 01:46:10 +02:00
  • 4109fcedcf clang-format smtlib.cc Roland Coeurjoly 2024-06-26 20:56:29 +02:00
  • 94ddbc9577 Fix reduce_or Roland Coeurjoly 2024-06-26 19:45:54 +02:00
  • b98210d8ac Valid SMT is emitted, improved test script Roland Coeurjoly 2024-06-26 19:13:53 +02:00
  • 71aaa1c80d Consolidate tests scripts into one Roland Coeurjoly 2024-06-24 03:05:44 +02:00
  • 547c5466ec Ignore smt2 files, generated by the execution of the tests Roland Coeurjoly 2024-06-24 02:40:32 +02:00
  • c6e112686c Remove unused includes Roland Coeurjoly 2024-06-23 22:13:31 +02:00
  • 54225b5c42 Add test for SMT backend. Tests if SMT is valid and compares simulation with yosys sim Roland Coeurjoly 2024-06-21 12:59:45 +02:00
  • 4e370f4426 Initial functional SMT backend using functional IR Roland Coeurjoly 2024-06-21 12:59:34 +02:00
  • 6f9e21219b add new generic compute graph and rewrite c++ functional backend to use it Emily Schmidt 2024-06-20 16:40:02 +01:00
  • 248d5f72d4 add support for std::variant to hashlib Emily Schmidt 2024-06-20 16:25:21 +01:00
  • dbf2bc3b1d need unsigned comparison when checking shift widths for overflow in functional backend Emily Schmidt 2024-06-12 12:27:43 +01:00
  • 3552a8a2b2 sim.h cannot use log_assert because does not include yosys headers Roland Coeurjoly 2024-06-12 09:41:42 +02:00
  • 7b29d177ac add support for memories to c++ and smtlib functional backends Emily Schmidt 2024-06-12 11:27:10 +01:00
  • 76371d177f Change assert to log_assert Roland Coeurjoly 2024-06-12 09:23:44 +02:00
  • 720429b1fd Add test_cell tests for C++ functional backend Roland Coeurjoly 2024-06-12 08:32:24 +02:00
  • 7611dda2eb add initial version of functional smtlib backend Emily Schmidt 2024-05-23 11:40:41 +01:00
  • 63dea89fac add initial version of functional C++ backend Emily Schmidt 2024-05-01 11:48:04 +01:00
  • dd5ec84a26 fix bugs in drivertools Emily Schmidt 2024-05-01 11:47:16 +01:00
  • d90268f610 fixup! drivertools: Utility code for indexing and traversing signal drivers Jannis Harder 2024-04-17 14:52:36 +02:00
  • d4e3daa9d0 ComputeGraph datatype for the upcoming functional backend Jannis Harder 2024-04-11 13:48:25 +02:00
  • f29422f745 topo_scc: Add sources_first option Jannis Harder 2024-04-11 13:47:14 +02:00
  • 68c3a47945 WIP temporary drivertools example Jannis Harder 2024-04-15 14:14:50 +02:00
  • 56572978f5 drivertools: Utility code for indexing and traversing signal drivers Jannis Harder 2024-04-15 14:12:16 +02:00
  • f24e2536c6 kernel/rtlil: Add SigBit operator[](int offset) to SigChunk Jannis Harder 2024-04-15 14:08:58 +02:00
  • c73c8a39cf kernel/log: Add log_str helper for custom log_* functions/overloads Jannis Harder 2024-04-15 14:01:10 +02:00
  • 0922142567 Add generic topological sort and SCC detection Jannis Harder 2024-04-15 13:55:54 +02:00
  • 4cddc19994 Bump version github-actions[bot] 2024-08-20 00:18:24 +00:00
  • e4c8bb0ac5 Merge pull request #4552 from YosysHQ/krys/rtd_on_main Miodrag Milanović 2024-08-19 20:11:55 +02:00
  • 7d779c64a3 docs: Only trigger RTDs on main Krystine Sherwin 2024-08-20 04:26:16 +12:00
  • d901b28d2c Merge pull request #4546 from NachtSpyder04/main Emil J 2024-08-19 15:50:41 +02:00
  • 9de534892e Merge pull request #4515 from RCoeurjoly/nix_on_macos Emil J 2024-08-19 15:49:23 +02:00
  • e0d3bbf3c3 Merge pull request #4452 from phsauter/shiftadd-underflow-fix Emil J 2024-08-19 15:45:46 +02:00
  • 0dfa4962d1 Merge pull request #4547 from leviathanch/fix_apicula1 Emil J 2024-08-19 15:44:48 +02:00
  • 4847caac49 driver: print maximum memory usage on macOS as well Emil J. Tywoniak 2024-08-19 12:50:12 +02:00
  • 6df0c3d9ec docs: Fix synth_flow generation Krystine Sherwin 2024-08-19 21:25:51 +12:00
  • 8773cf7721 test-verific: Use fast runner Krystine Sherwin 2024-08-19 21:24:48 +12:00
  • 7f08a298a4 Merge pull request #4542 from YosysHQ/krys/rtd N. Engelhardt 2024-08-19 10:04:38 +02:00
  • d1b767ea8b Adding missing to Gowin tech files David Lanzendörfer 2024-08-17 01:15:37 +01:00
  • 6a3089c1aa WIP cross compile emil/nix-cross-compile Emil J. Tywoniak 2024-08-18 18:44:04 +02:00
  • aa60255e0e update help messages that went beyond line length limit NachtSpyder04 2024-08-18 20:27:35 +05:30
  • 34aabd56cc Apply suggestions from code review Saish Karole 2024-08-18 20:12:53 +05:30
  • d80d4dc51c [Docs]:Add new cell type help messages (#1) Saish Karole 2024-08-17 15:47:00 +05:30
  • 5fb3c0b1d9 Bump version github-actions[bot] 2024-08-17 00:17:44 +00:00
  • 3dd32d741a Stop unconditionally building abc KrystalDelusion 2024-08-05 11:20:05 +12:00
  • e9f909aa25 minisat: Record changes in patch Krystine Sherwin 2024-08-17 10:01:25 +12:00
  • 7bd3c7b968 Fix test-verific.yml Krystine Sherwin 2024-08-16 10:43:51 +12:00
  • 3b63ab07ae docs: Build RTD artifacts directly Krystine Sherwin 2024-08-16 10:43:51 +12:00
  • 55307a5452 minisat: Check for gcc Krystine Sherwin 2024-08-16 04:30:37 +12:00
  • eb02ab07da minisat: Use reallocarray Krystine Sherwin 2024-08-16 04:30:37 +12:00
  • d34833d177 Better snprintf size handling Krystine Sherwin 2024-08-16 04:30:37 +12:00
  • 636ce9ac2c snprintf Krystine Sherwin 2024-08-16 04:30:36 +12:00
  • 7b47f645d7 Address warnings Krystine Sherwin 2024-08-16 04:30:31 +12:00
  • 54d237ff82 add min_ce_use and min_srst_use parameters Miodrag Milanovic 2024-08-15 09:42:27 +02:00
  • 14e43139cb Run opt_merge, helps with inverted reset/load signals Miodrag Milanovic 2024-08-14 12:14:21 +02:00
  • 220ddeac4d Set -mince and -minsrst Miodrag Milanovic 2024-08-14 12:13:15 +02:00
  • dbf1d037e8 Cleanup Miodrag Milanovic 2024-07-24 13:41:12 +02:00
  • 7bf623a0c7 Fix simulation model warnings Miodrag Milanovic 2024-07-24 13:34:41 +02:00
  • 3848563600 Update tests Miodrag Milanovic 2024-07-24 13:29:51 +02:00
  • 262ad03cd3 Add iopads by default add option to disable and keep old one for compatibility Miodrag Milanovic 2024-07-24 13:23:34 +02:00
  • 8f806c0d12 Added DDFR support Miodrag Milanovic 2024-07-24 13:00:56 +02:00
  • 1a6e5c671f Add meminit handling for NX_RFB_U Miodrag Milanovic 2024-07-11 17:43:46 +02:00
  • 6876a27547 Add NX_DFR simulation model Miodrag Milanovic 2024-07-04 07:41:55 +02:00
  • eb30be6189 Impulse does not support these types but NG-ULTRA architecture does Miodrag Milanovic 2024-06-24 11:06:41 +02:00
  • 7601dc740b Some memory types are only supported on NG-LARGE Miodrag Milanovic 2024-06-11 11:05:45 +02:00
  • 4372487a6f raw must be 16 bits for nx tools to work Miodrag Milanovic 2024-06-07 10:52:44 +02:00
  • f8ae93c0ea run setundef for all x inputs Miodrag Milanovic 2024-06-06 18:07:39 +02:00
  • 40f05009e3 Fix CY chaining and CI injection Miodrag Milanovic 2024-05-30 17:29:33 +02:00
  • 596506b88b Add NX_XCDC_U to wrappers Miodrag Milanovic 2024-05-30 09:06:12 +02:00
  • 8909a42796 Better wire check Miodrag Milanovic 2024-05-30 08:06:30 +02:00
  • 5766555642 Support brams with initialization Miodrag Milanovic 2024-05-28 14:21:36 +02:00
  • 4aaab8f395 start adding wfg model Miodrag Milanovic 2024-05-22 15:45:18 +02:00
  • 41a86fdb2c fix Miodrag Milanovic 2024-05-21 14:07:20 +02:00
  • f4d8ea4c40 Start adding RFB simulation models Miodrag Milanovic 2024-05-20 18:26:04 +02:00
  • 8eb099c1f4 remove debug attribute Miodrag Milanovic 2024-05-20 13:19:02 +02:00
  • 829dd62054 block ram mapping for standard modes Miodrag Milanovic 2024-05-17 15:59:18 +02:00