RTL Design Debugging and Verification by Formal Semantic Modeling and Inference of Design Knowledge
Date Issued
2015
Date
2015
Author(s)
Lin, Chia-Hung
Abstract
RTL (Register Transaction Level) design debugging and verification is always a challenging problem. Traditionally, the research of debugging used to insert MUX (Multiplexer) into design to find the bugs. However, because of the complexity and designer’s design knowledge of RTL design, most engineers used to use waveform tools (e.g. Verdi) with design knowledge to debug rather than using automatic debugging tool. Combining the human’s behavior and knowledge on debugging and verification is a good perspective to research. We proposes a new approach and builds a system to debug RTL design by introducing formal semantic model and inference with design knowledge just like what designers used to do. With semantic of RTL code, design knowledge, we can easily infer what may cause these bugs. Also, we can use this semantic model and design knowledge to automatically write assertion and monitor into design. Finally, we point out the strengths and weaknesses of this approach, and possibilities on future research to improve our system.
Subjects
Debugging
Verification
Formal Semantic Model
Semantic Inference
Register Transaction Level
Type
thesis
File(s)![Thumbnail Image]()
Loading...
Name
ntu-104-R02921029-1.pdf
Size
23.32 KB
Format
Adobe PDF
Checksum
(MD5):2c6296184efdb832bdab2dc338cd046f