Model Checking in the Cloud
October 30, 2012
Last week I was invited in Cambridge, UK, to participate to a panel at the FMCAD conference (Formal Methods in Computer-Aided Design). The subject: “Model Checking in the Cloud”. With another four people, we discussed the questions laid out by the panel moderator:
- How can model checking leverage the advantages of distributed and multi-core systems in the cloud?
- What are possible solutions beyond an “embarrassingly parallel” approach of running a single property per core?
- Is there a specific subset of properties that might be more suitable to this form of analysis?
- What issues need to be addressed for design houses to adopt this technology and will the current license model of EDA tools change to adapt to the new requirements?
Related Semiconductor IP
- AES GCM IP Core
- High Speed Ethernet Quad 10G to 100G PCS
- High Speed Ethernet Gen-2 Quad 100G PCS IP
- High Speed Ethernet 4/2/1-Lane 100G PCS
- High Speed Ethernet 2/4/8-Lane 200G/400G PCS
Related Blogs
- EDA in the Cloud: Astera Labs, AWS, Arm, and Cadence Report
- 5 Cloud Predictions to Watch in 2023
- How to Get High-Performance Simulation with Predictable Capacity Uplift in the Cloud
- Execute Your Hardware Verification Campaign in the Cloud - a Verification Engineer's Perspective
Latest Blogs
- Why Choose Hard IP for Embedded FPGA in Aerospace and Defense Applications
- Migrating the CPU IP Development from MIPS to RISC-V Instruction Set Architecture
- Quintauris: Accelerating RISC-V Innovation for next-gen Hardware
- Say Goodbye to Limits and Hello to Freedom of Scalability in the MIPS P8700
- Why is Hard IP a Better Solution for Embedded FPGA (eFPGA) Technology?