Clash for FPGA work, and several tools from Galois for embedded real time uses.
Reply on news.ycombinator.com