简介
这一章节提供了对验证编译器平台（Verification Compiler Platform）、VC静态平台（VC Static Platform）和VC LP的介绍。本章分为以下几个部分：
- 验证编译器平台
- VC静态和形式化平台
- VC LP
验证编译器平台
当今的电子消费品市场受到对移动性、便携性和可靠性的巨大需求的推动。除了更快的上市时间和产品质量外，额外的功能、性能和带宽对于最大化半导体销售也非常重要。随着手机、笔记本电脑、个人数字助理（PDAs）、计算机、移动多媒体设备和便携式系统的演变，电池操作系统的增长呈现出指数级增长。
设计复杂性的增加和缩小技术，即在芯片的更小区域内添加越来越多的功能，为系统级芯片
标签：VC,验证,简介,平台,Platform,编译器,LP,VCLP,使用指南 From： https://blog.csdn.net/qq_45769068/article/details/142976208