Académique Documents
Professionnel Documents
Culture Documents
Rekha Bangalore
TM
Slide 1
TM
Freescale Semiconductor Confidential and Proprietary Information. Freescale and the Freescale logo are trademarks of Freescale Semiconductor, Inc. All other product or service names are the property of their respective owners. Freescale Semiconductor, Inc. 2005.
Adding assertions will help verify the design feature sets and
also obtain coverage for assessing IP quality.
Slide 2
TM
Freescale Semiconductor Confidential and Proprietary Information. Freescale and the Freescale logo are trademarks of Freescale Semiconductor, Inc. All other product or service names are the property of their respective owners. Freescale Semiconductor, Inc. 2005.
Slide 3
TM
Freescale Semiconductor Confidential and Proprietary Information. Freescale and the Freescale logo are trademarks of Freescale Semiconductor, Inc. All other product or service names are the property of their respective owners. Freescale Semiconductor, Inc. 2005.
Slide 4
TM
Freescale Semiconductor Confidential and Proprietary Information. Freescale and the Freescale logo are trademarks of Freescale Semiconductor, Inc. All other product or service names are the property of their respective owners. Freescale Semiconductor, Inc. 2005.
Slide 5
TM
Freescale Semiconductor Confidential and Proprietary Information. Freescale and the Freescale logo are trademarks of Freescale Semiconductor, Inc. All other product or service names are the property of their respective owners. Freescale Semiconductor, Inc. 2005.
Smaller vector set for corner cases are easier to detect at block level and
bugs can be fixed prior to SoC integration
Automatic generation of testbench Bugs found at Post layout due to incorrect timing constraints are detected
early. Example: Multi cycle paths and False Paths
Slide 6
TM
Freescale Semiconductor Confidential and Proprietary Information. Freescale and the Freescale logo are trademarks of Freescale Semiconductor, Inc. All other product or service names are the property of their respective owners. Freescale Semiconductor, Inc. 2005.
Challenges of current tools: Capacity issues Custom cells integrated at block level. Cannot generate functional coverage metrics from assertions Supporting all features of LRM Automatic generation of assertions/constraints based on scenarios Formal compatible VIP for standard Protocols Cannot generate Code coverage reports based on the proof
Slide 7
TM
Freescale Semiconductor Confidential and Proprietary Information. Freescale and the Freescale logo are trademarks of Freescale Semiconductor, Inc. All other product or service names are the property of their respective owners. Freescale Semiconductor, Inc. 2005.
Slide 8
TM
Freescale Semiconductor Confidential and Proprietary Information. Freescale and the Freescale logo are trademarks of Freescale Semiconductor, Inc. All other product or service names are the property of their respective owners. Freescale Semiconductor, Inc. 2005.
Conclusion Formal Verification is a must for quality verification Efficient strategy is required to plan the flow for both block and full
chip.
Slide 9
TM
Freescale Semiconductor Confidential and Proprietary Information. Freescale and the Freescale logo are trademarks of Freescale Semiconductor, Inc. All other product or service names are the property of their respective owners. Freescale Semiconductor, Inc. 2005.