- ๐ Hi, Iโm @KatCe
- ๐ Iโm interested in embedded software and digital electronics verification.
- ๐ฑ Iโm currently learning more about formal verification.
- ๐๏ธ Iโm looking to collaborate on formal verification.
- ๐ซ How to reach me ... https://www.linkedin.com/in/katharina-ceesay-seitz-ba521087/
katce / yosys_issue_3773 Goto Github PK
View Code? Open in Web Editor NEWMinimized example to reproduce yosys issue 3773