| _2025-03-03_14：06：53_ | 2025-03-03 14：06：53 | | HAPS-100_ High-Performance Scalable Prototyping System _ Synopsys | | TAGs:半导体 EDA | | Summary: Synopsys is a leading provider of electronic design automation solutions and services, offering a range of products for design, verification, and manufacturing of semiconductors. Their offerings include silicon IP, verification IP, and design tools, as well as emulation and prototyping systems like HAPS-200 and ZeBu-200 for faster prototyping and software development. HAPS-100 is their highest performance and most scalable pre-silicon prototyping system, designed for software development and validation with the fastest performance and highest debug productivity.Synopsys 是电子设计自动化解决方案和服务提供商，提供一系列用于半导体设计、验证和制造的产品。他们的产品包括硅 IP、验证 IP 和设计工具，以及 HAPS-200 和 ZeBu-200 等仿真和原型系统，用于加快原型设计和软件开发。HAPS-100 是其最高性能和最具可扩展性的硅前原型系统，专为软件开发和验证而设计，具有最快的性能和最高的调试效率。 | |
| _2025-02-27_11：32：05_ | 2025-02-27 11：32：05 | | 芯华章X-EPIC _ 从芯定义智慧未来 | | TAGs:半导体 EDA | | Summary: X-Epic Tech is a Chinese EDA (Electronic Design Automation) company that focuses on creating agile verification solutions from chips to systems. They have developed over 200 patent applications and released several commercial-level verification products based on platformization, intelligence, and cloudization. Their offerings include a comprehensive digital verification full process EDA tool and seven product series covering hardware emulation systems, FPGA prototype verification systems, intelligent scene verification, static and formal verification, logic emulation, system debugging, and verification clouds. They have collaborated with various partners to enhance their RISC-V chip verification and testing solutions, and have received certifications from international standards such as ISO 26262. They have also received strategic investments from major funds and companies. Their research institute was established in 2017 to develop the next generation of EDA 2.0 technology. They have also opened an open-source EDA technology community, EDAGit.com, to lower the threshold for using formal verification tools. They have received numerous awards for their high-performance FPGA prototype verification system and high-performance hardware emulation system. They can be contacted for communications, business sales, recruitment, and foreign research collaborations.X-Epic Tech 是一家中国的 EDA（电子设计自动化）公司，专注于创建从芯片到系统的敏捷验证解决方案。他们开发了 200 多项专利申请，并发布了多款基于平台化、智能化和云化的商业级验证产品。他们的产品包括全面的数字验证全流程 EDA 工具和七大产品系列，涵盖硬件仿真系统、FPGA 原型验证系统、智能场景验证、静态和形式化验证、逻辑仿真、系统调试和验证云。他们与各种合作伙伴合作，以增强其 RISC-V 芯片验证和测试解决方案，并已获得 ISO 26262 等国际标准的认证。他们还获得了来自主要基金和公司的战略投资。他们的研究所成立于 2017 年，旨在开发下一代 EDA 2.0 技术。他们还开设了一个开源的 EDA 技术社区 EDAGit.com，以降低使用形式化验证工具的门槛。他们凭借其高性能 FPGA 原型验证系统和高性能硬件仿真系统获得了无数奖项。可以联系他们进行沟通、业务销售、招聘和外国研究合作。 | |
| _2025_2_27_11：16：08_ | 2025_2_27 11：16：08 | | 芯华章X-EPIC ： 从芯定义智慧未来 | | TAGs:半导体 EDA | | saved date: Thu Feb 27 2025 11:16:08 GMT+0800 (中国标准时间) | |