41348498
Fast and exact simultaneous gate and wire sizing by Lagrangian relaxation
6347443
IPR: An Integrated Placement and Routing Algorithm
In nanometer-scale VLSI technologies, several interconnect issues like routing congestion and interconnect delay have become the main concerns in placement. However, all previous placement approaches optimize some very primitive interconnect models during placement. These models are far from the actual interconnect implementation in the routing stage. As a result, placement solution considered to be good by primitive interconnect models may turn out to be poor after routing. In addition, the placement may not even be routable and timing closure may not be achievable. In this paper, we propose to address the inconsistency between the placement and routing objectives by fully integrating global routing into placement. As a first attempt to this novel approach, we focus on routability issue. We call the proposed algorithm for routing congestion minimization IPR (integrated placement and routing). To ensure the algorithm to be computationally efficient, efficient placement and routing algorithms FastPlace, FastDP and FastRoute are integrated, and well-designed methods are proposed to integrate them efficiently and effectively. Experimental results show that IPR reduces overflow by 36%, global routing wirelength by 3.6%, and runtime by 36% comparing to ROOSTER, which is the previous best academic routability- driven placer.
52810492
Optimal cell flipping in placement and floorplanning
In a placed circuit, there are a lot of movable cells that can be flipped to further reduce the total wirelength, without affecting the original placement solution. We aim at solving this flipping problem optimally. However, solving such a problem optimally is non-trivial given the gigantic sizes of modern circuits. We are able to identify a large portion of cells (about 75%) of which the orientation (flipped or not flipped) can be determined independent of the orientations of all the other cells. We have derived three non-trivial conditions to identify those so called independent cells, strictly solvable cells and conditionally solvable cells. In this way, we can greatly reduce the number of cells whose orientations are dependent on each other. Finally, the cell flipping problem of the remaining dependent cells can be formulated as a mixed integer linear programming (MILP) problem and solved optimally. However, this may still be too slow for extremely large circuits and we have applied two other methods, linear programming (LP) and linear programming followed by mixed integer linear programming (LP+MILP) to solve the problem. Experimental results show that by identifying those independent and solvable cells first and applying the LP+MILP technique, we can solve this flipping problem effectively and obtain results just 0.01% more than the optimal. In addition, we can improve the wirelength and number of overflow tiles by 5% and 9% respectively on the floorplanning benchmarks
24078054
Greedy wire-sizing is linear time
The greedy wire-sizing algorithm (GWSA) has been experimentally shown to be very efficient, but no mathematical analysis on its convergence rate has ever been reported. In this paper, we consider GWSA for continuous wire sizing. We prove that GWSA converges linearly to the optimal solution, which implies that the run time of GWSA is linear with respect to the number of wire segments for any fixed precision of the solution. Moreover, we also prove that this is true for any starting solution. This is a surprising result because previously it was believed that in order to guarantee convergence, GWSA had to start from a solution in which every wire segment is set to the minimum (or maximum) possible width. Our result implies that GWSA can use a good starting solution to achieve faster convergence. We demonstrate this point by showing that the minimization of maximum delay and the minimization of area subject to maximum delay bound using Lagrangian relaxation can be sped up by more than 50%.
53246587
A revisit to floorplan optimization by Lagrangian relaxation
12805154
Efficient rectilinear Steiner tree construction with rectilinear blockages
Given n points on a plane, a rectilinear Steiner minimal tree (RSMT) connects these points through some extra points called Steiner points to achieve a tree with minimal total wire length. Taking blockages into account dramatically increases the problem complexity. It is extremely unlikely that an efficient optimal algorithm exists for rectilinear Steiner minimal tree construction with rectilinear blockages (RSMTRB). Although there exist some heuristic algorithms for this problem, they have either poor quality or expensive running time. In this paper, we propose an efficient and effective approach to solve RSMTRB. The connection graph we used in this approach is called spanning graph which only contains O(n) edges and vertices. An O(n log n) time algorithm is proposed to construct spanning graph for RSMTRB. The experimental results show that this approach can achieve a solution with significantly reduced wire length. The total run time increased is negligible in the whole design flow.
41639900
An Evolutionary Fuzzy Multi-objective Approach to Cell Formation
Fuzzy mathematical programming (FMP) has been shown not only providing a better and more flexible way of representing the cell formation (CF) problem of cellular manufacturing, but also improving solution quality and computational efficiency. However, FMP cannot meet the demand of real-world applications because it can only be used to solve small-size problems. In this paper, we propose a heuristic genetic algorithm (HGA) as a viable solution for solving large-scale fuzzy multi-objective CF problems. Heuristic crossover and mutation operators are developed to improve computational efficiency. Our results show that the HGA outperforms the FMP and goal programming (GP) models in terms of clustering results, computational time, and user friendliness.
41515379
The I+ Test
The I test is an efficient and precise data dependence method to ascertain whether integer solutions exist for one-dimensional arrays with constant bounds. For one-dimensional arrays with variable limits, the I test assumes that there may exist integer solutions. In this paper, we propose the I+ test|an extended version of the I test. The I+ test can be applied towards determining whether integer solutions exist for onedimensional arrays with either variable or constant limits, improving the applicable range of the I test. Experiments with benchmark cited from EISPACK, LINPACK, Parallel loops, Livermore loops and Vector loops showed that among 1189 pairs of one-dimensional arrays tested, 183 had their data dependence analysis amended by the I+ test. That is, the I+ test increases the success rate of the I test by approximately 15:4 percent. Comparing with the Power test and the Omega test, the I+ test has higher accuracy than the Power test and shares the same accuracy with the Omega test when determining integer solutions for these 1189 pairs of one-dimensional arrays, but has much better efficiency over them.
37782928
A multi-dimensional version of the I test
Abstract Two-dimensional arrays with linear subscripts occur quite frequently in real programs. In general, for multi-dimensional linear arrays under constant bounds the Lambda test is an efficient data dependence method to check whether there exist real solutions. In this paper, we propose a multi-dimensional version of the I test, the multi-dimensional I test, that can be applied to testing whether there are integer solutions for multi-dimensional linear arrays under constant limits. Experiments with benchmark showing the effects of the multi-dimensional I test on testing precision and testing efficiency are also presented.
20851072
Constructing a SCORM-Compliant Intelligent Strategy Repository
Developing a pedagogical learning content that can be delivered among different Learning Management Systems (LMSs) is a critical task for most instructors. Although the Sharable Content Object Reference Model (SCORM) has proposed a mechanism allowing the exchange of learning contents between LMSs, to embed learning strategies to SCORM-compliant learning content is still an open issue. This paper proposes a mechanism to construct a SCORM-compliant strategy repository which contains learning strategies. The strategy repository can be adapted to satisfy the requirement of instructor for designing learning content with strategies embedded. The strategy repository presented in this paper is with the following advantages: (a) the strategies stored are domain independent; (b) the strategies offered are adaptable; (c) the strategies saved can be continuously evolved; (d) the strategies stored can be reusable.
5795561
An in-depth analysis of information markets with aggregate uncertainty
The novel idea of setting up Internet-based virtual markets, information markets, to aggregate dispersed information and predict outcomes of uncertain future events has empirically found its way into many domains. But the theoretical examination of information markets has lagged relative to their implementation and use. This paper proposes a simple theoretical model of information markets to understand their information dynamics. We investigate and provide initial answers to a series of research questions that are important to understanding how information markets work, which are: (1) Does an information market converge to a consensus equilibrium? (2) If yes, how fast is the convergence process? (3) What is the best possible equilibrium of an information market? and (4) Is an information market guaranteed to converge to the best possible equilibrium?