The Rust programming language has achieved popularity due to its modern features, such as type and memory safety, attracting major tech companies like Google and Amazon. Microsoft is rewriting core Windows libraries in Rust, seeking to mitigate longstanding security vulnerabilities prevalent in C/C++. Rust’s utility as a hardware/software co-assurance language positions it well for emerging technologies in autonomous systems, which require stringent certifications. This paper highlights Rust's use in High-Level Synthesis (HLS), where developers can abstractly define digital systems without delving into hardware specifics, letting the toolchain handle implementation details.
The Rust programming language has garnered significant interest and use as a modern, type-safe, memory-safe, and potentially formally analyzable programming language.
Microsoft announced at its BlueHat 2023 developer conference that it was beginning to rewrite core Windows libraries in Rust.
Our interest in Rust stems from its potential as a hardware/software co-assurance language, especially for autonomous and semi-autonomous platforms.
HLS developers specify the high-level abstract behavior of a digital system, and the HLS toolchain fills in the details to produce RTL structures.
Collection
[
|
...
]