SHiLA: Synthesizing High-Level Assertions for High-Speed Validation of High-Level Designs

Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn Lisper. SHiLA: Synthesizing High-Level Assertions for High-Speed Validation of High-Level Designs. In 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2020, Novi Sad, Serbia, April 22-24, 2020. pages 1-4, IEEE, 2020. [doi]

Abstract

Abstract is missing.