Hacker Newsnew | past | comments | ask | show | jobs | submit | yatrios's submissionslogin
1.
Formal Verification for Verilog Using Yosys (cheickdo.github.io)
1 point by yatrios 12 months ago | past
2.
Shift Left Is the Tip of the Iceberg (semiengineering.com)
181 points by yatrios on Nov 19, 2024 | past | 97 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: