Bridging Hardware and Software Analysis with Btor2C:
A Word-Level-Circuit-to-C Translator

Salih Ates, Dirk Beyer, Po-Chun Chien, and Nian-Ze Lee

Supplementary Webpages