Formal based Automation Framework to Verify Coherent Connectivity of Multi-instance IPs
TimeWednesday, July 13th5pm - 6pm PDT
LocationLevel 2 Exhibit Hall
Event Type
Engineering Track Poster
Engineering Tracks
Back-End Design
Embedded Systems
Front-End Design
DescriptionIn our SoCs, we often have IPs which are instantiated multiple times and Engineers spend valuable time and resources to verify these instances independently. We offer a formal verification based automated solution which provides a reliable way of verifying coherent connectivity of these IPs with the rest of the SoC and provides the necessary confidence, taking minimal time for execution and less compute resources compared to existing solutions. In our approach, we start with verifying one of the instances and understand how it is connected to rest of the SoC using reverse connectivity. With this information, we predict how other instances should have been integrated into the SoC and verify if our expectations match the implementation. This solution can be quickly expanded to new variants of the SoC with minimal manual intervention. Due to it's generic nature, this tried and tested solution can be implemented on any desired SoC containing multiple instances of an IP with in a short time.