General Documentation: Imperas Paper at DVCon 2014 Santa Clara Learning From Advanced Hardware Verification for Hardware Dependent Software


Abstract: We present a new perspective for embedded software verification for generalized multicore processor platforms, somewhat analogous to simulation-centric hardware verification solutions. A spatial, temporal, and abstract multi-dimensional framework for software verification, profiling, analysis, and debug is proposed that leverages a specialized simulation core. The simulator enables key services for the verification solution while providing a degree of separation from both the hardware models and software under test, to ensure accurate behavioral representation, as well as customization and performance advantages.

This paper discusses requirements for modern embedded software development and solutions utilized to date, before discussing this simulation-based solution and the dimensional framework layered above. We will also discuss two real life scenarios where the solution is utilized to affect.

Download document: DVCon_2014_Imperas_Paper_Learning_From_Advanced_Hardware_Verification_for_Hardware_Dependent_Software.pdf