An Algorithmic Methodology for Validation of Mixed Hardware/Software Systems

点击翻译按钮获取中文摘要

Modern integrated systems are often a mixture of hardware and softwarecomponents. Debugging and verifying these embedded computer systemsrequires the integration of hardware and software verification mechanisms.This research is investigating methods for checking correctness of anembedded system (hardware and software) design by verifying that adescription of the design has the proper behavior as elicited by a seriesof input stimuli. The approach is called coverage directed validation, andcoverage metrics are being devised. These measure the extent of designverification provided by a set of functional simulation vectors, whichcompute statement execution counts (controllability information), and checkto see whether effects of possible errors activated by program stimuli canbe observed at the circuit outputs (observability information). In particular, the project is exploring efficient methods to compute observability-basedcode coverage metrics that can be used for both embedded software andHDL coverage.