Panel: hierarchical and incremental verification for system level design: challenges and accomplishments
Grant Edmund Martin, Sandeep K. Shukla · International Conference on Formal Methods and Models for Co-Design · 2003
This panel will focus on two problems in formal and semiformalverification of co-design models. First one can be categorizedas Hierarchical verification or compositional verification.The second one is Incremental verification. Advances and challengesin both of these are important for realization of verificationstrategies for reasonable sized models, including hardware models,as well as hardware/software co-design models. This short positionpaper explains the MEMOCODE committee's view of theseproblems, followed by short position statements by the panelists.