Bridging hardware and software analysis with Btor2C: a word-level-circuit-to-C translator.
Saved in:
| Title: | Bridging hardware and software analysis with Btor2C: a word-level-circuit-to-C translator. |
|---|---|
| Authors: | Ates, Salih1 (AUTHOR), Beyer, Dirk1 (AUTHOR) dirk.beyer@sosy-lab.org, Chien, Po-Chun1 (AUTHOR), Lee, Nian-Ze1,2 (AUTHOR) |
| Source: | International Journal on Software Tools for Technology Transfer. Apr2026, p1-19. 19p. |
| Database: | Academic Search Ultimate |
| ISSN: | 14332779 |
|---|---|
| DOI: | 10.1007/s10009-026-00847-z |
