柳州做网站的企业,西安旅游网站建设,管理软件开发平台,昆明网站建设大全Conformal 工具最早由Verplex Systems开发。Verplex是一家专注于形式验证工具开发的公司#xff0c;其核心产品是Conformal等效性检查工具。由于其技术的先进性和市场需求#xff0c;Verplex的 Conformal工具迅速在半导体行业内获得了认可。 2003 年#xff0c;Cadence Desi… Conformal 工具最早由Verplex Systems开发。Verplex是一家专注于形式验证工具开发的公司其核心产品是Conformal等效性检查工具。由于其技术的先进性和市场需求Verplex的 Conformal工具迅速在半导体行业内获得了认可。 2003 年Cadence Design Systems收购了Verplex Systems将Conformal工具纳入其广泛的电子设计自动化(EDA)工具套件中。此后Cadence继续对Conformal进行改进和优化扩大了其应用范围并集成到Cadence的整体设计验证解决方案中。 现在的Conformal形式验证系列包括Conformal LEC(Logic Equivalence Checking)、Conformal ECO(Engineering Change Orders)、Conformal LP(Low Power)、Conformal CD(Constraint Designer)以及Conformal Verify。 Conformal LEC用于进行逻辑等价性检查。 Conformal ECO用于实现和验证ECO。 Conformal CD用于验证、优化和提升设计约束。 Conformal LP用于低功耗设计验证工具专门用于验证和优化低功耗设计。 Conformal Verify用于进行功能检查例如HDL (RTL) Rules、Modeling Rules、Predefined Property Checks、Clock Domain Crossing Checks。
