- Title:
Meta-model Based Automation of Properties for Pre-Silicon Verification
- Document type:
- Konferenzbeitrag
- Author(s):
- Devarajegowda, Keerthikumara; Ecker, Wolfgang
- Book / Congress title:
- IFIP International Conference on Very Large Scale Integration (VLSI)
- Year:
- 2018
- BibTeX