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...

Mô tả đầy đủ

Chi tiết về thư mục

Xuất bản năm:	IEEE Transactions on computer-aided design of integrated circuits and systems 20, 3 (2001).
Tác giả chính:	Koushanfar, F.
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Embedded hardware. Embedded software. Globally optimized behavioral specifications. Heuristics. Optimization tasks. Runtime state. Source level. Source statement. Symbolic debugging. System-development tools. User expectations. Validation speed.