Bridging hardware and software analysis with Btor2C: A word-level-circuit-to-C translator

Published in TACAS, 2023

Dirk Beyer, Po-Chun Chien, and Nian-Ze Lee. In Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS, Springer, 2023. https://doi.org/10.1007/978-3-031-30820-8_12