Simulation-based hardware verification with a graph-based specification

DOI10.1155/2018/6398616zbMath1427.68018OpenAlexW2792237047MaRDI QIDQ1721242

Zhao Lv, Yaohua Wang, Shuming Chen

Publication date: 8 February 2019

Published in: Mathematical Problems in Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2018/6398616

Mathematics Subject Classification ID

Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• An assertion-based verification methodology for system-level design

This page was built for publication: Simulation-based hardware verification with a graph-based specification