Performance Analysis in High-Level Synthesis

Jin Naiyong,He Ji-feng,Qiu Zongyan
2004-01-01
Abstract:Two new performance estimation algorithms are presented in this report. One is an optimal lower-bound prediction for the Resource Constrained Problem, and we propose a branch-andbound algorithm to obtain the exact solution by means of some novel bounding techniques. Experimental results show the efficiency and effect of this algorithm. The other is an approximate predication technique which is applicable to the hardware compiler for fast performance estimation. As the hardware compiler adopts the software compilation techniques, but is different from the traditional synthesis approach, the second algorithm we propose here could easily be embedded into this kind of hardware compiler to obtain results quickly. Pu Geguang is a fellow at UNU/IIST on leave from the School of Mathematical of Peking University, China, where he is a Ph.D candidate. His research interest includes programming theory, co-design techniques for real-time systems, object-oriented technology. Email: ggpu@iist.unu.edu Jin Naiyong is the vice director of Co-Design Lab, Shanghai Embeded System Institute. His research interest includes programming theory, formal methods application, formal language specification and compiler prototype. Email: nyjin@sei.ecnu.edu.cn He Jifeng is a senior research-fellow of UNU/IIST. He is also a professor of computer science at the Software Engineering Institute of East China Normal University. His research interests include the theories of programming languages, formal methods for safety-critical systems, parallel and distributed systems, component-oriented computing, co-design techniques for real-time embedded systems. Email: jifeng@iist.unu.edu Qiu Zongyan is a professor of computer science at the Department of Informatics, School of Mathematical Sciences of Peking University. His research interests include semantics, formal methods and programming languages. Email: zyqiu@pku.edu.cn Copyright c © 2004 by UNU/IIST, Pu Geguang, Jin Naiyong, He Jifeng, and Qiu Zongyan
What problem does this paper attempt to address?