Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2018, Article ID 6398616, 10 pages
https://doi.org/10.1155/2018/6398616
Research Article

Simulation-Based Hardware Verification with a Graph-Based Specification

College of Computer, National University of Defense Technology, Changsha 410072, China

Correspondence should be addressed to Yaohua Wang; moc.liamxof@hytdun

Received 18 September 2017; Revised 24 December 2017; Accepted 8 January 2018; Published 8 February 2018

Academic Editor: Xinkai Chen

Copyright © 2018 Zhao Lv et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

Zhao Lv, Shuming Chen, and Yaohua Wang, “Simulation-Based Hardware Verification with a Graph-Based Specification,” Mathematical Problems in Engineering, vol. 2018, Article ID 6398616, 10 pages, 2018. https://doi.org/10.1155/2018/6398616.