YosysHQ's Avatar

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

313
Followers
11
Following
19
Posts
18.11.2024
Joined
Posts Following

Latest posts by YosysHQ @yosyshq.com

Join us in just over 3 hours for our 12th Yosys User's Group!

12.02.2026 13:53 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Newsletter Sign up to our newsletter and don't miss a post!

Sign up to our mailing list to get a reminder before the event: blog.yosyshq.com/newsletter/

Join the meeting here: meet.jit.si/yosys-users-...

09.02.2026 15:17 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image

For our 12th Yosys User’s Group we’re inviting your questions! What have you always wanted to ask the team?

- Formal verification
- Synthesis
- Plugins / internals
- How to contribute
- Roadmap

Join us at 18:00 CET / 22:30 IST / 09:00 PT on Thursday 12th February.

09.02.2026 15:17 πŸ‘ 1 πŸ” 3 πŸ’¬ 1 πŸ“Œ 1
Simulating RF Reality: VNAs, OpenEMS, and an On-Chip Antenna Design with Ghaith
Simulating RF Reality: VNAs, OpenEMS, and an On-Chip Antenna Design with Ghaith YouTube video by Zero To ASIC Course

At RF, your circuit stops being β€œsmall” compared to the signal - and everything changes.

New video interview about RF design, VNAs, simulation, and on-chip antennas.

www.youtube.com/watch?v=2xSA...

06.02.2026 11:30 πŸ‘ 7 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
Post image Post image

The last month of my life: BreakingTTAPs

This is a custom transport-triggered, 32 bit processor that will be fabricated by GlobalFoundries on their 180nm process (via of wafer.space)

I'll make a video at some point, but some high level details here:

04.12.2025 14:51 πŸ‘ 34 πŸ” 7 πŸ’¬ 3 πŸ“Œ 0
Video thumbnail

What open source ASIC tools am I excited by in 2025? OpenEMS, 3D viewers, Surfer, OpenROAD, and lots more!

Check this article for all the links: zerotoasiccourse.com/post/excited...

#opensource #ASIC #tools

24.11.2025 11:54 πŸ‘ 17 πŸ” 4 πŸ’¬ 4 πŸ“Œ 0
Formal Verification Adoption Made Easy - DVWorld Club
Formal Verification Adoption Made Easy - DVWorld Club YouTube video by YosysHQ

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

31.10.2025 10:03 πŸ‘ 4 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
Preview
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.

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

31.10.2025 09:59 πŸ‘ 5 πŸ” 5 πŸ’¬ 0 πŸ“Œ 0

Starting in just over an hour!
meet.jit.si/yosys-users-...

09.10.2025 14:56 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Join us tomorrow at 18:00 CEST!

08.10.2025 15:39 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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

01.10.2025 11:40 πŸ‘ 2 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
Post image

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/

29.09.2025 10:54 πŸ‘ 9 πŸ” 2 πŸ’¬ 0 πŸ“Œ 3
Title slide: "adventures with FPGAs", with a composite background made of photos of FPGAs and peripherals

Title slide: "adventures with FPGAs", with a composite background made of photos of FPGAs and peripherals

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...

22.09.2025 16:36 πŸ‘ 29 πŸ” 7 πŸ’¬ 1 πŸ“Œ 0
Preview
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 ...

We are hiring! Both technical and admin, please take a look at our jobs page!

www.yosyshq.com/jobs

#jobs #hire

18.09.2025 15:28 πŸ‘ 10 πŸ” 5 πŸ’¬ 0 πŸ“Œ 0
Preview
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...

In our latest guest blog post, Matt Young introduces an Automated Triple Modular Redundancy EDA Flow for Yosys!

blog.yosyshq.com/p/tamara-tow...

25.08.2025 11:09 πŸ‘ 6 πŸ” 3 πŸ’¬ 1 πŸ“Œ 0
A coconut sapling on a tropical beach.

A coconut sapling on a tropical beach.

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...

01.08.2025 08:14 πŸ‘ 33 πŸ” 11 πŸ’¬ 2 πŸ“Œ 1
Post image

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...

25.07.2025 10:57 πŸ‘ 55 πŸ” 34 πŸ’¬ 2 πŸ“Œ 3
Post image

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

09.06.2025 11:50 πŸ‘ 7 πŸ” 2 πŸ’¬ 0 πŸ“Œ 0
Post image

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

09.06.2025 11:50 πŸ‘ 7 πŸ” 2 πŸ’¬ 0 πŸ“Œ 0

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

04.06.2025 15:47 πŸ‘ 4 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
Post image

My thesis is now published online! πŸŽ‰

urn.kb.se/resolve?urn=...

03.06.2025 12:23 πŸ‘ 24 πŸ” 9 πŸ’¬ 3 πŸ“Œ 0
Post image Post image Post image

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!

25.04.2025 10:08 πŸ‘ 5 πŸ” 2 πŸ’¬ 2 πŸ“Œ 0
Post image

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!

15.04.2025 08:40 πŸ‘ 18 πŸ” 6 πŸ’¬ 0 πŸ“Œ 0
Video thumbnail

Bad AAPL

10.04.2025 06:43 πŸ‘ 13314 πŸ” 4012 πŸ’¬ 187 πŸ“Œ 142
Preview
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...

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...

24.03.2025 10:37 πŸ‘ 15 πŸ” 3 πŸ’¬ 0 πŸ“Œ 0
Post image

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-...

20.02.2025 13:17 πŸ‘ 3 πŸ” 2 πŸ’¬ 0 πŸ“Œ 0
Newsletter Sign up to our newsletter and don't miss a post!

Emil will be covering:

* ASIC synthesis in general
* Yosys scripts
* abc scripts
* New Yosys features for ASIC

Join us at 18:00 CET / 22:30 IST / 09:00 PT on Thursday 20th.

Sign up to our mailing list to get a reminder before the event: blog.yosyshq.com/newsletter/

18.02.2025 17:40 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image

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.

18.02.2025 17:40 πŸ‘ 5 πŸ” 1 πŸ’¬ 1 πŸ“Œ 0
Preview
Simulation Simulation is the ASIC terminology of the week!

Simulation is the #ASIC terminology of the week!
In the last month, Simulation has been the 35th most popular out of 42 terms.

03.02.2025 19:00 πŸ‘ 8 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
Post image Post image Post image Post image

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...

03.02.2025 11:39 πŸ‘ 12 πŸ” 7 πŸ’¬ 0 πŸ“Œ 0