1
0
mirror of synced 2026-05-25 14:36:42 +00:00

Commit Graph

  • 3ebc50dee4 Merge pull request #3467 from jix/fix_cellarray_simplify Jannis Harder 2022-12-19 16:05:13 +01:00
  • f2a4e5f1a0 Fixing other references to the manual KrystalDelusion 2022-12-19 10:42:21 +13:00
  • f33a21eea4 Removed manual from make clean KrystalDelusion 2022-12-19 10:10:34 +13:00
  • aeb40d4ddf Remove make targets for manual KrystalDelusion 2022-12-19 10:08:40 +13:00
  • 69cbef9666 Bump version github-actions[bot] 2022-12-16 00:16:00 +00:00
  • 76de4455e6 Merge pull request #3588 from YosysHQ/noblackbox Miodrag Milanović 2022-12-15 09:08:18 +01:00
  • b867dee241 respect noblackbox attribute in verific Miodrag Milanovic 2022-12-15 08:17:53 +01:00
  • 5d893c4b03 Bump version github-actions[bot] 2022-12-13 00:17:31 +00:00
  • 4a0ed35aab xprop: Improve signal splitting code Jannis Harder 2022-12-09 15:02:58 +01:00
  • 2093cf07e4 Merge pull request #3581 from jix/formalff-error Jannis Harder 2022-12-12 16:39:10 +01:00
  • 6a6e1d8424 Improvements in "viz" pass Claire Xenia Wolf 2022-12-09 18:28:17 +01:00
  • 967529abb1 formalff: Proper error messages on async inputs for the -clk2ff mode Jannis Harder 2022-12-09 15:22:21 +01:00
  • dc14def5f3 Add gold-x handing to miter cross port handling Claire Xenia Wolf 2022-12-08 22:14:16 +01:00
  • 3454bddbe2 Merge branch 'claire/eqystuff' of github.com:YosysHQ/yosys into claire/eqystuff Claire Xenia Wolf 2022-12-08 20:06:23 +01:00
  • 4f36a86fff Merge pull request #3579 from jix/split_public_untested Claire Xen 2022-12-08 20:05:56 +01:00
  • 172a8e79f0 xprop: Add -split-public option Jannis Harder 2022-12-08 20:00:01 +01:00
  • 7ad7b550cb Merge pull request #3573 from daglem/struct-array-multidimensional Jannis Harder 2022-12-07 19:24:12 +01:00
  • cf3570abde simplify: regression test for AST_CELLARRAY simplification issue Jannis Harder 2022-12-07 18:41:55 +01:00
  • dd8b412833 simplify: Do not recursively simplify AST_CELL within AST_CELLARRAY Jannis Harder 2022-08-30 13:58:09 +02:00
  • 11fe4d0862 Remove help outputs for tex KrystalDelusion 2022-12-08 05:57:41 +13:00
  • a955c42d6c And appnotes KrystalDelusion 2022-12-08 05:54:38 +13:00
  • 1eec255e60 Removing manual files KrystalDelusion 2022-12-08 05:54:08 +13:00
  • 4b95fac139 Removing old manual from README.md KrystalDelusion 2022-12-08 05:51:07 +13:00
  • 068031d2aa Improvements in "viz" command Claire Xenia Wolf 2022-12-07 16:10:58 +01:00
  • aeba966475 Improvements in "viz" pass Claire Xenia Wolf 2022-12-07 12:46:49 +01:00
  • c679b408cb Various improvements in "viz" command Claire Xenia Wolf 2022-12-06 16:02:00 +01:00
  • 2895a66784 Bugfix in splitcells pass Claire Xenia Wolf 2022-12-06 16:00:48 +01:00
  • 1f6ac926a4 Bump version github-actions[bot] 2022-12-06 01:16:03 +00:00
  • f1da4b0204 Next dev cycle Miodrag Milanovic 2022-12-05 17:21:20 +01:00
  • 313b7997b5 Release version 0.24 yosys-0.24 Miodrag Milanovic 2022-12-05 17:11:03 +01:00
  • 2dac9be3cd Update manual Miodrag Milanovic 2022-12-05 17:07:55 +01:00
  • b60baad662 Merge pull request #3572 from jix/tcl-recover Miodrag Milanović 2022-12-05 17:00:16 +01:00
  • 6589accfa9 tcl: Update help message to mention 'tee -s' Jannis Harder 2022-12-05 16:47:22 +01:00
  • 9362fdb4c6 Merge pull request #3568 from YosysHQ/verific_msg Miodrag Milanović 2022-12-05 16:22:44 +01:00
  • 26aaf7683f Merge pull request #3569 from YosysHQ/ver_no_rewriters Miodrag Milanović 2022-12-05 16:21:12 +01:00
  • a43356cb04 tcl: Unset both result.json and result.string only before calling pass Jannis Harder 2022-12-05 16:17:00 +01:00
  • e151e44caa Improvements in "viz" command Claire Xenia Wolf 2022-12-04 19:32:31 +01:00
  • c9f4b06cb2 Add "viz" pass for visualizing big-picture data flow in larger designs Claire Xenia Wolf 2022-12-04 11:35:10 +01:00
  • 22090011ab Made make_struct_member_range side-effect-free again Dag Lem 2022-12-04 06:54:22 +01:00
  • 92fc6cd4a9 Add splitcells pass Claire Xenia Wolf 2022-12-04 01:33:04 +01:00
  • 8895b51dbb Merge branch 'master' of github.com:YosysHQ/yosys into claire/eqystuff Claire Xenia Wolf 2022-12-04 00:20:44 +01:00
  • f94eec952f Support for packed multidimensional arrays within packed structs Dag Lem 2022-12-03 19:54:47 +01:00
  • 34a64aa322 set VERI-1063 explicitly Miodrag Milanovic 2022-12-02 17:11:17 +01:00
  • 0f7b8b8d23 tcl: Don't exit repl on recoverable command errors Jannis Harder 2022-12-02 15:29:10 +01:00
  • 5524d5185d tcl: Return scratchpad result.json and result.string as tcl objects Jannis Harder 2022-11-28 19:06:59 +01:00
  • 7036a312bf stat: Fix JSON output for empty designs Jannis Harder 2022-11-28 19:05:12 +01:00
  • ed02d52f30 tee: Allow logging command output to a given scratchpad value Jannis Harder 2022-11-28 19:03:27 +01:00
  • a64ed824ed Merge pull request #3567 from YosysHQ/tcl_fix_crash Miodrag Milanović 2022-12-02 08:15:31 +01:00
  • 956b7f5fd1 Merge branch 'xprop' of github.com:jix/yosys into claire/eqystuff Claire Xenia Wolf 2022-12-01 11:31:39 +01:00
  • fbf8bcf38f Add insbuf -chain mode Claire Xenia Wolf 2022-12-01 01:59:16 +01:00
  • dcc1cb7ddd Bump version github-actions[bot] 2022-12-01 00:20:32 +00:00
  • 4a2b7287ca Merge pull request #3551 from daglem/struct-array-swapped-range Jannis Harder 2022-12-01 00:58:32 +01:00
  • 64f88eb7f1 Added asserts for current limitation of array dimensions in packed structs Dag Lem 2022-11-30 23:32:41 +01:00
  • 15c8e74329 Check for all cases of currently unsupported array dimensions in packed structs Dag Lem 2022-11-30 20:04:45 +01:00
  • eb0039848b miter: Add -make_cover option to cover each output pair difference Jannis Harder 2022-11-30 19:00:52 +01:00
  • 551ca7f97f formalff: Fix -ff2anyinit assertion error for fine FFs Jannis Harder 2022-11-30 18:59:55 +01:00
  • ce708122a5 New xprop pass to encode 3-valued x-propagation using 2-valued logic Jannis Harder 2022-11-25 17:48:15 +01:00
  • 5ff69a0fe2 sim: Improved global clock handling Jannis Harder 2022-11-25 17:43:51 +01:00
  • 3ecf85e32c opt_expr: Optimizations for $bweqx and $bwmux Jannis Harder 2022-11-02 17:54:45 +01:00
  • be752a20dc Add bwmuxmap pass Jannis Harder 2022-11-30 18:49:16 +01:00
  • 7203ba7bc1 Add bitwise $bweqx and $bwmux cells Jannis Harder 2022-11-02 17:12:51 +01:00
  • f2c531e65f verilog_backend: Do not run bmuxmap or demuxmap in -noexpr mode. Jannis Harder 2022-11-10 16:28:47 +01:00
  • 82b630a246 verilog_backend: Correctly sign extend output of signed $modfloor Jannis Harder 2022-11-10 16:27:13 +01:00
  • 5cb7d0fe9d verilog_backend: Add -noparallelcase option Jannis Harder 2022-11-10 16:16:37 +01:00
  • 99163fb822 simlib: Use optional SIMLIB_GLOBAL_CLOCK to define a global clock signal Jannis Harder 2022-11-25 17:40:50 +01:00
  • 605d127517 simlib: Silence iverilog warning for $lut Jannis Harder 2022-11-10 16:31:45 +01:00
  • 39ac113402 simlib: Fix wide $bmux and avoid iverilog warnings Jannis Harder 2022-11-11 14:31:39 +01:00
  • b982ab4f59 satgen, simlib: Consistent x-propagation for $pmux cells Jannis Harder 2022-11-10 16:17:54 +01:00
  • 1e67c3a3c2 opt_expr: Fix shift/shiftx optimizations Jannis Harder 2022-11-30 17:35:48 +01:00
  • 2dd55d73a0 reset elaboration error after rewriter Miodrag Milanovic 2022-11-30 17:26:48 +01:00
  • bfd79845b6 Set all verific messages of certain type to other Miodrag Milanovic 2022-11-30 16:42:37 +01:00
  • b0469b3863 Fix tcl crash in case of error executing command Miodrag Milanovic 2022-11-30 15:54:31 +01:00
  • fd56d1f79e opt_expr: Constant fold mux, pmux, bmux, demux, eqx, nex cells Jannis Harder 2022-11-02 17:58:49 +01:00
  • c08242ba41 opt_expr: Optimize bitwise logic ops with one fully const input Jannis Harder 2022-11-02 17:57:14 +01:00
  • 661fa5ff92 simplemap: Map $xnor to $_XNOR_ cells Jannis Harder 2022-11-02 17:45:46 +01:00
  • f9db7c0599 Bump version github-actions[bot] 2022-11-29 00:18:02 +00:00
  • 10e22608c0 Merge pull request #3565 from jix/sat-def-formal Jannis Harder 2022-11-28 16:04:38 +01:00
  • ed0e14820e sat: Add -set-def-formal option to force defined $any* outputs Jannis Harder 2022-11-28 14:48:58 +01:00
  • 23e26ff661 Bump version github-actions[bot] 2022-11-26 00:16:21 +00:00
  • fd01d9eb8b Merge pull request #3561 from YosysHQ/tcl_shell Miodrag Milanović 2022-11-25 18:12:43 +01:00
  • 448a796e15 Merge pull request #3560 from YosysHQ/verific_conf Miodrag Milanović 2022-11-25 17:40:57 +01:00
  • 2450e6be22 Add TCL interactive shell mode Miodrag Milanovic 2022-11-25 16:18:02 +01:00
  • f764cd1655 update documentation Miodrag Milanovic 2022-11-25 14:27:30 +01:00
  • b0be19c126 Support importing verilog configurations using Verific Miodrag Milanovic 2022-11-25 13:02:11 +01:00
  • c55c514cdb Bump version github-actions[bot] 2022-11-25 00:16:25 +00:00
  • b9b5899cce Remove docs dependency on yosys repo (#3558) KrystalDelusion 2022-11-25 03:56:44 +13:00
  • a460e0b31c Tests for unpacked arrays in packed structs are for the Yosys frontend only Dag Lem 2022-11-23 16:37:51 +01:00
  • ddb12148e7 Support for swapped ranges in second array dimension Dag Lem 2022-11-23 16:31:08 +01:00
  • fc2f622a27 Merge pull request #3552 from daglem/fix-sv-c-array-dimensions Jannis Harder 2022-11-23 15:12:17 +01:00
  • 13e4f343b9 Bump version github-actions[bot] 2022-11-22 00:18:29 +00:00
  • 239ecf9185 Merge branch 'zachjs-master' Jannis Harder 2022-11-21 17:46:34 +01:00
  • b64141f48b mention prerequisites in fsm_detect and fsm help N. Engelhardt 2022-11-15 11:53:06 +01:00
  • e56c689962 Bump version github-actions[bot] 2022-11-18 00:20:31 +00:00
  • b6467f0801 fabulous: Allow adding extra custom prims and map rules gatecat 2022-11-16 13:35:37 +01:00
  • f111bbdf40 fabulous: improvements to the pass gatecat 2022-11-10 09:53:07 +01:00
  • e3f9ff2679 fabulous: Unify and update primitives gatecat 2022-11-09 13:28:53 +01:00
  • 12c22045b7 Introduce RegFile mappings TaoBi22 2022-09-29 18:16:44 +01:00
  • 2b07e01ea4 Replace synth call with components, reintroduce flags and correct vpr flag implementation TaoBi22 2022-09-28 12:42:27 +01:00
  • df56178567 Reorder operations to load in primitive library before hierarchy pass TaoBi22 2022-09-27 17:46:52 +01:00
  • da32f21b59 Add plib flag to specify custom primitive library path TaoBi22 2022-09-27 17:33:28 +01:00