A METHODOLOGY ON COMPONENT-BASED MODELING AND EFFECTIVENESS VERIFICATION FOR COMPLEX DIGITAL LOGIC COMPONENTS

Fu-Long Chen ； He-Ping Ye ； Jie Yang ； Jun-Ru Zhu ； Xue-Mei Qi ； Wen Zhou

《電機工程學刊》 22卷4期 (2015/08) Pp. 113-125

https://doi.org/10.6329/CIEE.2015.4.01

並列摘要

With the rapidly increasing of digital logic systems' complexity, its design flows become more and more tedious. In order to improve the development quality and efficiency, design activities need to be carried out under a convenient modeling methodology and a precise verification solution for completing the design cycle. This paper presents a modeling methodology for complex digital logic components. Component-based modeling can help the developers to understand the design intent preferably and speeding up the development process. Its calculus system offers a theoretic way to connect components via connectors, and then provides a theoretical basis for further verification. Verification becomes more and more important in current design flows of complex digital systems. Therefore most design resources are devoted into the verification tasks. In order to increase its efficiency and reduce the cost of engineering, verification flows should trend towards automation. This paper also presents an effectiveness verification method, which includes both completeness and stability verification, and gives the corresponding formal definitions, verification algorithm, experiments and comparisons for the effectiveness verification of complex digital logic components. This method can be used to ensure that the model can reflect the design intent of the designers effectively, detect some design errors which maybe result in modeling failures in implementation as soon as possible, and avoid the negligence and errors in modeling for complex digital systems.

並列關鍵字

Complex Digital Logic Components ； Effectiveness Verification ； Completeness Verification ； Stability Verification