Topics /

Hardware & Electronics

The most popular blog posts about hardware & electronics on Hacker News. 78 posts.

2013
72

How to Write Safe Verilog: Become a PL Troll

Troll? That's how people write Verilog 1 . At my old company, we had a team of formal methods PhD's who wrote a linter that typechecked our code, based on our naming convention. For our chip (which was small for a CPU), building a model (compiling) took about five minutes, running a single short test took ten to…