Streamlining HW-SW architecture development, verification and validation
Qamrul Hasan, Wendong Hu, Priyanka Ankolekar, Pan Lijun · 2012
The lack of code reuse in state-of-the-art verification methodologies results in long verification cycles. In this paper we present a new approach that structures the design/verification environment into 3 elements to ensure 100% reuse of verification codes across design phases: design abstraction, the abstraction-independent driver, and software applications on top of the driver. Through a real-world design project, we confirm an expected ∼35% saving in verification time over the classic methodology.