Meta-model Based Automation of Properties for Pre-Silicon Verification | IEEE Conference Publication | IEEE Xplore