面向数据通路逻辑等价性验证的并行SAT求解技术研究

工具

查询更多基金项目 | 智能选刊推荐

中国科学院软件研究所其他项目

• 面向EDA应用的基于电路学习的SAT和SMT混合求解方法（国自然，吴志林，2025）
• 教育智能体陪伴学习下的认知耦合理论和关键技术研究（国自然，周超，2025）
• 大模型情感价值对齐认知及可信决策理论研究（国自然，孙乐，2025）
• 面向自监督表示学习的因果机理和方法研究（国自然，强文文，2025）
• 面向跨平台互操作的分布式数字身份信任机制研究（国自然，徐静，2025）
• 软硬协同的机密计算操作系统高可扩展性研究（国自然，李明煜，2025）
• 基于物理引导和因果干预的声纳图像跨场景识别方法（国自然，李雪薇，2025）
• 基于电触觉的力觉特征呈现技术（国自然，林宏南，2025）