• 検索結果がありません。

Japan Advanced Institute of Science and Technology

N/A
N/A
Protected

Academic year: 2021

シェア "Japan Advanced Institute of Science and Technology"

Copied!
3
0
0

読み込み中.... (全文を見る)

全文

(1)

Japan Advanced Institute of Science and Technology

JAIST Repository

https://dspace.jaist.ac.jp/

Title

Simulated Quenching法に基づく2次元セル配置最適化

手法

Author(s)

平間, 孝廉

Citation

Issue Date

2001‑03

Type

Thesis or Dissertation

Text version

author

URL

http://hdl.handle.net/10119/1469

Rights

Description

Supervisor:金子 峰雄, 情報科学研究科, 修士

(2)

Based on Simulated Quenching

Takayuki Hirama

School of Information Science,

Japan Advanced Institute of Science and Technology

February 15, 2001

Keywords: Simulated Quenching, 2D assignment,stochastic search, iterative

optimization,perfect matching.

VLSIisamainconstituentofvariouselectronicequipmentssuchascomputersystems,

telecommunicationsystems andcontrollers. Bythe continuingprogress ofthe fabrication

technology, the possible on-chip feature size is becoming smaller and the possible chip

areaisbecominglarger,whichenableustointegratehuge numberoftransistors inachip.

On the other hand, the diÆculty of VLSI design is also growing due to not only a huge

number of designvariablesbut alsointricate parasiticeects inherent indeep-submicron

VLSIs.

VLSI design process can be classied hierarchically into system design, RTL design,

logic design, circuit design and layout design. Layout design is the task to determine

the positions of components and to determine the routes of interconnections between

components so that the total area and total wire length are minimized, which, however,

is known to be NP-hard problem. As anapproach tosuch NP-hard problems, stochastic

search method with hill climbing mechanism, such as Simulated Annealing (SA) and

Genetic Algorithm (GA) is known to be successful for many practical problems. SA

repeats (1)generating an adjacent solution of a current solution, (2)evaluating the cost

of the adjacent solution and (3)deciding in stochastic fashion whether replacing current

solutionwiththeadjacentsolutionornot. SAisguaranteedtofallintotheglobaloptimum

point if the annealing is suÆciently slow. On the other hand, GA repeats generation of

a new populationof solutionsby applying selection, crossover and mutation onsolutions

in current population. We can nd several reports on the application of SA or GA to

layout problem, however they have drawback in computation time due to huge number

of iterations. Therefore, more eÆcient algorithmis needed, which can solvea large-scale

layout problem ina reasonablecomputation time.

Copyrightc 2001byTakayukiHirama

(3)

ment problem, which can produce comparable solutions to SA and GA within a shorter

computationtime. Inherentfeaturesofthe 1DSQare(i)dividingentire problemintosub-

problems instochasticfashion, (ii)modiedobjective functionfor subproblem(especially

local nets(incident to only components in a subproblem) are neglected), and (iii)simple

solutionmethodfor subproblem.

In this research, 2-dimensional assignment based on the concept of 1DSQ is studied

and threetypesof2D SQ withdierentobjectivefunctionsfor subproblemare proposed.

2-dimensionalassignmentproblemconsidered hereis toassign homogeneouscomponents

to slots which are arranged uniformly in two dimensional space, and its objective is to

minimizetotal wire length evaluatedby boundingbox sizes of allnets.

The rst method 2DSQFV(2D Simulated Quenching based on Force-Value type)

is based on the combination of row-wise re-assignment and column-wise re-assignment,

and these re-assignment are done by 1DSQ. Since we can adopt linear time bucket-sort

forndingonedimensionaloptimumre-assignment,2DSQFV worksveryfast,whilethe

reachability from one 2D assignment to another is quite limited. The second method

2DSQFV(2D Simulated Quenching based on Force-Value) adopts fully two-dimensional

re-assignment. In this method, after dividing entire region into smaller sub-regions by

equally spaced horizontal and vertical cut lines, force value for each component, which

reects the gravitybetween thecomponent inasub-region withthe othersub-region due

to the connectivity. Then components are re-assigned optimally within each sub-region

by solving cost optimum perfect matching problem between a set of components in a

sub-region and a set of slots in the same sub-region where the match cost is set from

gravity information. In the third method 2DSQSC(2D Simulated Quenching based on

Step-Cost),the objectivefunctionofsubproblemsin2DSQFV(inotherwords, thematch

cost between component and slot) is improved so that it reects the resultant bounding

box size of eachnet more precisely.

Experimentsforcomparing performancesof 2DSQSCand 2DSQFVdemonstratethat

2DSQSCalwaysgenerates betterresults intotalwire lengththan2DSQFV does. Weare

thinking that this experimental result is due to smaller gap between original objective

function and modied objective function of each subproblem while the inherent feature;

neglectinglocalnetslocalizedispreserved. Onthe otherhand,fromexperimentsforcom-

paringperformances of 2DSQSCand SAbased 2-dimensionalassignment,itisconrmed

that 2DSQSC generates 0 3% worse results than SA does.

Through discussions and experiments, we can verify the possibility of 2-dimensional

simulatedquenching methodfor2-dimensionalassignmentproblem. Whileoneof theim-

portantfeaturesof1DSQisinlineartimealgorithm(bucketsort)forsolvingsubproblems,

2DSQFV and 2DSQSCdonot inheritit, and adoptalgorithmwithO(n 3

)computational

complexity. Developmentof eÆcientalgorithmforsubproblemsandinvestigationonbet-

ter formation of subproblems are leftfor future works.

参照

関連したドキュメント

In order to improve the coordination of signal setting with traffic assignment, this paper created a traffic control algorithm considering traffic assignment; meanwhile, the link

An easy-to-use procedure is presented for improving the ε-constraint method for computing the efficient frontier of the portfolio selection problem endowed with additional cardinality

The problem is modelled by the Stefan problem with a modified Gibbs-Thomson law, which includes the anisotropic mean curvature corresponding to a surface energy that depends on

By an inverse problem we mean the problem of parameter identification, that means we try to determine some of the unknown values of the model parameters according to measurements in

The linearized parabolic problem is treated using maximal regular- ity in analytic semigroup theory, higher order elliptic a priori estimates and simultaneous continuity in

The proof of the existence theorem is based on the method of successive approximations, in which an iteration scheme, based on solving a linearized version of the equations, is

In order to predict the interior noise of the automobile in the low and middle frequency band in the design and development stage, the hybrid FE-SEA model of an automobile was

Based on sequential numerical results [28], Klawonn and Pavarino showed that the number of GMRES [39] iterations for the two-level additive Schwarz methods for symmetric