Sascha Neske, Bryan Olmos, Shuhang Zhang, Martin Kröning, Stefan Lankes, Wolfgang Kunz, Djones Lettnin. HW/SW Formal Co-Verification of Rust-based Designs Using Hardware Abstraction Model. In IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2025, Kalamata, Greece, July 6-9, 2025. pages 1-6, IEEE, 2025. [doi]
Abstract is missing.