diagnostic database
ConceptA diagnostic database (DDB) is a repository used in microprocessor functional verification to store diagnostic programs together with analyzed attributes that characterize their run-time behavior. In the cited work, these stored attributes support diagnostic selection, querying, and feedback to improve generated tests and code-generation tools.
First seen 6/2/2026
Last seen 6/5/2026
Evidence 3 chunks
Wiki v1
WIKI
Diagnostic database
A diagnostic database (DDB) is used in the functional verification flow for microprocessors to keep diagnostic programs together with analyzed information about how those programs behaved during simulation.
Purpose
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
2 connectionsThe diagnostic database is used to improve code generation tools.
Ans manages and queries the diagnostic database.
LINKED ENTITIES
1 linksCITATIONS
7 sources7 citations — click to expand
[1] A diagnostic database (DDB) stores test programs together with information characterizing their run-time behavior so diagnostics with particular characteristics can later be retrieved. Code Generation and Analysis for the Functional Verification of Microprocessors
[2] Because RTL simulation is expensive and only a limited number of diagnostics can be simulated daily, code analysis and the DDB help decide which created diagnostics should be run on the RTL model. Code Generation and Analysis for the Functional Verification of Microprocessors
[3] Profiler-based analysis is executed on a diagnostic's trace file after simulation, and the results are expressed as values for a prespecified attribute set common to all diagnostics. Code Generation and Analysis for the Functional Verification of Microprocessors
[4] Example diagnostic attributes include number of instructions executed, cache hits and misses, exception information, and lengths of various queues in the microprocessor. Code Generation and Analysis for the Functional Verification of Microprocessors
[5] Ans stores the analysis information in a highly efficient object-based diagnostic database (ODDB), and both modifies the database and queries it. Code Generation and Analysis for the Functional Verification of Microprocessors
[6] Queries over the diagnostic database are expressed as equalities or inequalities on stored attributes; the paper gives an example involving ICount <= 2000 and FP Exception >= 10. Code Generation and Analysis for the Functional Verification of Microprocessors
[7] The analysis and evaluation results stored in the diagnostic database are used subsequently to improve the quality of generated code and the effectiveness of code-generation tools. Code Generation and Analysis for the Functional Verification of Microprocessors