Reblogged by cstanhope@social.coop ("Your friendly 'net denizen"):
yosyshq@fosstodon.org ("YosysHQ") wrote:
yosys users group - meet-up #002
September 7th at 18:00 CEST.
We'll start with a demo of our new formal equivalence checker targetting the #OpenLane #ASIC flow. Bring your own design to follow along!
Afterwards we'll have time for your questions and suggestions.
Feel free to bring a friend!Use this link to join:
https://meet.jit.si/NoisyAssembliesExpressEach
The YosysHQ team will be present and are looking forward to meeting you!