mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-24 01:25:33 +00:00
Code Activity
15699 commits 95 branches 53 tags 45 MiB
Commit graph

15699 commits

This branch
This branch
All branches
Author SHA1 Message Date
Akash Levy
fa97c4830e Generalize muxadd to muxorder 2025-03-06 16:57:47 -08:00
Alain Dargelas
c54c3f66b7 Single call to splitnets 2025-03-06 16:46:22 -08:00
Alain Dargelas
81ab3b5fed call splitnets for the whole design 2025-03-06 16:21:11 -08:00
Krystine Sherwin
c9785584da
docs/rosette: Fix tenses 2025-03-07 08:39:21 +13:00
Alain Dargelas
d4e4ece9fe bit split initial splitfanout call 2025-03-06 10:47:27 -08:00
Akash Levy
2749b6f31b Get latest abc changes 2025-03-05 23:05:09 -08:00
Akash Levy
a078707872 Merge remote-tracking branch 'upstream/main' 2025-03-05 23:04:07 -08:00
Alain Dargelas
4b598e317b getfanout factor 2025-03-05 13:10:53 -08:00
Alain Dargelas
f65d822935 cleanup dangling buffers 2025-03-05 11:49:12 -08:00
Alain Dargelas
7d46ab08d5 clocks, resets filters 2025-03-05 10:28:49 -08:00
Alain Dargelas
bc05f4fead Use buf instead of pos 2025-03-05 09:40:26 -08:00
Akash Levy
881080a827 Merge upstream 2025-03-05 07:54:26 -08:00
Akash Levy
12137c7ac4 Update memory_dff naming 2025-03-05 06:39:47 -08:00
Akash Levy
e1fc67a693 Improve the naming in instance add functions 2025-03-05 06:37:36 -08:00
Akash Levy
27c0fd9905 Fix pmuxtree naming 2025-03-05 06:36:17 -08:00
Akash Levy
e42e196695 Reenable opt_clean in submod 2025-03-05 06:18:38 -08:00
Akash Levy
fce2f2676d Rename minor things in opt_share 2025-03-05 06:17:41 -08:00
Akash Levy
7c1cb53c85 Packed muxes have src attr for each constituent mux 2025-03-05 06:09:40 -08:00
Akash Levy
8117ab228e Use set for strpool_attribute to maintain ordering, but keep some backwards compatibility 2025-03-05 03:28:19 -08:00
Akash Levy
3a67468860 Use ordered set for src attrs when flattening 2025-03-04 23:47:48 -08:00
Akash Levy
1b1855353d Reduce verbosity of some key things 2025-03-04 22:58:56 -08:00
Alain Dargelas
9f36d9dea9 comments 2025-03-04 15:52:10 -08:00
Alain Dargelas
4035a24e4c bulk splitnets 2025-03-04 15:06:58 -08:00
Alain Dargelas
7df2a8eb8e splinets fencing 2025-03-04 14:32:44 -08:00
Alain Dargelas
1027a96860 inputs option 2025-03-04 11:43:12 -08:00
Alain Dargelas
864850ab51 speedup 2025-03-04 11:09:09 -08:00
Alain Dargelas
3e25ff70ee input fanout 2025-03-04 10:52:46 -08:00
Alain Dargelas
104d39057e unique names 2025-03-04 10:31:20 -08:00
Alain Dargelas
fd2ac3ad8d simplify 2025-03-04 09:22:55 -08:00
Alain Dargelas
a8fa936080 simplify 2025-03-04 09:20:31 -08:00
Alain Dargelas
425e1a03ae reuse net on same cell 2025-03-03 21:45:53 -08:00
KrystalDelusion
176131b50e
Merge pull request #4855 from YosysHQ/contributing_md 
Initial version of CONTRIBUTING.md
 2025-03-04 15:57:33 +13:00
Alain Dargelas
6cff6d9c49 input fanout 2025-03-03 16:51:10 -08:00
Alain Dargelas
d5d58349fd split input nets with high fanout 2025-03-03 15:06:02 -08:00
Alain Dargelas
a1ad385702 help 2025-03-03 11:31:27 -08:00
Alain Dargelas
be95a08c08 cleanup 2025-03-03 11:23:45 -08:00
Alain Dargelas
c7623e4850 cleanup 2025-03-03 10:39:47 -08:00
Alain Dargelas
b95fc57136 comments 2025-03-03 10:08:27 -08:00
Emil J
39aacc95df
Merge pull request #4907 from YosysHQ/emil/fix-clear-preset-latch 
liberty: fix clear and preset latches
 2025-03-03 18:53:12 +01:00
Alain Dargelas
c8847e8286 debug flag 2025-03-03 09:35:49 -08:00
N. Engelhardt
0dfd9e9395
Merge pull request #4868 from david-sawatzke/improve_tcl_output_docs 
tcl: Update help message to clarify usage of `result.string`
 2025-03-03 15:16:42 +00:00
N. Engelhardt
268a034b21
Merge pull request #4866 from YosysHQ/ql_ioff 
add IOFF inference for qlf_k6n10f
 2025-03-03 14:12:09 +00:00
Alain Dargelas
21f026cb05 formal 2025-02-28 22:08:19 -08:00
Alain Dargelas
aa4c5e9ee5 working splinets 2025-02-28 21:54:28 -08:00
Alain Dargelas
0d854120a7 fanout per buffer 2025-02-28 20:38:36 -08:00
Krystine Sherwin
b56e3ec6e4
docs/functional: Minimal backend paragraphs 
I was thinking about compiling the dummy example and including a simple example usage, but it turns out functional.h isn't (currently) available for extensions.
 2025-03-01 16:15:54 +13:00
Alain Dargelas
2741989158 honor limits 2025-02-28 14:50:17 -08:00
KrystalDelusion
9106d6b3bd
Merge pull request #4881 from YosysHQ/pmgen-pass-restructure 
Move passes out of the passes/pmgen folder
 2025-03-01 10:22:54 +13:00
Alain Dargelas
25553a8ca9 splitnets 2025-02-28 12:07:58 -08:00
Krystine Sherwin
3c493d2bef
docs/rosette: Reword 
Acknowledge the minimal functional backend, highlighting what's new/different for our SExpr targets.
Add and use the reference `minimal backend`.
Use `note` directives to point out missing code sections (highlighting that the included diffs are not complete).
Racket *is* still strongly-typed, it's just dynamic instead of static.  Adjust phrasing to reflect that.
Adjust some of the literal includes, adding a new section from the `Functional::AbstractVisitor`, splitting the `Module::write_eval()` in twain and adding a `smtlib.cc` literal include for the node iteration, as well as for the `FunctionalSmtBackend` to compare against the minimal backend.
Move `Backend` description up to minimal functional backend section.
 2025-02-28 16:33:57 +13:00