技术特征：
技术总结
本发明公开了一种基于云计算的形式验证平台及其方法，平台包括通过网络连接的客户端和云服务端；所述的客户端包括前端模块、中端模块和调配模块，所述的前端模块用于读入和解析芯片设计语言，所述的中端模块用于进行形式化建模，所述的调配模块用于对算法引擎进行组织；所述的云服务端包括引擎后端模块，所述的引擎后端模块用于处理客户端提出的验证需求。本发明通过模块化使本地和云运行模式无缝对接，将大部分和设计直接关联的信息处理以及验证报告和差错均在本地的客户端完成，云服务端仅进行验证运算，既保证了易用性又为用户提供了云计算的可扩展优势。云模式因为客户端和云服务端的隔离，为EDA工具的盗版问题提供了解决方案。
技术研发人员：袁军
受保护的技术使用者：成都奥卡思微电科技有限公司
技术研发日：2019.07.01
技术公布日：2019.10.08