Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator
Journal
Tools and Algorithms for the Construction and Analysis of Systems
Part Of
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Start Page
152
End Page
172
ISSN
0302-9743
1611-3349
ISBN (of the container)
978-303130819-2
ISBN
9783031308192
9783031308208
Date Issued
2023
Author(s)
SDGs
Publisher
Springer Nature Switzerland
Type
conference paper