YosysHQ
@yosyshq.com
The home for the team maintaining Yosys and related Open Source EDA projects.
https://www.yosyshq.com/
Sign up to our newsletter! https://yosyshq.com/newsletter
https://www.yosyshq.com/
Sign up to our newsletter! https://yosyshq.com/newsletter
Ever wanted to try adding formal verification to your project but it seemed too hard or expensive to get started? In this video @mattvenn.net Venn shows you an easy way to get up and running with our open source tools and GitHub actions!
youtu.be/Tn5wCOhzfvs
#Verification #Formal #OpenSource
youtu.be/Tn5wCOhzfvs
#Verification #Formal #OpenSource
Formal Verification Adoption Made Easy - DVWorld Club
YouTube video by YosysHQ
youtu.be
October 31, 2025 at 10:03 AM
Ever wanted to try adding formal verification to your project but it seemed too hard or expensive to get started? In this video @mattvenn.net Venn shows you an easy way to get up and running with our open source tools and GitHub actions!
youtu.be/Tn5wCOhzfvs
#Verification #Formal #OpenSource
youtu.be/Tn5wCOhzfvs
#Verification #Formal #OpenSource
Reposted by YosysHQ
You have just 10 days left to get your #ASIC design submitted to our TTSKY25b shuttle!
There are still 70 early bird dev kits left, which mean you can do a full custom tapeout for just €185!
Get started here: tinytapeout.com
There are still 70 early bird dev kits left, which mean you can do a full custom tapeout for just €185!
Get started here: tinytapeout.com
Tiny Tapeout - Tiny Tapeout
From idea to chip design in minutes! Tiny Tapeout is an educational project that makes it easier and cheaper than ever to get your designs manufactured on a real chip.
tinytapeout.com
October 31, 2025 at 9:59 AM
You have just 10 days left to get your #ASIC design submitted to our TTSKY25b shuttle!
There are still 70 early bird dev kits left, which mean you can do a full custom tapeout for just €185!
Get started here: tinytapeout.com
There are still 70 early bird dev kits left, which mean you can do a full custom tapeout for just €185!
Get started here: tinytapeout.com
Starting in just over an hour!
meet.jit.si/yosys-users-...
meet.jit.si/yosys-users-...
Our next #YUG will be with Matt Young, talking about triple modular redundancy.
Join us at 18:00 CET / 22:30 IST / 09:00 PT on Thursday 9th October.
Sign up to our mailing list to get a reminder before the event: blog.yosyshq.com/newsletter/
Join us at 18:00 CET / 22:30 IST / 09:00 PT on Thursday 9th October.
Sign up to our mailing list to get a reminder before the event: blog.yosyshq.com/newsletter/
October 9, 2025 at 2:56 PM
Starting in just over an hour!
meet.jit.si/yosys-users-...
meet.jit.si/yosys-users-...
Join us tomorrow at 18:00 CEST!
Our next #YUG will be with Matt Young, talking about triple modular redundancy.
Join us at 18:00 CET / 22:30 IST / 09:00 PT on Thursday 9th October.
Sign up to our mailing list to get a reminder before the event: blog.yosyshq.com/newsletter/
Join us at 18:00 CET / 22:30 IST / 09:00 PT on Thursday 9th October.
Sign up to our mailing list to get a reminder before the event: blog.yosyshq.com/newsletter/
October 8, 2025 at 3:39 PM
Join us tomorrow at 18:00 CEST!
Reposted by YosysHQ
this is me!! very much looking forward to presenting :3 please come join if you're interested in spaceflight/fault-tolerant computing or EDA algorithms! #yosys #eda
Our next #YUG will be with Matt Young, talking about triple modular redundancy.
Join us at 18:00 CET / 22:30 IST / 09:00 PT on Thursday 9th October.
Sign up to our mailing list to get a reminder before the event: blog.yosyshq.com/newsletter/
Join us at 18:00 CET / 22:30 IST / 09:00 PT on Thursday 9th October.
Sign up to our mailing list to get a reminder before the event: blog.yosyshq.com/newsletter/
October 1, 2025 at 11:40 AM
Our next #YUG will be with Matt Young, talking about triple modular redundancy.
Join us at 18:00 CET / 22:30 IST / 09:00 PT on Thursday 9th October.
Sign up to our mailing list to get a reminder before the event: blog.yosyshq.com/newsletter/
Join us at 18:00 CET / 22:30 IST / 09:00 PT on Thursday 9th October.
Sign up to our mailing list to get a reminder before the event: blog.yosyshq.com/newsletter/
September 29, 2025 at 10:54 AM
Our next #YUG will be with Matt Young, talking about triple modular redundancy.
Join us at 18:00 CET / 22:30 IST / 09:00 PT on Thursday 9th October.
Sign up to our mailing list to get a reminder before the event: blog.yosyshq.com/newsletter/
Join us at 18:00 CET / 22:30 IST / 09:00 PT on Thursday 9th October.
Sign up to our mailing list to get a reminder before the event: blog.yosyshq.com/newsletter/
Reposted by YosysHQ
Teaching processor design at Telecom Nancy
Lesson 1: build your own risc-V processor at home using a FPGA
Course notes are here:
github.com/BrunoLevy/le...
Lesson 1: build your own risc-V processor at home using a FPGA
Course notes are here:
github.com/BrunoLevy/le...
September 22, 2025 at 4:36 PM
Teaching processor design at Telecom Nancy
Lesson 1: build your own risc-V processor at home using a FPGA
Course notes are here:
github.com/BrunoLevy/le...
Lesson 1: build your own risc-V processor at home using a FPGA
Course notes are here:
github.com/BrunoLevy/le...
We are hiring! Both technical and admin, please take a look at our jobs page!
www.yosyshq.com/jobs
#jobs #hire
www.yosyshq.com/jobs
#jobs #hire
Jobs
Employee Profile: Synthesis or Formal Verification Developer at YosysHQ
You might know YosysHQ from our many Open Source EDA Projects. We are the maintainers of Yosys and the accompanying Open Source ...
www.yosyshq.com
September 18, 2025 at 3:28 PM
We are hiring! Both technical and admin, please take a look at our jobs page!
www.yosyshq.com/jobs
#jobs #hire
www.yosyshq.com/jobs
#jobs #hire
In our latest guest blog post, Matt Young introduces an Automated Triple Modular Redundancy EDA Flow for Yosys!
blog.yosyshq.com/p/tamara-tow...
blog.yosyshq.com/p/tamara-tow...
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
This is a guest blog post by Matt Young\n# Foreword Although I’m a computer scientist by education, I’ve always been interested in space since I was a kid. For a long time, I had simply forgotten abou...
blog.yosyshq.com
August 25, 2025 at 11:09 AM
In our latest guest blog post, Matt Young introduces an Automated Triple Modular Redundancy EDA Flow for Yosys!
blog.yosyshq.com/p/tamara-tow...
blog.yosyshq.com/p/tamara-tow...
Reposted by YosysHQ
Isle 🏝️ is my new #FPGA project.
Isle is a simple, modern computer — an open design that encourages tinkering, experimentation, and doing your own thing. I hope to inspire you to come on a journey with me and build your own computer. projectf.io/isle/fpga-co...
Isle is a simple, modern computer — an open design that encourages tinkering, experimentation, and doing your own thing. I hope to inspire you to come on a journey with me and build your own computer. projectf.io/isle/fpga-co...
August 1, 2025 at 8:14 AM
Isle 🏝️ is my new #FPGA project.
Isle is a simple, modern computer — an open design that encourages tinkering, experimentation, and doing your own thing. I hope to inspire you to come on a journey with me and build your own computer. projectf.io/isle/fpga-co...
Isle is a simple, modern computer — an open design that encourages tinkering, experimentation, and doing your own thing. I hope to inspire you to come on a journey with me and build your own computer. projectf.io/isle/fpga-co...
Reposted by YosysHQ
Want to help build a crowdsourced microcontroller?
You're invited to design peripherals (UARTs, timers, synths, etc.) for a @riscv.org.web.brid.gy chip that will be fabbed for real!
Take part for free!
tinytapeout.com/competitions...
You're invited to design peripherals (UARTs, timers, synths, etc.) for a @riscv.org.web.brid.gy chip that will be fabbed for real!
Take part for free!
tinytapeout.com/competitions...
July 25, 2025 at 10:57 AM
Want to help build a crowdsourced microcontroller?
You're invited to design peripherals (UARTs, timers, synths, etc.) for a @riscv.org.web.brid.gy chip that will be fabbed for real!
Take part for free!
tinytapeout.com/competitions...
You're invited to design peripherals (UARTs, timers, synths, etc.) for a @riscv.org.web.brid.gy chip that will be fabbed for real!
Take part for free!
tinytapeout.com/competitions...
Reposted by YosysHQ
We have a new home for community discussion around Yosys
yosyshq.discourse.group
Join us there for questions, support and discussion about our open source EDA tools.
#community #opensource #Yosys
yosyshq.discourse.group
Join us there for questions, support and discussion about our open source EDA tools.
#community #opensource #Yosys
June 9, 2025 at 11:50 AM
We have a new home for community discussion around Yosys
yosyshq.discourse.group
Join us there for questions, support and discussion about our open source EDA tools.
#community #opensource #Yosys
yosyshq.discourse.group
Join us there for questions, support and discussion about our open source EDA tools.
#community #opensource #Yosys
We have a new home for community discussion around Yosys
yosyshq.discourse.group
Join us there for questions, support and discussion about our open source EDA tools.
#community #opensource #Yosys
yosyshq.discourse.group
Join us there for questions, support and discussion about our open source EDA tools.
#community #opensource #Yosys
June 9, 2025 at 11:50 AM
We have a new home for community discussion around Yosys
yosyshq.discourse.group
Join us there for questions, support and discussion about our open source EDA tools.
#community #opensource #Yosys
yosyshq.discourse.group
Join us there for questions, support and discussion about our open source EDA tools.
#community #opensource #Yosys
Reposted by YosysHQ
Yes, if yosys and friends didn't exist I probably wouldn't have done any HW side projects, so i'd never have started Spade or Surfer
June 4, 2025 at 3:47 PM
Yes, if yosys and friends didn't exist I probably wouldn't have done any HW side projects, so i'd never have started Spade or Surfer
Reposted by YosysHQ
June 3, 2025 at 12:23 PM
Reposted by YosysHQ
IHP25b - our 4th open source chip with IHP is now open for digital design submissions!
We’re very happy to have our next shuttle open and we’re already looking forward to seeing another great set of designs manufactured onto custom silicon!
We’re very happy to have our next shuttle open and we’re already looking forward to seeing another great set of designs manufactured onto custom silicon!
April 25, 2025 at 10:08 AM
IHP25b - our 4th open source chip with IHP is now open for digital design submissions!
We’re very happy to have our next shuttle open and we’re already looking forward to seeing another great set of designs manufactured onto custom silicon!
We’re very happy to have our next shuttle open and we’re already looking forward to seeing another great set of designs manufactured onto custom silicon!
Reposted by YosysHQ
We’re close to making key decisions about future shuttles—and we want your input! 💬
What features matter most? What’s your price ceiling?
Take our 2-min survey 👉 forms.gle/EMrSJQ6dmw4P...
🎁 One respondent will win a beautiful 150mm silicon wafer!
What features matter most? What’s your price ceiling?
Take our 2-min survey 👉 forms.gle/EMrSJQ6dmw4P...
🎁 One respondent will win a beautiful 150mm silicon wafer!
April 15, 2025 at 8:40 AM
We’re close to making key decisions about future shuttles—and we want your input! 💬
What features matter most? What’s your price ceiling?
Take our 2-min survey 👉 forms.gle/EMrSJQ6dmw4P...
🎁 One respondent will win a beautiful 150mm silicon wafer!
What features matter most? What’s your price ceiling?
Take our 2-min survey 👉 forms.gle/EMrSJQ6dmw4P...
🎁 One respondent will win a beautiful 150mm silicon wafer!
Reposted by YosysHQ
Reposted by YosysHQ
Good news open-source #FPGA fans, there's a new release of nextpnr (place and route) from @yosyshq.com. The release notes mention "Numerous improvements to Gowin support": github.com/YosysHQ/next...
Release nextpnr 0.8 · YosysHQ/nextpnr
Remove nextpnr-gowin; replaced by Gowin support in nextpnr-himbaechel
Remove unmaintained FPGA interchange support
Updated and reworked CMake build system
Himbaechel: Numerous improvements to Gowin...
github.com
March 24, 2025 at 10:37 AM
Good news open-source #FPGA fans, there's a new release of nextpnr (place and route) from @yosyshq.com. The release notes mention "Numerous improvements to Gowin support": github.com/YosysHQ/next...
Join us in a few hours for a talk about ASIC synthesis with Yosys!
18:00 CET / 22:30 IST / 09:00 PT
meet.jit.si/yosys-users-...
18:00 CET / 22:30 IST / 09:00 PT
meet.jit.si/yosys-users-...
February 20, 2025 at 1:17 PM
Join us in a few hours for a talk about ASIC synthesis with Yosys!
18:00 CET / 22:30 IST / 09:00 PT
meet.jit.si/yosys-users-...
18:00 CET / 22:30 IST / 09:00 PT
meet.jit.si/yosys-users-...
It's time for another YUG! What's a YUG? It's the Yosys User's Group! For anyone interested in using Yosys - we've had sessions on primitives, plugins, hardware security, FPGAs and lots more...
This time we'll be turning to #ASIC synthesis with our own Emil Jiří Tywoniak.
This time we'll be turning to #ASIC synthesis with our own Emil Jiří Tywoniak.
February 18, 2025 at 5:40 PM
It's time for another YUG! What's a YUG? It's the Yosys User's Group! For anyone interested in using Yosys - we've had sessions on primitives, plugins, hardware security, FPGAs and lots more...
This time we'll be turning to #ASIC synthesis with our own Emil Jiří Tywoniak.
This time we'll be turning to #ASIC synthesis with our own Emil Jiří Tywoniak.
Reposted by YosysHQ
Simulation is the #ASIC terminology of the week!
In the last month, Simulation has been the 35th most popular out of 42 terms.
In the last month, Simulation has been the 35th most popular out of 42 terms.
Simulation
Simulation is the ASIC terminology of the week!
www.zerotoasiccourse.com
February 3, 2025 at 7:00 PM
Simulation is the #ASIC terminology of the week!
In the last month, Simulation has been the 35th most popular out of 42 terms.
In the last month, Simulation has been the 35th most popular out of 42 terms.
Looking for a tiny RISC-V core that scales with your needs?
We covered FazyRV by Meinhard Kissich in our community spotlight last year: blog.yosyshq.com/p/community-...
Now it's been silicon proven on @tinytapeout.com !
www.linkedin.com/posts/meinha...
We covered FazyRV by Meinhard Kissich in our community spotlight last year: blog.yosyshq.com/p/community-...
Now it's been silicon proven on @tinytapeout.com !
www.linkedin.com/posts/meinha...
February 3, 2025 at 11:39 AM
Looking for a tiny RISC-V core that scales with your needs?
We covered FazyRV by Meinhard Kissich in our community spotlight last year: blog.yosyshq.com/p/community-...
Now it's been silicon proven on @tinytapeout.com !
www.linkedin.com/posts/meinha...
We covered FazyRV by Meinhard Kissich in our community spotlight last year: blog.yosyshq.com/p/community-...
Now it's been silicon proven on @tinytapeout.com !
www.linkedin.com/posts/meinha...
Reposted by YosysHQ
Insta-follow, nice! Looking forward to your dive in to interesting off the main path of @yosyshq.com bit.
Gonna have to figure out what other fpga/yosys/openfpga nerds there are to follow here that I'm missing!
Gonna have to figure out what other fpga/yosys/openfpga nerds there are to follow here that I'm missing!
January 21, 2025 at 7:37 PM
Insta-follow, nice! Looking forward to your dive in to interesting off the main path of @yosyshq.com bit.
Gonna have to figure out what other fpga/yosys/openfpga nerds there are to follow here that I'm missing!
Gonna have to figure out what other fpga/yosys/openfpga nerds there are to follow here that I'm missing!
Reposted by YosysHQ
Fearlessly generate your own clocks with Lattice ECP5 #FPGAs and Yosys. Includes worked examples for #ULX3S and easy to adapt to any dev board. Happy #FPGAFriday! @yosyshq.com projectf.io/posts/ecp5-f...
ECP5 FPGA Clock Generation
Yosys and nextpnr have excellent support for Lattice ECP5 FPGAs. However, without using the ECP5 PLL (phase-locked loop), you’re stuck running at the speed of your dev board oscillator. This post outl...
projectf.io
January 31, 2025 at 9:42 AM
Fearlessly generate your own clocks with Lattice ECP5 #FPGAs and Yosys. Includes worked examples for #ULX3S and easy to adapt to any dev board. Happy #FPGAFriday! @yosyshq.com projectf.io/posts/ecp5-f...