|
|||||
|
|
Debugging Hardware Designs Using a Value-Based Model |
|
| Authors: | Franz Wotawa |
| Affiliation: | (1) Technische Universität Graz Institut for Software Technology, Inffeldgasse 166/2, A-8010 Graz |
| Abstract: | |
| Keywords: | model-based reasoning software debugging debugging of hardware designs |
| 本文献已被 SpringerLink 等数据库收录！ | |