Formal methods in circuit design | lit.salon