A methodology for generating verified combinatorial circuits.

Oleg Kiselyov, Kedar N. Swadi, Walid Taha

Browse the full EMSOFT paper archive.