A framework for specifying, modeling, implementation and verification of SOC protocols | IEEE Conference Publication | IEEE Xplore

A framework for specifying, modeling, implementation and verification of SOC protocols


Abstract:

We are presenting a hybrid verification framework to design, verify and implement SOC protocols. The framework is based on the creation of specifications in terms of exte...Show More

Abstract:

We are presenting a hybrid verification framework to design, verify and implement SOC protocols. The framework is based on the creation of specifications in terms of extended state transition tables, creation of templates for different phases of the design cycle and integration of these components in a design flow. The resultant design flow presents a tight integration of the debug/verification loop across different design stages that in turn reduce the time to market of the chip. This framework was applied to the design process of multiple SOC chips' production and the results have shown measurable enhancements.
Date of Conference: 02-05 September 2014
Date Added to IEEE Xplore: 06 November 2014
Electronic ISBN:978-1-4799-3378-5

ISSN Information:

Conference Location: Las Vegas, NV, USA

Contact IEEE to Subscribe

References

References is not available for this document.