Formal verification for high-assurance behavioral synthesis
Formal Verification for High-Assurance Behavioral Synthesis
scientific article; zbMATH DE number 5640947