Hackernews posts about BMC

Related: FPGA  
  1. Because it doesn't have to (blog.computationalcomplexity.org)