Circulette is a domain-specific probabilistic programming language for analyzing hardware robustness in Verilog designs built using Roulette - View it on GitHub