Title :
Verification problems in reusing internal design components
Author :
Stapleton, Warren ; Tobin, Paul
Author_Institution :
AMD, Austin, TX, USA
Abstract :
Large SOCs provide new verification challenges. This paper discusses how the SOC/IP paradigm has impacted AMD, and highlights some of the design issues that you need to consider if you are going to embark on implementing the SOC/IP approach on large projects in your own company.
Keywords :
formal verification; logic design; system-on-chip; AMD; SOC/IP paradigm; component reuse; internal design component; verification problem; Bridges; Design optimization; Energy management; Formal verification; Microprogramming; Power system management; Process design; Production; Qualifications; Software design; IP; SOC; Validation; Verification;
Conference_Titel :
Design Automation Conference, 2009. DAC '09. 46th ACM/IEEE
Conference_Location :
San Francisco, CA
Print_ISBN :
978-1-6055-8497-3
