Symbolic debugging of embedded hardware and software.
Symbolic debuggers are system-development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the source level. In response to a user query, the debugger must retrieve and display the value of a source variable in a man...
| Cyhoeddwyd yn: | IEEE Transactions on computer-aided design of integrated circuits and systems 20, 3 (2001). |
|---|---|
| Prif Awdur: | |
| Fformat: | Erthygl |
| Iaith: | Saesneg |
| Pynciau: |