Formalization of confidence levels in verification efforts
| Autor: | Fei Gong, Ramsundar Radhakrishnan, Joanne DeGroat |
|---|---|
| Rok vydání: | 2010 |
| Předmět: |
High-level verification
Functional verification Programming language Computer science Hardware description language Runtime verification computer.software_genre Intelligent verification Verilog Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION Formal verification computer Software verification computer.programming_language |
| Zdroj: | Proceedings of the IEEE 2010 National Aerospace & Electronics Conference. |
| DOI: | 10.1109/naecon.2010.5712962 |
| Popis: | In the present day, program codes that are written in Hardware Description Languages such as Verilog and VHDL, are very complex that includes numerous state spaces, larger set of inputs and as many outputs to the system. The verification space is almost infinite over complex circuit designs written using these HDLs, and hence functional verification is seldom complete. For a given design, the confidence levels quoted by the verification engineers today is rather an estimate than being the actual number. It is quite impossible to put a percentage of confidence on these verification levels. This paper presents a methodology to formalize an equation to present a percentage of confidence level in verification for combinational logic. Arithmetic for single precision floating type numbers is presented as an example to apply the equation and present its percentage of confidence level during its verification. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|