On the Functional Verification of Programmable I/O Controllers

• Main Authors: Cheng-Huan Tsao, 曹正寰
• Other Authors: Kuan-Jen Lin
• Format: Others
• Language: zh-TW
• Published: 2007
• Online Access: http://ndltd.ncl.edu.tw/handle/77130364410981631602

碩士 === 輔仁大學 === 電子工程學系 === 95 === ABSTRACT A programmable I/O controller contains I/O registers through which users can configure the operation modes of the device, observe its statuses, and manage the data flow. I/O registers usually contain many I/O parameters. Different combinations of I/O parameter assignments determine various functions of the I/O controller. Although, it is possible to program an I/O controller with any combination of all parameters and all ranges, some combinations may be illegal due to parameter interdependences. In order to identify valid assignments, a so-called Parameter Domain Graph (PDG) was proposed to describe parameters and their interdependences [8]. In this thesis, we will extend its descriptive capability and avoid the use of MDD, which is required in previous work. Furthermore, based on valid assignments presented on the extended PDG, the proposed work can automatically generate (1) OVL-based assertions to check if a parameter assignment is valid, (2) e-language programs to produce test bench for valid parameter assignments and (3) e-language programs to calculate functional coverage.