Industry Expert Blogs
Model Checking in the CloudOlivier Coudert's Blog - Olivier CoudertOct. 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 Blogs
- Mitigating Side-Channel Attacks In Post Quantum Cryptography (PQC) With Secure-IC Solutions
- Intel Embraces the RISC-V Ecosystem: Implications as the Other Shoe Drops
- Digitizing Data Using Optical Character Recognition (OCR)
- Minima's Low Energy IP Garners Support from the European Innovation Council Accelerator
- Why, How and What of Custom SoCs