CASH Design Space Exploration

HAL Id: inria-00116799

https://hal.inria.fr/inria-00116799

Submitted on 28 Nov 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

CASH Design Space Exploration

Liqiang He, Romain Dolbeau, André Seznec

To cite this version:

Liqiang He, Romain Dolbeau, André Seznec. CASH Design Space Exploration. [Research Report] PI 1815, 2006, pp.59. �inria-00116799�

I ^R

I ^{S A}

I^NS TIT^U

T ^D E RE^C

HERC^H

E EN IN^FOR^M

AT^IQUEE^T SY^ST

ÈME^{S A}

LÉA^TO^IRES

P U B L I C A T I O N I N T E R N E

N

^o

I R I S A

CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE

ISSN 1166-8687

1815

CASH DESIGN SPACE EXPLORATION

LIQIANG HE, ROMAIN DOLBEAU AND ANDRÉ SEZNEC

I^{NSTITUT DE}RECHERCHE EN INFORMATIQUE ETS^YSTÈMESA^LÉATOIRES Campus de Beaulieu – 35042 Rennes Cedex – France Tél. : (33) 02 99 84 71 00 – Fax : (33) 02 99 84 71 71 http://www.irisa.fr

"!$#%'&%!

()"*),+-.0/1325436879+)-:86 (;<1+>=@?BACD+-: 4FE1HGI1$JK-1$L

MONQPSRUT

V"W<V PKX"Y

W<W$Z\[^]

XU_

[

R`P

a5b Ydc

V

RePfhg a M

a

Z^i\jk]

X"_dR

]Y []k[

R V b

[\Vl[$m\npo\npqr

M

VUs

R

VUW$iBV butwvwvyx

rzqw{s _d|

V P

}~IU€"ƒ‚\„w€w…

guP>R`†

V‡]ˆ[

X b V _yP

]ˆ[

|‰YwŠ

]

P`P

Z\V8‹]Œ

RŽ†9†^_wP

ŒQ]kW<]ˆ[\]

P†

]ˆ[

| b V R Z b [ P

‹]

RŽ†P

Z^s‘V

b

P`X"_

j_ b

s b YQX

V

PŽPŽY

bp’

RŽ†

b V _

Œ“s _ b _

jkjˆV"jˆ]

P

W”‹]

R`†_•P

]ˆ[

|

jkV Xe†

]ks9]

P

iBV XY

W<]k[

|–_

b V _

jk]

RSNw—™˜

[

R`†

Všs _wPRŠ

VU‹

N V _ b P ’ i

YdRŽ†›M\œ8ž_

[^Œ

fhœ

a _

s\s

b

Yy_yXe†

V P

‹hV

b

V Ÿ

b

PR

]ˆ[O¡wV PR

]

|y_dR

VpŒ‡i N¢_wX"_

ŒQV"W<]

X"P_

[^Œ

_ b

V3[

Y ‹

]ˆW<s\jˆV"W<V"[

R

VpŒi NRŽ†

V]ˆ[^ŒQZ PSR

b

Ny—5˜

[

PY

W V

P

V"[

PV ’ MQœ8_

[^Œ

fhœ

a£b

V"s b V P

V"[

RKR

‹ Y V"¤

R b

VUW<VlŒ\V P ]| [

s Y ]ˆ[

R`PU—¥fhg'MQ¦

s _ b _ jˆjˆV"j§s

b

YQX

V

PŽPŽY

b¨

Š©Y

b¢ªI«¬ž­u®B¯8°^«•±²´³wµ¶,·¸¯\¹

]

P_

s

YºPŽP

]ˆi\jkV]k[

R V b

W VpŒQ]

_ƒR

V

Œ\V P ]|

[›s

Y

]ˆ[

RePŠ©Y b Y

[Q»

Xe†

]ˆs RŽ† b V _

Œ‰s _ b _

jˆjkVUjk]

P

W]ˆ[

R V b W PYwŠ

ŒQV P]| [

XY

W<s\jˆV¤Q]

RSN‰_

[^Œ

†^_ b

ŒQ‹

_ b V

PŽ†^_ b

]ˆ[

|^—K˜¼R b V

R`_

]ˆ[

P bV PY

Z b X V P†‘_ b

]k[

|>_yPuMQœ‡

‹ † V"[

P Z

Xe†8_>PŽ†^_ b

]ˆ[

|XU_

[ iBV$W

_

ŒQV$[

Y

[Q»

X b ]R ] X"_

j

Š©Y b

]kW<s\jˆV"W<VU[

Re_ƒR

]Y [ ’ i^Z

R b V

PY

Z b X V P

s\jˆ]

RR

]ˆ[

|¥_wPfhœ a ‹ † V b

V"¡wV b<b

V

PY

Z b X V PŽ†^_ b

]ˆ[

|

jkV _ Œ

P R`Y¢_

P

Z\sBV

b

jk]ˆ[\V _ b

]k[

X b V _wP

V

YdŠ½RŽ†

V]ˆW<s\jkVUW<V"[

R`_dR

]Y [

†^_ b

ŒQ‹

_ b V X"Y

W<s\jˆV¤Q]

RSNy—

K†

]P s _ s‘V

b

V¤Qs\j Y b V

PhR`†

VW$Z\j

R

]k»¾ŒQ]kW<VU[

P]Y [ _

j¿ŒQV P ]| [ P s

_wX

V

Š©Y b fhguMQ¦À_ b Xe†

]R V X,R

Z b V

—˜¼RÁXY

W»

s _ b V PÂRŽ†

VsBV

b Š©Y b W _ [ X V YdŠ%P

]ˆ[

|

jˆV

RŽ† b V _ Œ b

Z\[\[^]k[

|3Y

[

fhg'MQ¦ ’ MQœ8_

[^Œ

fhœ a s b YQX

V

P`PŽY b P"—g

[^Œ

R`†

V"[

RŽ†

V´sBV

b Š©Y b W _ [ X V PYwŠ

W$Z\j

R

]k»¼s b Yy| b _

WË

Y b`Ä

j

Yº_

Œ

P_

[^Œs _ b _

jkjˆV"j¿‹

Y b`Ä

j

Yº_

Œ

P_ b

V]ˆ[O¡wV PSR

]

|º_ƒR

VpŒ

]ˆ[

R`†

V P V<s

b YOX

V

P`PY b PU—ghR

j

_yPSR ’ ˜¼R

V"¤Qs\j Y bV

PR`†

V s‘V

b Š©Y b W _ [ X

V ¡ _ b

]ˆV PuY

[

fhguMQ¦

‹]

RŽ†ÅRŽ†

V

Xe†^_

[ | »

]ˆ[

|YdŠÂXU_wXe†

V P

]kÆUV

’ _

[‘Œ8[OZ\W$iBV

b

YwŠÂ_wP`PYQX

]

_dR

]ˆ¡º]

RSNYdŠÂXU_wXe†

V

—$K†

V V¤QsBV

b

]kW<V"[

R b V P

Z^j ReP'PŽ†\Y

‹

R`†^_ƒR

R`†

V

fhguM\¦

s b YQX

V

P`PY

b

†‘_wP3_¢|

b V _dR

s

YdR

V"[

R ]_ j RŽY

]kW<s b Y

¡wV R`†

V s‘V

b

Š©Y

b W _ [ X V

PYwŠlP

]ˆ[

|

jˆV RŽ†

b V _ Œ

‹ Y b`Ä

j

Yº_

Π_

[^ŒW

YyPRYdŠRŽ†

VW$Z\j

R

]kȂs

b

Yy|

b _

WË

Y

b`Ä

j

Yº_

Œ P ’ _ [^Œ

_ƒRR`†

V

P`_

W<V

R

]ˆW<V´W

_

]ˆ[

R`_

]ˆ[

P_

jY ‹

]ˆW<s\jˆV"W<V"[

R`_dR

]Y [ XY

W s^jkV"¤O]

RSN3R`†^_

[

RŽ†

V

MQœ8_

[^Œ

fhœ

a —

È ÉºÊÌË`Í$Î ƒÏIw… fhg'MQ¦ ’

ŒQV P ]| [ P s

_yX

VlV¤Qs\j Y b _ƒR

]Y [ ’ s‘V

bŠ©Y bW _ [ X V

ЍѠÒ

ӎÔÇÕpÖ

Ò

Óu×I؈ԼÙÇÚÛ

Centre National de la Recherche Scientifique Institut National de Recherche en Informatique (UMR6074) Université de Rennes 1 – Insa de Rennes et en Automatique – unité de recherche de Rennes

ÜÝÉ UÞIß ÉÝ … fhg'MQ¦

V

PR

Z\[“W

Y

ŒQjkV8Œ¿à _ b Xe†

]R V X,R

Z b VVU[

R b

VjˆV

fhœ a’ f†

]ˆs

œ

Z\j

R

]ˆs b YQX

V

P`PŽY bp’

V R

jˆV

MQœ8 ’ M

]kWZ\j R`_

[^V Y Z

P3œ

Z\j R ]

K† b V _

ŒQ]ˆ[

|‘—9f

V b R`_

]ˆ[\V

P s _ b R

]ˆV

P

ŒQV

P s b YQX

V

P`P

V"Z

b PPŽY

[ R s _ b Re_d|

V P ’

¨X"_yXe†

V P ’ Šb Y [ R

»¼V"[^Œá]ˆ[

PR b Z X,R

]Y [ ’ V R Z\[\]

R`P

W$Z\j R]

XNQX

jˆV

P ¹ —@â'_

[

P‡X

V b _

s\s

Y b R ’ [ Y Z P‡_

[ _ j NOPŽY

[ P

jÇàV P s _wX

VlŒ\VlŒ\V P ]|

[s Y Z b

jãà _ b Xe†

]R V XR

Z b V

fhguMQ¦$—

ó ô

 &I#%!õ8öh&! 

guPhRŽ†

V]ˆ[

X b V _wP

]k[

| YdŠ

]

P`P

Z\Vl‹]ˆŒ

R`††^_wP

ŒQ]ˆW<]k[^]

PŽ†

]ˆ[

| b V RZ b [ P

‹]

RŽ† P

Z\s‘V b P`X"_

j_ b s b YQX

V

PŽPŽY bp’ RŽ† b V _ Œ

s _ b _ jˆjkVUjk]

P

W”‹]

RŽ†9_•P

]ˆ[

|

jkV Xe†

]ksD]

P

i‘V XY

W ]ˆ[

|£_ b V _

jˆ]

RSNw—™˜

[

RŽ†

Všs _yPSRŠ

V"‹

N V _ b P ’ i

YwRŽ†M\œ8

¨M

]ˆW$Z\j R`_

[\V Y Z

P3œ

Z\j R]

K† b V _

Œ\]k[

| ’Â÷

]| Z b V¢n

—_ ¹ _

[^Œ

fhœ aø¨f†

]ks

œ

Z\j R ]

a5b YQX

V

PŽPŽY bp’5÷

]| Z b V¢n

—i ¹

_

s\s b Yy_yXe†

V P

‹hV

b

VuŸ

b PR

]k[O¡yV PR

]

|y_ƒR

VUŒi N_wXU_

ŒQVUW<]

XUP_

[^Œ

_ b

V[

Y

‹9]kW<s\jˆV"W<V"[

R

VUŒi N>R`†

V´]ˆ[^ŒQZ PR b Nw—

ù †

V"[

X"Y

[ P ]ŒQV

b

]k[

|8†^_ b

ŒQ‹

_ b V b V PY

Z b X V PŽ†^_ b

]k[

|‡_

W Y [

| RŽ†

Vs b YQX

V

P`P

V P ¨

]kjˆjˆZ PSR b _dR

Vpδ]k[

| b _úN‡Y

[

÷ ]| Z b V P n

¹,’ fhœ a _

[^Œ

MQœ8 b

VUs b V P

V"[

RlR

‹ Y V¤

R b

VUW V3ŒQV P ]|

[šs

Y

]ˆ[

ReP"—>g

s

YyP`P

]ki\jˆV<]k[

R V b

W VpŒQ]

_ƒR

V

Œ\V P ]|

[£s

Y

]ˆ[

RŠ©Y b Y

[Q»

Xe†

]ˆs RŽ† b V _

Œ–s _ b _

jˆjkVUjk]

P

W]ˆ[

R V b W P>YwŠ

Œ\V P ]| [

XY

W<s\jˆV¤Q]

RSN•_

[^Œ

†^_ b

ŒQ‹

_ b V

PŽ†^_ b

]ˆ[

| ]

PKfhg'MQ¦üû

nýÌs _ b _

jˆjˆV"j\s b YQX

V

PŽPŽY bÁ¨Š©Y bª½«¬–­u®B¯$°‘«›±‡²³wµ"·þ¶Ž¯\¹ —5fhg'MQ¦ bV

R`_

]ˆ[

P b V PY

Z b X V

PŽ†^_

b

]ˆ[

|¥_wPM\œ8

‹ † V"[

P Z

Xe†“_‰PŽ†^_

b

]k[

|¢XU_

[–iBV‡W

_

ŒQV [

Y

[Q»

X b ]R ] XU_

j

Š©Y

b

]ˆW s^jkVUW VU[

R`_ƒR

]Y [ ’ i\Z

R

b V PŽY

Z b X V P s\jˆ]

RŽR

]ˆ[

|_yP'fhœ

a ‹ †

V"[\VU¡wV bb

V

PY

Z b X V PŽ†^_

b

]k[

|

jkV _ Œ

PRŽY_>P

Z\sBV

b

jk]ˆ[\V _ b

]ˆ[

X b V _yP

V

YwŠ%RŽ†

V

]ˆW<s\jˆV"W<V"[

R`_dR

]Y [

†^_

b

ŒQ‹

_ b V X"Y

W<s\jˆV¤Q]

RSNw—

ÿ [ fhg'MQ¦

’ P s _ b P

VUj N´Y

b5b _ b

V"j

N Z P

VUŒ

Š

Z\[

XR

]Y [ _ j^Z\[^]

ReP

’ i b _ [ Xe†

s b VUŒQ]

X,R`Y

b P ’

]k[

PR

b Z XR

]Y [ X"_yXe†

V P

_

[^Œ Œ

_dR`_>XU_wXe†

V

PX"_

[iBV PŽ†^_

b

VpŒ

_ W Y [

|P

V"¡yV b _ j s b

YQX

V

PŽPŽY

b

X"Y

b V PY

[

_>P

]ˆ[

|

jkV"»

Xe†

]ˆss _ b _

jˆjˆV"j¿s b Y »

X V P`PY b —ÿ

[

RŽ†

V

YwRŽ†

V b †^_

[^Œ

’ ]R Ä

V"V"s PIP

V"s _ b _ƒR

VpŒ

RŽ†

VhW

_dcSY b s _ b R`P½YdŠ‘RŽ†

VKV"¤OV X Z R ]Y [

X"Y b V P ¨©b

V"[

_

W V

j

Yw|

]X ’ ‹ _ Ä V»¼Z\s

_

[^Œ]

PŽP

Z\V§j Yw|

]X ’ i N s _yPŽP

[\V

R‹ Y bŽÄ̒pb

V | ] PSR

V b

Ÿ‘jkV

P ¹ ‹ † V b

V§‹]ŒQV b ]

PŽP

Z\VÂ]kW<s\jˆ]kV PI†

]

|y†

V b

†‘_ b

ŒQ‹

_ b V _

[^ŒšŒQV P ]| [

XY

W<s\jˆV¤Q]

RSNw—>fhguMQ¦XU_

[š[

YdR

V"¤Os^j Y ]

RlRŽ†

V

X"Y

W<s\jˆV

R

V<Œ

N [ _

W<]

X<PŽ†^_ b

]ˆ[

|YwŠ

b V PŽY

Z b X V$V"[

_

i\jˆVUŒ

Y [

M\œ8 ¨s _ b R ]X

Z\j _ b j

NŠ©Y b P

]ˆ[

|

jkV s b YOX

V

P`P ¹

i\Z R b V

Re_

]ˆ[

P s _ bR'YwŠ§R`†

V b V PY

Z b X V

PŽ†^_ b

]ˆ[

|‡_

ŒQ¡

_ [ R`_w|

V Y [

XY

[ X Z bŽb

V"[

R ‹ Y b`Ä

j

Yº_

Œ

P´_

[^Œ‰s _ b _

jˆjkVUj§‹

Y b`Ä

j

Yy_

Œ

PU—‡˜¼R

]

P _

i\jˆV RŽY

Z P V RŽ†

V

‹

†^Y

jˆV XU_

s

_yX

]

RSN¥YdŠ

]k[

PR b Z XR

]Y [ _

[^Œ£Œ

_ƒRe_¢X"_wXe†

V

P<_

[^Υi b _ [

Xe†

s b VUŒQ]

X,R`Y b P

‹]

R`†£P

]k[

|

jˆVs bYQX

V

PŽP

‹ Y b`Ä

j

Yº_

Œ

PU—•g

s bYQX

V

PŽP

W<]

| b _ƒR

]Y [ Šb Y Ws

bYQX

V

PŽPŽY b RŽY

s b YQX

V

P`PŽY b

‹ Y Z\jŒ›[

YdR_

V

XR3RŽ†

V

sBV

b Š©Y b W _ [ X V YdŠKRŽ†

V ˜» XU_wXe†

V _

[^Œši b _ [

Xe†

s b VUŒ\]

XR

]Y [ PSR b Z

X,R

Z b V P"— ù ]

R`†›_

s _ b _ jkjˆV"j

_

s\s\jˆ]

X"_ƒR

]Y [

_ R`†

b V _

Œs b V ŠV

R`Xe†

V

PR`†

V´]ˆ[

PSR

bZ X,R

]Y [ P_

[^Œ‹

_ b

W »ÇZ^s R`†

V´s

b

VUŒQ]

X,R`Y

b

PR

b Z XR

Z b V PKŠ©Y

b Y

[^V _ [

YwRŽ†

V b —

MQ†^_

b

]k[

|uR`†

VÁŒ

_dR`_´XU_wXe†

VKjˆV _ Œ

PRŽYP

]ˆW<]kj _ b s b V ŠV

R`Xe†

]k[

|´_

[^Œ

_ j PŽYl_

¡ Y ]Œ

P%XYy†

V b V"[

XNR

b

_3X

]k[^Œ\Z

X

VpŒ

i

N3R`†

V´ŒQ]

PSR

b

]ˆi\Z

R

VUŒ5n XU_wXe†

V P ]k[

_fhœ

a —

û

ný

†^_yP

]ˆjkjˆZ PR

b

_ƒR

VUŒ

R`†

V V¤Q]

PR

VU[

X V _

[‘Œ8¡O]

_

i\]ˆjk]

RSNYdŠKfhg'MQ¦ž_

b

Xe†

]R V XR

Z b V RŽ†

bY Z

|w†‡P

]ˆW$Z\j _ƒR

]Y [

V"¤Qs‘V

b

]ˆW<V"[

R`P

’

i\Z

R

V"¤Os^j Y b

]ˆ[

|ÅRŽ†

V‹

†\Y

jˆV ŒQV P ]| [ P s

_yX

V

YwŠfhg'MQ¦

‹

_yP

[

YwR

ΠY [\V

_ƒR<R`†^_ƒR R

]ˆW<V

—

K†

]P s _ s‘V

b ] PÂRŽ†

V

Š©Y

jˆj

Y

‹K»ÇZ\s‹

Y bŽÄ YdŠhû

n"ý

_

[^Œ>V"¤Qs\j Y b V

P5R`†

VlŒQV P ]| [ P s

_wX

V

YwŠfhguMQ¦

]ˆ[ŒQV R`_

]kj P"—%˜¼R

X"Y

W<s _ b V

PR`†

VsBV

b Š©Y b W _ [ X V YwŠÂP

]k[

|

jkV

RŽ† b V _ Œ b

Z\[\[^]k[

|Y

[

fhguMQ¦ ’ MQœ8 _

[^Œ

fhœ a s b YQX

V

PŽPŽY b PU—

g

[^Œ

RŽ†

VU[

RŽ†

V$s‘V

b Š©Y b W _ [ X V PhYwŠ

WZ\j

R

]黼s b Yw| b _

WË

Y bŽÄ

j

Yy_

Œ

PÂ_

[^Œs _ b _

jˆjˆV"j ‹ Y b`Ä

j

Yy_

Œ

PK_ b

Vl]k[O¡wV PSR

]é»

|º_ƒR

VUŒ]k[

R`†

V P Vs

b YQX

V

P`PŽY b P"—§ghR

j

_yPSR ’ ]R

V¤Qs\j Y b V

PhR`†

V´sBV

bŠ©Y b W _ [ X

Vl¡

_ b ]_ [ X V Y [ fhguMQ¦

‹]

R`† RŽ†

V

Xe†‘_

[ | ]k[

| YwŠÁX"_yXe†

V P

]kÆUV

’

[OZ\W$iBV

b YdŠÁ_wP`PŽYOX

]

_dR

]ˆ¡O]

RSNÅYdŠÁX"_yXe†

V ’ _

[^΢[OZ\W$iBV

b YdŠX"_yXe†

V>i

_ [ Ä P"—‡˜

[

VU¡wV b N

V¤QsBV

b

]kW<VU[

R ’

‹ÂV XY

W s _ b V

RŽ†

VusBV

b Š©Y b W _ [ X V YdŠäRŽ†

V

RŽ† b

VUV _ b Xe†

]R V X,R

Z b V P

‹]

RŽ†_P`_

W<V RŽYdRe_

j

]

P`P

Z\Vl‹]Œ

RŽ†ä—

K†

VV"¤Qs‘V

b

]ˆW<V"[

R b V P

Z\j R`PÁP†\Y

‹

RŽ†^_dR

n — ÷ Y b P

]ˆ[

|

jˆV R`† b V _

Œ‹

Y bŽÄ

j

Yy_

Œ ’ fhg'MQ¦Y

Z R s‘V

bŠ©Y b W

Pfhœ a

ŒQZ\V RŽYRŽ†

Vlj

_ b | V b PŽ†^_ b

VUŒ3i b _ [

Xe†

s b VUŒQ]

X,R`Y b _

[^Œ5n X"_yXe†

V]k[]

R ’

i\Z RuP

Z V b P_

jY

‹9s‘V

bŠ©Y b W _ [ X V R`†^_

[

MQœ8

iBV X"_

Z P V YdŠRŽ†

V

Š

Z\jˆj N »

P†^_ b

VpŒ

†‘_ b

ŒQ‹

_ b V b V PŽY

Z b X V P ]ˆ[

RŽ†

Vj _ƒRŽR

V

b

t

—K˜

[>W YyPRhXU_wP

V P ’

MQœ8DX"_

[3iBV"[^VŸ

RhŠ

b Y W R`†

V Š Z^jkj

N » PŽ†^_

b

VUŒ<s

Y

jˆ]

XN3_ƒR

VºZ _ j

RŽYwR`_

jB]

PŽP

Z\V‹]Œ

RŽ†

Y

[ WZ\j

R

]黼s

b

Yw|

b _ W _

[^Œs _ b _

jˆjkVUj ‹ Y bŽÄ

j

Yy_

Œ

RŽ†‘_

[

fhguM\¦ü_

[‘Œ

fhœ

a

i^Z

R

‹]

RŽ†

]

PŽP

Z\V‹]Œ

RŽ†