% IMPORTANT: The following is UTF-8 encoded. This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.
@INPROCEEDINGS{Neske:1019241,
author = {Neske, Sascha and Olmos, Bryan and Zhang, Shuhang and
Kröning, Martin Werner and Lankes, Stefan and Kunz,
Wolfgang and Lettnin, Djones},
title = {{HW}/{SW} {F}ormal {C}o-{V}erification of {R}ust-based
{D}esigns {U}sing {H}ardware {A}bstraction {M}odel},
address = {[Piscataway, NJ]},
publisher = {IEEE},
reportid = {RWTH-2025-08272},
pages = {6 Seiten},
year = {2025},
comment = {IEEE Computer Society Annual Symposium on VLSI, July 6-9,
2025, Kalamata, Greece : conference proceedings / ISVLSI
2025 ; University of the Peloponnese, ECE - University of
the Peloponnese, ESDA Lab, ECSA Lab, IEEE Computer Society,
CAS - IEEE Circuits and Systems Society},
booktitle = {IEEE Computer Society Annual Symposium
on VLSI, July 6-9, 2025, Kalamata,
Greece : conference proceedings /
ISVLSI 2025 ; University of the
Peloponnese, ECE - University of the
Peloponnese, ESDA Lab, ECSA Lab, IEEE
Computer Society, CAS - IEEE Circuits
and Systems Society},
month = {Jul},
date = {2025-07-06},
organization = {28. IEEE Computer Society Annual
Symposium on VLSI, Kalamata (Greece), 6
Jul 2025 - 9 Jul 2025},
subtyp = {Review Article},
cin = {080052 / 616310},
cid = {$I:(DE-82)080052_20160101$ / $I:(DE-82)616310_20140620$},
typ = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
UT = {WOS:001575951700018},
doi = {10.1109/ISVLSI65124.2025.11130337},
url = {https://publications.rwth-aachen.de/record/1019241},
}
guest ::