HW/SW Formal Co-Verification of Rust-based Designs Using Hardware Abstraction Model
| Title: | HW/SW Formal Co-Verification of Rust-based Designs Using Hardware Abstraction Model |
|---|---|
| Authors: | Neske, Sascha; Olmos, Bryan; Zhang, Shuhang; Kroening, Martin; Lankes, Stefan; Kunz, Wolfgang; Lettnin, Djones |
| Source: | 2025 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) VLSI (ISVLSI), 2025 IEEE Computer Society Annual Symposium on. 1:1-6 Jul, 2025 |
| Relation: | 2025 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
| Database: | IEEE Xplore Digital Library |