Asynchronous circuits; Petri nets; Logic synthesis; Signal transition graphs; Unfoldings;
机译:避免状态空间爆炸问题的规范指南
机译:预防爆炸:检查并维护集尘系统,避免爆炸
机译:约束空间中的自动偏置偏移,用于逻辑程序综合
机译:在时间逻辑模型检查中避免状态爆炸问题
机译:在具有输入覆盖计划和符号执行的多线程程序中避免状态空间爆炸。
机译:拟度量空间和度量空间中的近似蕴涵逻辑
机译:时间逻辑模型检查:两种技术用于避免国家爆炸问题
机译:用于低功耗移动应用项目的高级逻辑综合组合逻辑综合研究报告