General Information
    • ISSN: 1793-8201 (Print), 2972-4511 (Online)
    • Abbreviated Title: Int. J. Comput. Theory Eng.
    • Frequency: Quarterly
    • DOI: 10.7763/IJCTE
    • Editor-in-Chief: Prof. Mehmet Sahinoglu
    • Associate Editor-in-Chief: Assoc. Prof. Alberto Arteta, Assoc. Prof. Engin Maşazade
    • Managing Editor: Ms. Mia Hu
    • Abstracting/Indexing: Scopus (Since 2022), INSPEC (IET), CNKI,  Google Scholar, EBSCO, etc.
    • Average Days from Submission to Acceptance: 192 days
    • E-mail:
    • Journal Metrics:

Prof. Mehmet Sahinoglu
Computer Science Department, Troy University, USA
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}


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-2024. International Association of Computer Science and Information Technology. All rights reserved.