一种基于多逻辑域的Alliance工具链逻辑综合方法（高校公示15天）（不包年费滞纳金）（需要二变）

本发明公开了一种基于多逻辑域的Alliance工具链逻辑综合方法，包括以下步骤：获得目标电路的中间表示结构；将中间表示结构中的布尔表达式映射为与目标电路的逻辑功能等价的XMG网络；对映射得到的XMG网络执行以优化逻辑层级为目标的逻辑优化；将逻辑层级优化后的XMG网络转换为AIG网络；对转换得到的AIG网络执行以优化节点数量为目标的逻辑优化，将优化后的AIG网络输出成aig文件；读取aig文件，解析后输出成VHDL文件，将VHDL文件输入给Alliance工具链，生成优化后的目标电路所对应的门级网表。该方法能够大幅提升逻辑优化的效率和可扩展性，有效解决现有Alliance工具链的性能瓶颈，显著提升Alliance工具链处理大规模电路设计的能力。

《一种基于多逻辑域的Alliance工具链逻辑综合方法（高校公示15天）（不包年费滞纳金）（需要二变）》是一发明专利，专利号为 2025106859093，当前法律状态为已下证，由宁波大学提出申请，发明人为储著飞;何其垚;夏银水;王伦耀，申请日期为2025-05-27，公开（公告）日期为2025-08-05，国际专利分类号（IPC）为 G06F 30/327 (2020.01)，高新资质：未报高企。该专利已下发证书，权利稳定，适合直接办理转让过户，是企业申报高企、项目招投标、质押融资的优质标的。赋翼网提供从选品、尽调、合同签订到官方著录项目变更（过户）的一站式专利转让服务，专业顾问全程协助，确保交易合规、安全、高效。专利摘要：本发明公开了一种基于多逻辑域的Alliance工具链逻辑综合方法，包括以下步骤：获得目标电路的中间表示结构；将中间表示结构中的布尔表达式映射为与目标电路的逻辑功能等价的XMG网络；对映射得到的XMG网络执行以优化逻辑层级为目标的逻辑优化；将逻辑层级优化后的XMG网络转换为AIG网络；对转换得到的AIG网络执行以优化节点数量为目标的逻辑优化，将优化后的AIG网络输出成aig文件；读取aig文件，解析后输出成VHDL文件，将VHDL文件输入给Alliance工具链，生成优化后的目标电路所对应的门级网表。该方法能够大幅提升逻辑优化的效率和可扩展性，有效解决现有Alliance工具链的性能瓶颈，显著提升Alliance工具链处理大规模电路设计的能力。

海量优质专利即买即用，四大核心优势助您弯道超车：
🏆 拿资质，享红利：高企认定、专精特新必备！轻松获取政府补贴、税收减免，招投标直接加分！
💎 增信誉，融资金：支持实缴注册资金，彰显企业硬实力；支持专利质押贷款，盘活现金流，扩张不缺钱！
🔥 强背书，防抄袭：印上“专利产品”，客户更信赖！构建技术壁垒，把竞争对手挡在门外，稳占市场份额！
🚀 省时间，快变现：告别漫长研发与高风险！优质专利即买即用，让技术立刻变成真金白银的利润！