The Argument for Meta-Modeling-Based Approaches to Hardware Generation Languages. - Johannes Schreiner; Daniel Gerl; Robert Kunzelmann; Paritosh Kumar Sinha; Wolfgang Ecker (CoRR, 2024)

Verifying Non-friendly Formal Verification Designs: Can We Start Earlier? - Bryan Olmos; Daniel Gerl; Aman Kumar; Djones Lettnin (CoRR, 2024)