This paper studies the linkage problem between the result of high-level synthesis and back-end technology, presents a method of high-level technology mapping based on knowl edge, and studies deeply all of its importan...This paper studies the linkage problem between the result of high-level synthesis and back-end technology, presents a method of high-level technology mapping based on knowl edge, and studies deeply all of its important links such as knowledge representation, knowledge utility and knowledge acquisition. It includes: (1) present a kind of expanded production about knowledge of circuit structure; (2) present a VHDL-based method to acquire knowledge of tech nology mapping; (3) provide solution control strategy and algorithm of knowledge utility; (4)present a half-automatic maintenance method, which can find redundance and contradiction of knowledge base; (5) present a practical method to embed the algorithm into knowledge system to decrease complexity of knowledge base. A system has been developed and linked with three kinds of technologies, so verified the work of this paper.展开更多
The purpose of this paper is to study necessary and su？cient condition for the strong convergence of a new parallel iterative algorithm with errors for two finite families of uniformly L-Lipschitzian mappings in Bana...The purpose of this paper is to study necessary and su？cient condition for the strong convergence of a new parallel iterative algorithm with errors for two finite families of uniformly L-Lipschitzian mappings in Banach spaces. The results presented in this paper improve and extend the recent ones announced by [2–7].展开更多
文摘This paper studies the linkage problem between the result of high-level synthesis and back-end technology, presents a method of high-level technology mapping based on knowl edge, and studies deeply all of its important links such as knowledge representation, knowledge utility and knowledge acquisition. It includes: (1) present a kind of expanded production about knowledge of circuit structure; (2) present a VHDL-based method to acquire knowledge of tech nology mapping; (3) provide solution control strategy and algorithm of knowledge utility; (4)present a half-automatic maintenance method, which can find redundance and contradiction of knowledge base; (5) present a practical method to embed the algorithm into knowledge system to decrease complexity of knowledge base. A system has been developed and linked with three kinds of technologies, so verified the work of this paper.
基金supported by the National Natural Science Foun-dation of China (11071169)the Natural Science Foundation of Zhejiang Province (Y6110287)
文摘The purpose of this paper is to study necessary and su？cient condition for the strong convergence of a new parallel iterative algorithm with errors for two finite families of uniformly L-Lipschitzian mappings in Banach spaces. The results presented in this paper improve and extend the recent ones announced by [2–7].
