HN Explorer
↵
Trending
Stats
☾
yatrios
↗ HN profile
[
17.5 ms
]
full profile
Karma
72
Created
October 4, 2024
(1y ago)
Submissions
0
Submissions
2
Comments
1
Formal Verification for Verilog Using Yosys
(cheickdo.github.io)
1
points
1y ago
0
Shift Left Is the Tip of the Iceberg
(semiengineering.com)
181
points
1y ago
102