主要用于公司IC设计业务。针对数字电路和定制电路设计，提供电路级优化设计能力；采用自主HDB数据库引擎，是支撑IC设计业务的重要技术工具。
具体包括：数据同步服务器软件BoolSmart Server、数字电路解析软件BoolSmart Resolver、数字电路布线软件BoolSmart Innovator 、 高级智能分析软 件BoolSmart Catalyzer、信号分析优化软件BoolSmart Inspector、可视化调试软件BoolSmart Visualizer、命令行执行软件BoolSmart Translator、服务器管理软件BoolSmart Monitor等。
主要用于公司IC设计业务，基于自主研发的HDB数据库引擎，提供了定制集成电路的设计环境。该系统提供了全功能的层次化定制电路和版图设计能力，用于模拟电路、数模混合电路、存储器电路、FPGA等类型的集成电路的设计和实现，是支撑定制集成电路设计服务业务的基础性EDA工具。
具体包括：电路图设计软件DesignSmart Composer、版图设计软件DesignSmart Builder等。
主要用于公司IC设计业务。可用于实时版图验证和运算，适用于先进工艺复杂版图设计规则，可嵌入到数字电路后端设计软件BoolSmart Innovator和定制电路的版图设计软件DesignSmart Builder中。提供16纳米~180纳米工艺制程设计规则的验证能力，可进一步提升设计优化和验证过程中自动化操作水平和品质。同时，提供了二次开发接口，可支持应用级程序开发。用于设计服务业务，通过应用级开发，针对大型项目可显著提升设计效率。
具体包括：版图实时处理验证引擎VeriSmart Engine、版图处理界面生成软件VeriSmart Ticker、应用程序基础框架软件VeriSmart Foundation等。