计算机科学>计算机科学中的逻辑
标题: 简洁安全游戏的合成算法
摘要: 我们研究AIG格式给出的简洁安全规范的电路综合。 我们展示了AIG安全规范如何自动分解为子规范。 然后,我们提出了符号合成算法,以从子规范的合成开始来解决合成问题。 我们已经在一组基准上评估了合成算法,包括2014年CAV会议附属合成研讨会组织的第一次合成比赛的建议。 我们表明,使用本文提出的合成算法,可以自动分解大量基准并更有效地求解。