何金凤
,
管致锦
,
程学云
,
郁可人
,
徐明强
连铸
doi:10.3969/j.issn.1007-5461.2015.02.006
为了确保基于NCV门库的量子电路的正确性和有效性,给出了量子电路故障定位树的生成算法和量子电路黑盒检测算法来定位量子电路中的门丢失故障.该故障定位树算法去除约98%的无用输出向量,提取输出表中有效的输入向量以及对应的故障输出向量,逐层生成故障定位树.结合量子电路黑盒检测算法对量子电路进行故障定位时不需要访问输出表就能够有效定位量子电路中的丢失门.对benchmarks部分电路进行实验,结果验证了该算法定位单故障门的有效性.
关键词:
量子光学
,
量子电路
,
故障定位树
,
丢失门故障
,
NCV门库
徐海
,
管致锦
,
程学云
,
朱鹏程
量子电子学报
doi:10.3969/j.issn.1007-5461.2017.02.011
综合量子电路时必须考虑量子电路实现时的约束与限制.某些量子技术中只允许物理上相邻的量子比特有相互作用,实现时必须采用线性最近邻架构.通常通过添加交换门使任意一个量子门的控制位与目标位相近邻,并保证电路的功能不受影响.在分析电路中量子比特状态的基础上,提出了一种新的线性最近邻量子电路构造方法.结果表明:对于所有40320个三比特量子电路,提出方案比已有方案的量子代价优化了约30%.
关键词:
量子光学
,
线性最近邻
,
逻辑综合
,
量子电路
,
NCV门库