1
0
mirror of synced 2026-05-24 14:11:23 +00:00

Commit Graph

  • 12218a4c74 Unflip i and j. Rasmus Munk Larsen 2023-09-28 19:39:09 -07:00
  • 9f70830311 Improvements in "bufnorm" pass Claire Xenia Wolf 2023-09-28 20:42:07 +02:00
  • 5daa49bafb dft_tag: Fix size extending $x[n]or and $reduce_{or,bool}/$logic_not Jannis Harder 2023-09-28 17:32:19 +02:00
  • 7eaa4bcb46 sim: Add -noinitstate option and handle non-cosim initstate Jannis Harder 2023-09-28 17:29:24 +02:00
  • 20024900d9 Merge pull request #3813 from povik/ast-simplify-work-vol2 Martin Povišer 2023-09-28 11:57:58 +02:00
  • b0045300fd booth: Cut down the test Martin Povišer 2023-09-28 11:55:51 +02:00
  • 6b70b3dbef booth: Fix assertion Martin Povišer 2023-09-28 11:50:57 +02:00
  • 01a015747e Speed up RTLIL::Const::decode_string by 1.7x. Rasmus Munk Larsen 2023-09-27 17:16:13 -07:00
  • ac8b31e000 Bump version github-actions[bot] 2023-09-28 00:15:01 +00:00
  • 5b0d224b68 Improvements and fixes to "bufnorm" cmd Claire Xenia Wolf 2023-09-27 19:27:08 +02:00
  • 5699244091 Add bufnorm pass Claire Xenia Wolf 2023-09-27 18:59:53 +02:00
  • b35ea8f896 Merge pull request #3957 from YosysHQ/ver_def_param Miodrag Milanović 2023-09-27 17:37:58 +02:00
  • f193ebdded Verific: add default parameters to modules Miodrag Milanovic 2023-09-27 16:57:18 +02:00
  • d510a5fcde Merge pull request #3955 from nakengelhardt/nak/show_use_dot_for_aliases Martin Povišer 2023-09-27 11:25:19 +02:00
  • 076c5ceb71 Bump version github-actions[bot] 2023-09-27 00:15:07 +00:00
  • c172fef01a hashlib: Use a better hash for pool. Wanda 2023-09-26 18:56:54 +02:00
  • a511976b48 ast/simplify: Retire in_lvalue/in_param arguments to simplify Martin Povišer 2023-04-04 22:59:44 +02:00
  • 22b99413e8 ast/simplify: Make in_lvalue/in_param into props of AST nodes Martin Povišer 2023-04-05 11:00:07 +02:00
  • 10d0e69588 ast/simplify: Make tweaks in advance of big in_lvalue/in_param change Martin Povišer 2023-04-04 20:52:30 +02:00
  • 3319fdc46e show: use dot for wire aliases instead of BUF N. Engelhardt 2023-09-25 17:20:16 +02:00
  • 91bcf81dbd booth: Note down debug prints are broken Martin Povišer 2023-09-25 14:45:56 +02:00
  • 7179e4f4b8 booth: Improve user interface Martin Povišer 2023-09-25 14:44:45 +02:00
  • cde2a0b926 booth: Make more use of appropriate helpers Martin Povišer 2023-09-25 13:54:24 +02:00
  • d641dfaec2 rtlil: Add helper to emit full-adder cells Martin Povišer 2023-09-19 16:33:22 +02:00
  • 62302f601d booth: Remove more of unused helpers Martin Povišer 2023-09-19 16:25:40 +02:00
  • 30f8387b75 booth: Rewrite the main cell selection loop Martin Povišer 2023-09-19 16:25:10 +02:00
  • 986507f95f booth: Streamline the low-level circuit emission Martin Povišer 2023-09-19 15:48:23 +02:00
  • cb05262fc4 booth: Remove now-unused helpers Martin Povišer 2023-09-19 13:06:05 +02:00
  • fedd12261f booth: Move away from explicit Wire pointers Martin Povišer 2023-09-18 18:56:30 +02:00
  • f6f85f475b smt2: Check for constant bool after fully resolving signal George Rennie 2023-09-24 12:40:41 +01:00
  • 934c82254d Bump version github-actions[bot] 2023-09-22 00:14:51 +00:00
  • 9ed38bf9b6 Speed up the autoname pass by 3x. (#3945) Rasmus Munk Larsen 2023-09-21 02:46:49 -07:00
  • aa06809d64 rtlil: Speeds up Yosys by 17% Ethan Mahintorabi 2023-09-18 21:38:50 +00:00
  • b9745f638b Remove extraneous "public:". Rasmus Munk Larsen 2023-09-20 16:20:08 -07:00
  • e0042bdff7 Speed up TopoSort. The main sorting algorithm implementation in TopoSort::sort_worker is 11-12x faster. Overall, the complete sequence of building the graph and sorting is about 2.5-3x faster. The overall impact in e.g. the replace_const_cells optimization pass is a ~25% speedup. End-to-end impact on our synthesis flow is about 3%. Rasmus Munk Larsen 2023-09-20 15:49:05 -07:00
  • c4762d930e Merge pull request #3930 from povik/verific-test-memsemantics Martin Povišer 2023-09-20 11:46:42 +02:00
  • 99a5773911 Merge pull request #3920 from zachjs/asgn-expr Martin Povišer 2023-09-20 11:30:14 +02:00
  • 35a05686c4 Bump version github-actions[bot] 2023-09-20 00:15:04 +00:00
  • 8fb807cd24 Merge pull request #3943 from YosysHQ/verific_lineinfo Miodrag Milanović 2023-09-19 12:55:43 +02:00
  • 18855f23ce Set src attribute for verific with full info Miodrag Milanovic 2023-09-19 12:00:10 +02:00
  • 28e99f2b8c fix width of post-increment/decrement expressions Zachary Snow 2023-09-18 23:35:18 -04:00
  • 7d07615dee allow attributes in front of ++/-- statements Zachary Snow 2023-09-18 23:26:35 -04:00
  • e2b613355d Bump version github-actions[bot] 2023-09-19 00:23:00 +00:00
  • 98d0e749d6 Merge updates from 'master' into krys/docs Krystine Sherwin 2023-09-19 11:28:36 +12:00
  • 10ecbe9f5b docs: updating memory mapping text Krystine Sherwin 2023-09-19 11:26:57 +12:00
  • 93c9bf2f5d docs: Updating todos Krystine Sherwin 2023-09-19 11:21:15 +12:00
  • 54be4aca90 Merge pull request #3924 from andyfox-rushc/master Martin Povišer 2023-09-18 16:46:59 +02:00
  • 8222121164 verific: Add test of accurate semantics in memory inference Martin Povišer 2023-09-13 12:47:18 +02:00
  • 6dc7cc3a0e Merge pull request #3933 from timkpaine/tkp/kernelheaders N. Engelhardt 2023-09-18 16:29:51 +02:00
  • 39dc2c0725 Merge pull request #3925 from povik/ci-glibcxx-assertions N. Engelhardt 2023-09-18 16:11:04 +02:00
  • 9042124ba7 Alphabetize headers to be installed, include some missing required ones for plugins, fixes https://github.com/chipsalliance/synlig/pull/1972 https://github.com/dau-dev/tools/issues/6 Tim Paine 2023-09-15 14:24:45 -04:00
  • b84ed5d3ad Bump version github-actions[bot] 2023-09-14 00:14:42 +00:00
  • c7d7cfeaca Update ABC for WASI support. Catherine 2023-09-13 15:06:27 +00:00
  • eada408983 Merge pull request #3931 from whitequark/update-abc Miodrag Milanović 2023-09-13 13:40:49 +02:00
  • d79b4b2218 Merge pull request #3903 from jix/dft-future_ff Miodrag Milanović 2023-09-13 13:40:10 +02:00
  • e9a11dd088 Update ABC for WASI support. Catherine 2023-09-13 11:35:46 +00:00
  • 0e8a4adb59 verific: Update YOSYSHQ_VERIFIC_API_VERSION Jannis Harder 2023-09-05 11:52:21 +02:00
  • 62b4df4989 dft_tag: Implement $overwrite_tag and $original_tag Jannis Harder 2023-08-29 17:40:51 +02:00
  • 78ff40d1b2 Run future as part of prep Jannis Harder 2023-08-29 15:50:17 +02:00
  • 46a35da28c Add future pass to resolve $future_ff cells Jannis Harder 2023-08-29 15:47:05 +02:00
  • 7a0c37b62d Initial dft_tag implementation Jannis Harder 2023-07-13 14:04:40 +02:00
  • 27ac912709 Support import of $future_ff Miodrag Milanovic 2023-08-24 11:55:30 +02:00
  • 9c255c98b1 unescape string tag attribute Miodrag Milanovic 2023-06-21 17:09:28 +02:00
  • 54050a8c16 Basic support for tag primitives Miodrag Milanovic 2023-06-07 10:20:16 +02:00
  • 9e004426e0 Bump version github-actions[bot] 2023-09-13 00:14:55 +00:00
  • 08f79d111e ci: Enable extra libstdc++ assertions Martin Povišer 2023-09-09 22:32:51 +02:00
  • 05f0262d77 Merge pull request #3929 from YosysHQ/gatecat/fmt-fix Martin Povišer 2023-09-12 19:44:17 +02:00
  • b04f2352bb Merge pull request #3928 from povik/mem-wr-merge-transpemu-fix Martin Povišer 2023-09-12 19:43:58 +02:00
  • 98b9459535 fmt: Fix C++ string assertion when buf is empty gatecat 2023-09-12 18:12:07 +02:00
  • cbc4ec8178 mem: Fix index confusion in write port merging Martin Povišer 2023-09-12 14:54:03 +02:00
  • 88ce47e4f0 Merge pull request #3892 from QuantamHD/dont_use Miodrag Milanović 2023-09-12 14:58:44 +02:00
  • 1b5c7b8dd7 Merge pull request #3927 from YosysHQ/verific_memory Miodrag Milanović 2023-09-12 14:58:02 +02:00
  • ec75b24b8a Merge pull request #3926 from YosysHQ/update_abc2 Miodrag Milanović 2023-09-12 14:57:50 +02:00
  • 7b134c2a8c verific - respect order of read and write for rams Miodrag Milanovic 2023-09-12 11:56:15 +02:00
  • e4fe522767 MultPassWorker -> BoothPassWorker andyfox-rushc 2023-09-11 13:00:11 -07:00
  • eccc0ae6db Based passes/techmap/Makefile.inc changes on latest in yosys andyfox-rushc 2023-09-11 12:14:12 -07:00
  • a2c8e47295 multpass.cc -> booth.cc, added author/support contact info andyfox-rushc 2023-09-11 11:39:13 -07:00
  • 31ee566ece Merge pull request #3918 from povik/print-sampling-fix Martin Povišer 2023-09-11 17:08:04 +02:00
  • 5bef9b4e75 Merge pull request #3915 from povik/sim-print Martin Povišer 2023-09-11 17:03:59 +02:00
  • bef7ffccc1 Update ABC to latest Miodrag Milanovic 2023-09-11 16:25:58 +02:00
  • 1b5287af59 cpa_carry array added to heap andyfox-rushc 2023-09-10 14:20:30 -07:00
  • 8d4b6c2f69 Switched arrays for signed multiplier construction to heap andyfox-rushc 2023-09-10 13:31:47 -07:00
  • d77fb81507 2d array -> 1d array in module generator andyfox-rushc 2023-09-10 12:45:36 -07:00
  • 0fa412502c mult -> booth in synth.cc, to turn on use synth -booth andyfox-rushc 2023-09-08 16:44:59 -07:00
  • 1d92ea8001 Support for turning on mult pass from generic synth command andyfox-rushc 2023-09-08 16:16:24 -07:00
  • 6d29dc659b renamed passname to booth, replaced connect_sigSpecToWire with connect, updated test script andyfox-rushc 2023-09-08 15:34:56 -07:00
  • 411acc4a0a Fixed edge size cases for signed/unsigned booth generator andyfox-rushc 2023-09-08 13:41:31 -07:00
  • 25a33d4082 techmap: Make the Booth test deterministic Martin Povišer 2023-09-07 14:56:56 +02:00
  • 0c2a99ca47 techmap: Test the Booth multiplier Martin Povišer 2023-09-07 14:46:59 +02:00
  • 41b34a1935 Bump version github-actions[bot] 2023-09-07 00:14:30 +00:00
  • fedefa26bc multpass -- create Booth Encoded multipliers for andyfox-rushc 2023-09-06 16:35:17 -07:00
  • 368f2dd618 Merge pull request #3922 from jix/xprop-fixes Jannis Harder 2023-09-06 20:29:17 +02:00
  • e187fc915e xprop: Fix polarity errors and generate hdlnames Jannis Harder 2023-09-06 19:25:47 +02:00
  • 4edb1a1921 sv: support assignments within expressions Zachary Snow 2023-09-05 22:19:28 -04:00
  • 83b1a57eed Bump version github-actions[bot] 2023-09-06 00:14:34 +00:00
  • 2d0fc040cf ast: Substitute rvalues when parsing out print arguments Martin Povišer 2023-09-05 21:40:24 +02:00
  • d4d951657f sim: Add -assert option to fail on failed assertions Martin Povišer 2023-09-04 14:55:11 +02:00
  • e995dddeaa abc: Warn about replacing undef bits Martin Povišer 2023-08-16 12:42:00 +02:00
  • 11a2de815a Next dev cycle Miodrag Milanovic 2023-09-05 08:11:03 +02:00
  • 2584903a06 Release version 0.33 yosys-0.33 Miodrag Milanovic 2023-09-05 08:08:51 +02:00