Synthetic biology provides a new paradigm for life science research(“build to learn”)and opens the future journey of biotechnology(“build to use”).Here,we discuss advances of various principles and technologies in...Synthetic biology provides a new paradigm for life science research(“build to learn”)and opens the future journey of biotechnology(“build to use”).Here,we discuss advances of various principles and technologies in the mainstream of the enabling technology of synthetic biology,including synthesis and assembly of a genome,DNA storage,gene editing,molecular evolution and de novo design of function proteins,cell and gene circuit engineering,cell-free synthetic biology,artificial intelligence(AI)-aided synthetic biology,as well as biofoundries.We also introduce the concept of quantitative synthetic biology,which is guiding synthetic biology towards increased accuracy and predictability or the real rational design.We conclude that synthetic biology will establish its disciplinary system with the iterative development of enabling technologies and the maturity of the core theory.展开更多
We present a new approach to the synthesis of quantum automata. In previous research, reversible quantum automata were designed from tabular specifications or state graphs, and minimum length codes, which lead to circ...We present a new approach to the synthesis of quantum automata. In previous research, reversible quantum automata were designed from tabular specifications or state graphs, and minimum length codes, which lead to circuits with Toffoli gates with high numbers of inputs and thus to high quantum costs. This paper is the first to present a method to synthesize Sequential Quantum Circuits directly from flowcharts. In this paper, we directly map flowcharts to reversible/quantum circuits, using only inverters, 2*2 Feynman gates and 3*3 Toffoli gates, and thus reducing quantum costs. Our method has been confirmed by experiments on several benchmarks of practical flowcharts.展开更多
针对功率放大器调试困难的问题,采用ADS软件设计功率放大器。利用负载牵引方式寻找功率管在工作频段内的最佳匹配点,进行电路匹配设计和优化,实现了功率放大器各项指标要求。最终的实物测试结果与仿真结果基本吻合,验证了仿真的真实性...针对功率放大器调试困难的问题,采用ADS软件设计功率放大器。利用负载牵引方式寻找功率管在工作频段内的最佳匹配点,进行电路匹配设计和优化,实现了功率放大器各项指标要求。最终的实物测试结果与仿真结果基本吻合,验证了仿真的真实性和有效性。采用热管散热技术,将功率管结温控制在155.2℃的安全工作温度。为实现大功率输出,采用3 d B电桥功率合成技术,并对2条合成链路进行幅度和相位一致性控制,在所需频段达到200 W以上的功率输出。展开更多
As process technology development,model order reduction( MOR) has been regarded as a useful tool in analysis of on-chip interconnects. We propose a weighted self-adaptive threshold wavelet interpolation MOR method on ...As process technology development,model order reduction( MOR) has been regarded as a useful tool in analysis of on-chip interconnects. We propose a weighted self-adaptive threshold wavelet interpolation MOR method on account of Krylov subspace techniques. The interpolation points are selected by Haar wavelet using weighted self-adaptive threshold methods dynamically. Through the analyses of different types of circuits in very large scale integration( VLSI),the results show that the method proposed in this paper can be more accurate and efficient than Krylov subspace method of multi-shift expansion point using Haar wavelet that are no weighted self-adaptive threshold application in interest frequency range,and more accurate than Krylov subspace method of multi-shift expansion point based on the uniform interpolation point.展开更多
This paper presents a synthesis methodology for ECL circuits based on a mixed voltage-current signal representation and operation defined on the voltage and current signals. The ideas presented in this paper are then ...This paper presents a synthesis methodology for ECL circuits based on a mixed voltage-current signal representation and operation defined on the voltage and current signals. The ideas presented in this paper are then demonstrated on the design of an BCL 1-bit full adder. The paper concludes by presenting an algebraic system which is suitable for current signal representation and operation on currents.展开更多
An information extraction-based technique is proposed for RTL-to-gate equivalence checking. Distances are calculated on directed acyclic graph (AIG). Multiplier and multiplicand are distinguished on multiplications wi...An information extraction-based technique is proposed for RTL-to-gate equivalence checking. Distances are calculated on directed acyclic graph (AIG). Multiplier and multiplicand are distinguished on multiplications with different coding methods, with which the operand ordering/grouping information could be extracted from a given implementation gate netlist, helping the RTL synthesis engine generate a gate netlist with great similarity. This technique has been implemented in an internal equivalence checking tool, ZDIS. Compared with the simple equivalence checking, the speed is accelerated by at least 40% in its application to a class of arithmetic designs, addition and multiplication trees. The method can be easily incorporated into existing RTL-to-gate equivalence checking frameworks, increasing the robustness of equivalence checking for arithmetic circuits.展开更多
基金supported by the Strategic Priority Research Program of the Chinese Academy of Sciences(XDB29050100,XDB29050500,XDA24020102)to X.E.Zhang,C.Liu and C.Gao,respectivelythe National Natural Science Foundation of China(31725002,31861143017,32022044,62050152 and 32071428)to J.Dai,Y.Yuan,C.You,and X.Wang,respectivelythe National Key Research and Development Program of China(2020YFA0907700,2018YFA0901600,2019YFA09004500)to Y.Feng and P.Wei。
文摘Synthetic biology provides a new paradigm for life science research(“build to learn”)and opens the future journey of biotechnology(“build to use”).Here,we discuss advances of various principles and technologies in the mainstream of the enabling technology of synthetic biology,including synthesis and assembly of a genome,DNA storage,gene editing,molecular evolution and de novo design of function proteins,cell and gene circuit engineering,cell-free synthetic biology,artificial intelligence(AI)-aided synthetic biology,as well as biofoundries.We also introduce the concept of quantitative synthetic biology,which is guiding synthetic biology towards increased accuracy and predictability or the real rational design.We conclude that synthetic biology will establish its disciplinary system with the iterative development of enabling technologies and the maturity of the core theory.
文摘We present a new approach to the synthesis of quantum automata. In previous research, reversible quantum automata were designed from tabular specifications or state graphs, and minimum length codes, which lead to circuits with Toffoli gates with high numbers of inputs and thus to high quantum costs. This paper is the first to present a method to synthesize Sequential Quantum Circuits directly from flowcharts. In this paper, we directly map flowcharts to reversible/quantum circuits, using only inverters, 2*2 Feynman gates and 3*3 Toffoli gates, and thus reducing quantum costs. Our method has been confirmed by experiments on several benchmarks of practical flowcharts.
文摘针对功率放大器调试困难的问题,采用ADS软件设计功率放大器。利用负载牵引方式寻找功率管在工作频段内的最佳匹配点,进行电路匹配设计和优化,实现了功率放大器各项指标要求。最终的实物测试结果与仿真结果基本吻合,验证了仿真的真实性和有效性。采用热管散热技术,将功率管结温控制在155.2℃的安全工作温度。为实现大功率输出,采用3 d B电桥功率合成技术,并对2条合成链路进行幅度和相位一致性控制,在所需频段达到200 W以上的功率输出。
基金Sponsored by the Fundamental Research Funds for the Central Universities(Grant No.HIT.NSRIF.2016107)the China Postdoctoral Science Foundation(Grant No.2015M581447)
文摘As process technology development,model order reduction( MOR) has been regarded as a useful tool in analysis of on-chip interconnects. We propose a weighted self-adaptive threshold wavelet interpolation MOR method on account of Krylov subspace techniques. The interpolation points are selected by Haar wavelet using weighted self-adaptive threshold methods dynamically. Through the analyses of different types of circuits in very large scale integration( VLSI),the results show that the method proposed in this paper can be more accurate and efficient than Krylov subspace method of multi-shift expansion point using Haar wavelet that are no weighted self-adaptive threshold application in interest frequency range,and more accurate than Krylov subspace method of multi-shift expansion point based on the uniform interpolation point.
基金Supported by NNSF of China(No169573008)DARPA under contract # F33615-95-C-1627
文摘This paper presents a synthesis methodology for ECL circuits based on a mixed voltage-current signal representation and operation defined on the voltage and current signals. The ideas presented in this paper are then demonstrated on the design of an BCL 1-bit full adder. The paper concludes by presenting an algebraic system which is suitable for current signal representation and operation on currents.
基金the National Natural Science Foundation of China (No. 90207002)
文摘An information extraction-based technique is proposed for RTL-to-gate equivalence checking. Distances are calculated on directed acyclic graph (AIG). Multiplier and multiplicand are distinguished on multiplications with different coding methods, with which the operand ordering/grouping information could be extracted from a given implementation gate netlist, helping the RTL synthesis engine generate a gate netlist with great similarity. This technique has been implemented in an internal equivalence checking tool, ZDIS. Compared with the simple equivalence checking, the speed is accelerated by at least 40% in its application to a class of arithmetic designs, addition and multiplication trees. The method can be easily incorporated into existing RTL-to-gate equivalence checking frameworks, increasing the robustness of equivalence checking for arithmetic circuits.
