Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
yosys
Yosys Open SYnthesis Suite
Other
Emerging
GitHub
Website
Stars
1
Forks
—
Contributors
8
Last push
60mo ago
Recent commits
Latest commits.
Update to latest Verific with extensions for initial assertions
7a5ac90
Miodrag Milanovic
60mo ago
sv: fix a few struct and enum memory leaks
4446cfa
Zachary Snow
61mo ago
ecp5: Add DCSC blackbox
2b8f163
gatecat
60mo ago
Merge pull request #2835 from YosysHQ/verific_command
676c544
Claire Xen
60mo ago
Makefile: allow running multiple sanitizers at once
75e5500
Xiretza
64mo ago
Makefile: use git/make -C instead of cd
a189284
Xiretza
61mo ago
Makefile: pass PRETTY=0 to ABC
ef68c27
Xiretza
61mo ago
Makefile: don't bake DESTDIR into libyosys DT_SONAME
9c31ecf
Xiretza
61mo ago
Top contributors
Builders behind this project.
clairexen
4.5K commits
eddiehung
3.3K commits
whitequark
515 commits
mmicko
293 commits
wanda-phi
280 commits
gatecat
226 commits
boqwxp
180 commits
azonenberg
170 commits
