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