HW/SW Formal Co-Verification of Rust-based Designs Using Hardware Abstraction Model. - Sascha Neske; Bryan Olmos; Shuhang Zhang; Martin Kröning; Stefan Lankes; Wolfgang Kunz; Djones Lettnin (ISVLSI, 2025)