Keerthikumara Devarajegowda, Wolfgang Ecker. Meta-model Based Automation of Properties for Pre-Silicon Verification. In IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8-10, 2018. pages 231-236, IEEE, 2018. [doi]
Abstract is missing.