Crossmark

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

Crossref DOI link: https://doi.org/10.1007/s10009-026-00847-z

Published Online: 2026-04-30

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Ates, Salih https://orcid.org/0009-0001-2331-0955
Beyer, Dirk https://orcid.org/0000-0003-4832-7662
Chien, Po-Chun https://orcid.org/0000-0001-5139-5178
Lee, Nian-Ze https://orcid.org/0000-0002-8096-5595
Funding

Funding for this research was provided by:

Ludwig-Maximilians-Universität München
License Information

Text and Data Mining valid from 2026-04-30

Version of Record valid from 2026-04-30
More Information

Article History

Accepted: 20 February 2026

First Online: 30 April 2026