针对近年来片上系统(system on chip,SoC)高级综合验证领域的工作,首先分析了高级综合验证的难点,然后根据应用领域将算法分为3类:高级综合前端验证算法、高级综合调度验证算法和高级综合后端验证算法.同时分析了各类算法的优缺点和现...针对近年来片上系统(system on chip,SoC)高级综合验证领域的工作,首先分析了高级综合验证的难点,然后根据应用领域将算法分为3类:高级综合前端验证算法、高级综合调度验证算法和高级综合后端验证算法.同时分析了各类算法的优缺点和现有算法的主要技术手段;最后讨论了SoC高级综合验证算法目前面临的映射关系缺失、状态空间爆炸和复杂的数据结构等挑战,并对该领域今后的研究方向进行了展望.展开更多
In this work, two new dyes YK-1 and YK-2 with carboxylic acid and hydroxamic acid as anchoring groups,respectively, in combination with diphenylamine as donor and perylenemonoimide as acceptor were synthesized and app...In this work, two new dyes YK-1 and YK-2 with carboxylic acid and hydroxamic acid as anchoring groups,respectively, in combination with diphenylamine as donor and perylenemonoimide as acceptor were synthesized and applied in p-type dye-sensitized solar cells（p-DSCs） and dye-sensitized photoelectrochemical cells（PEC）. The results showed that the sensitizer（YK-1） based on carboxylic acid displayed a higher conversion efficiency of 0.064% under AM 1.5 solar conditions in p-DSCs. However, it was interesting that the hydroxamic acid based sensitizer（YK-2） on Ni O photocathode displayed better performance in a hydrophilic environment over a broad p H range under visible-light irradiation because of a versatile covalent attachment to Ni O surfaces. This may be ascribed to hydroxamic acid anchors, which have more sites interacting with the surface of Ni O in aqueous solution. This study demonstrates that YK-2 containing hydroxamic acid anchoring group is a promising candidate to achieve highly efficient and stable activity for dye-sensitized PEC system.展开更多
文摘针对近年来片上系统(system on chip,SoC)高级综合验证领域的工作,首先分析了高级综合验证的难点,然后根据应用领域将算法分为3类:高级综合前端验证算法、高级综合调度验证算法和高级综合后端验证算法.同时分析了各类算法的优缺点和现有算法的主要技术手段;最后讨论了SoC高级综合验证算法目前面临的映射关系缺失、状态空间爆炸和复杂的数据结构等挑战,并对该领域今后的研究方向进行了展望.
基金supported by the National Natural Science Foundation of China (21372082, 21421004, 21772040 and 21572062)the Fundamental Research Funds for the Central Universities (222201717003)the Programme of Introducing Talents of Discipline to Universities (B16017)
文摘In this work, two new dyes YK-1 and YK-2 with carboxylic acid and hydroxamic acid as anchoring groups,respectively, in combination with diphenylamine as donor and perylenemonoimide as acceptor were synthesized and applied in p-type dye-sensitized solar cells（p-DSCs） and dye-sensitized photoelectrochemical cells（PEC）. The results showed that the sensitizer（YK-1） based on carboxylic acid displayed a higher conversion efficiency of 0.064% under AM 1.5 solar conditions in p-DSCs. However, it was interesting that the hydroxamic acid based sensitizer（YK-2） on Ni O photocathode displayed better performance in a hydrophilic environment over a broad p H range under visible-light irradiation because of a versatile covalent attachment to Ni O surfaces. This may be ascribed to hydroxamic acid anchors, which have more sites interacting with the surface of Ni O in aqueous solution. This study demonstrates that YK-2 containing hydroxamic acid anchoring group is a promising candidate to achieve highly efficient and stable activity for dye-sensitized PEC system.
