IC design verification flows require significant computer time and fluctuating resources. Not every organization can acquire adequate on-site computing resources to maintain their schedule of reliability and verification flows. If they do, the large amount of required hardware can introduce inefficiencies by remaining unused during other phases of the development process. With the help of the cloud, these problems can be addressed.
By leveraging cloud computing resources, enterprises can meet “peak demand” periods when validating a full chip through a browser-based SaaS environment. A fully analog design environment with access to tools and a complete end-to-end design flow eliminates the need to maintain on-premises CAD infrastructure.
Engineers can complete design steps from schematic design to circuit simulation, layout, and verification in a secure cloud environment. Additionally, engineers have access to simulation capabilities through GPU-accelerated and multi-core options. As a result, computational infrastructure and license constraints can be eliminated. Design teams can move between tools seamlessly and scale their usage to fit their design demands.
Formal chip verification is especially suited to parallel execution. Each assertion can operate reasonably independently, allowing for a group of assertions to be deployed across a series of machines. With cloud-based services, the cost difference between parallel and serial operation disappears. Parallel operation is much faster in wall-clock time, and the cloud enables virtually infinite machine capacity to facilitate parallel operations. Consequently, the cloud is a natural location for the large computational requirements necessary for chip verification.