• Jun 14, 2017 News!Vol.8, No.5 has been indexed by EI (Inspec).   [Click]
  • Jul 19, 2017 News!Vol.9, No.4 has been published with online version. 16 peer reviewed articles from 16 specific areas are published in this issue.   [Click]
  • Jun 14, 2017 News!Vol.9, No.3 has been published with online version. 15 peer reviewed articles from 8 specific areas are published in this issue.   [Click]
General Information
Editor-in-chief
Prof. Wael Badawy
Department of Computing and Information Systems Umm Al Qura University, Canada
I'm happy to take on the position of editor in chief of IJCTE. We encourage authors to submit papers concerning any branch of computer theory and engineering.
IJCTE 2016 Vol.8(5): 379-384 ISSN: 1793-8201
DOI: 10.7763/IJCTE.2016.V8.1074

A Graph-Based Solution for Register Coupling in Functional Verification

Zhang Yuxuan, Jiang Guofan, Lu Yinchao, and Gou Pengfei
Abstract—Predicting status of registers is required in verification development to accurately emulate behaviors of DUT. However, it is a complicated thing when register couplings exists in DUTs. To unleash verification development, we propose a graph-based solution, with a model of “topology + behavior” for register couplings, to accurate emulate states and behaviors of DUT. This work is inspired by realistic verification requirement in industry-level developments. With searching mechanism, register couplings can be efficiently and accurately processed at runtime. Verification works can be significantly simplified without remarkable resource costs and performance loss. Our experiment and analysis finally suggest tempting benefits of this method in functional verification development.

Index Terms—Chip development, functional verification, EDA.

Zhang Yuxuan, Jiang Guofan, Lu Yinchao, and Gou Pengfei are with China System and Technology Laboratory, IBM, Shanghai, P.R. China (e-mail: {zyxsh, jianggf, luyinch, goupengf}@cn.ibm.com).

[PDF]

Cite:Zhang Yuxuan, Jiang Guofan, Lu Yinchao, and Gou Pengfei, "A Graph-Based Solution for Register Coupling in Functional Verification," International Journal of Computer Theory and Engineering vol. 8, no. 5, pp. 379-384, 2016.

Copyright © 2008-2015. International Journal of Computer Theory and Engineering. All rights reserved.
E-mail: ijcte@vip.163.com