http://csrl.kji st.ac.kr DIC at KJIST 1 Oryong-dong Buk-gu, Kwangju 500-712, South Korea Concurrent Systems Research Laboratory Automatic Process-Oriented Control Automatic Process-Oriented Control Circuit Generation for Asynchronous Circuit Generation for Asynchronous High-Level Synthesis High-Level Synthesis Department of Information and Communication s at K-JIST April 5th, 2000 speaker : Euiseok Kim
23
Embed
Automatic Process-Oriented Control Circuit Generation for Asynchronous High-Level Synthesis
Automatic Process-Oriented Control Circuit Generation for Asynchronous High-Level Synthesis. Department of Information and Communications at K-JIST April 5th, 2000 speaker : Euiseok Kim. Contents. Introduction Preliminaries Approaches to Control Circuit Generation - PowerPoint PPT Presentation
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
http://csrl.kjist.ac.kr
DIC at KJIST 1 Oryong-dong Buk-gu, Kwangju 500-712, South Korea
Concurrent Systems Research Laboratory
Automatic Process-Oriented Control Automatic Process-Oriented Control Circuit Generation for Asynchronous Circuit Generation for Asynchronous
High-Level SynthesisHigh-Level Synthesis
Department of Information and Communications at K-JISTApril 5th, 2000
speaker : Euiseok Kim
ASYNC’2000 ASYNC’2000
( slide 2 )ASYNC’2000ASYNC’2000 Apr. 5 , 2000
ContentsContents
1.1. IntroductionIntroduction
2.2. PreliminariesPreliminaries
3.3. Approaches to Control Circuit GenerationApproaches to Control Circuit Generation
4.4. Controller Generation for CDFGController Generation for CDFG
5.5. Timing ConstrainsTiming Constrains
6.6. Experimental ResultsExperimental Results
7.7. ConclusionConclusion
ASYNC’2000 ASYNC’2000
( slide 3 )ASYNC’2000ASYNC’2000 Apr. 5 , 2000
1. Introduction1. Introduction
• Asynchronous system design styleAsynchronous system design style becomes popular.
• Existing CAD toolsExisting CAD tools are restricted to synchronous system dessynchronous system designign.
• ACAD toolsACAD tools are restricted to logic synthesislogic synthesis.
• UnwieldyUnwieldy to conceiveconceive and design controllers manuallydesign controllers manually.
In order to overcome above problems, automaticautomatic process-orientedprocess-oriented controller generation method from CDFGCDFG is presented as a part of an AHLSAHLS.
In order to overcome above problems, automaticautomatic process-orientedprocess-oriented controller generation method from CDFGCDFG is presented as a part of an AHLSAHLS.
ASYNC’2000 ASYNC’2000
( slide 4 )ASYNC’2000ASYNC’2000 Apr. 5 , 2000
2. Preliminaries2. Preliminaries
DFG-UNITDFG-UNITDFG-UNITDFG-UNIT Control Dataflow GraphControl Dataflow GraphControl Dataflow GraphControl Dataflow Graph
DFG-Unit 1DFG-Unit 1
ifif0 0
1 1
DFG-DFG-UnitUnit
endifendif
DFG-UnitDFG-Unit
whilewhile0 0
1 1
CDFG-Unit CDFG-Unit 22
ChildChild
BlockBlock
OP1OP1 OP2OP2
OP3OP3 OP4OP4
ALU1
++ALU
2
++
ALU2
++ALU
1
++
R1R1
R2R2 R3R3
R2R2 R3R3
R2R2 R3R3 R4R4
DFG-Unit DFG-Unit 33
++ ++
++ ++
COND COND NodeNode
ASYNC’2000 ASYNC’2000
( slide 5 )ASYNC’2000ASYNC’2000 Apr. 5 , 2000
3. Approaches to Control Circuit 3. Approaches to Control Circuit Generation - IGeneration - I
• Centralized ControllerCentralized Controller
- unsuitableunsuitable to asynchronous
system style
- may suffer from lossloss of parallelism,parallelism,
4. Controller Generation for CDFG - 4. Controller Generation for CDFG - VV
Derivation of USCDerivation of USCDerivation of USCDerivation of USC
DFG-Unit 1DFG-Unit 1
ifif0 0
1 1
DFG-DFG-UnitUnit
endifendif
DFG-UnitDFG-Unit
whilewhile0 0
1 1
DFG-Unit DFG-Unit 33
++ ++
++
++
CDFG-Unit CDFG-Unit 22
ChildChild
BlockBlock
StartStart
BlockBlock11
BlockBlock22
BlockBlock33
EndEnd
Req+Req+
ReqBlk1ReqBlk1++
AckBlk1AckBlk1++
ReqBlk2ReqBlk2++
AckBlk2AckBlk2++
ReqBlk3ReqBlk3++
AckBlk3AckBlk3++
ReqBlk2ReqBlk2--
AckBlk2AckBlk2--
Ack+Ack+
Req-Req-
Ack-Ack-
ReqBlk1ReqBlk1--
AckBlk1AckBlk1--
ReqBlk3ReqBlk3--
AckBlk3AckBlk3--
ASYNC’2000 ASYNC’2000
( slide 13 )ASYNC’2000ASYNC’2000 Apr. 5 , 2000
4. Controller Generation for CDFG - 4. Controller Generation for CDFG - VIVI
A given STGSTG should satisfy the following four propertiesthe following four properties in order to be synthesized into a speed-independent circuitspeed-independent circuit.
•BoundednessBoundedness
• ConsistencyConsistency
• Output Semi-ModularityOutput Semi-Modularity
• Complete State Coding PropertyComplete State Coding PropertyPCPC, PSCPSC, CNCCNC and USCUSC, which are derived through the suggested method, satisfysatisfy above fourfour propertiesproperties inherently !!!
PCPC, PSCPSC, CNCCNC and USCUSC, which are derived through the suggested method, satisfysatisfy above fourfour propertiesproperties inherently !!!
ASYNC’2000 ASYNC’2000
( slide 14 )ASYNC’2000ASYNC’2000 Apr. 5 , 2000
5. Timing Constraints - I5. Timing Constraints - I
For correct control, designer should satisfy following three timing
constraints;
1. DDFUFU Maximum OP Fetch DelayMaximum OP Fetch Delay + FU’s worst case delayFU’s worst case delay +
Destination Register’s input Mux’s worst case delaDestination Register’s input Mux’s worst case delayy
2. DDRegReg Worst case delay for Register writing delayWorst case delay for Register writing delay
3. For two consecutive processes, Pi and Pj using the same hardware, the idling phase of Pthe idling phase of P ii should not overlap withshould not overlap with the the working phase of Pworking phase of P jj.. : Constraint due to : Constraint due to
bundled delaybundled delay
ASYNC’2000 ASYNC’2000
( slide 15 )ASYNC’2000ASYNC’2000 Apr. 5 , 2000
5. Timing Constraints - II5. Timing Constraints - II
PC1PC1 PC2PC2
FU/REGISTERFU/REGISTERDD
ReqFU1ReqFU1
ReqFU2ReqFU2
AckFU1AckFU1 AckFU2AckFU2
Delay Constraint 3 Delay Constraint 3 - I- I
Delay Constraint 3 Delay Constraint 3 - I- I
11
11
11
11
00
11
11
00
00
11
PSCPSC
1100
11 00
ASYNC’2000 ASYNC’2000
( slide 16 )ASYNC’2000ASYNC’2000 Apr. 5 , 2000
5. Timing Constraints - III5. Timing Constraints - III
PC1PC1 PC2PC2
FU/REGISTERFU/REGISTERDD
ReqFU1ReqFU1
ReqFU2ReqFU2
AckFU1AckFU1 AckFU2AckFU2
Delay Constraint 3 Delay Constraint 3 - II- II
Delay Constraint 3 Delay Constraint 3 - II- II
11
00
11
00
11
PSCPSC
1111 00
00
00
00
00
11
11
11
11
11
ASYNC’2000 ASYNC’2000
( slide 17 )ASYNC’2000ASYNC’2000 Apr. 5 , 2000
6. Experimental Results - I6. Experimental Results - I
+
*
Adder1Adder1
MUL1MUL1
R1R1
R2R2
+
*
Adder1Adder1
MUL1MUL1
R2R2
R1R1
+
*
Adder1Adder1
MUL1MUL1
R1R1
R2R2
Adder : 1Adder : 1
Multiplier : Multiplier : 11
Register : Register : 22
11
22
33
44
55
66
ASYNC’2000 ASYNC’2000
( slide 18 )ASYNC’2000ASYNC’2000 Apr. 5 , 2000
6. Experimental Results - II6. Experimental Results - II
ControllersControllersControllersControllers
HO1HO1ADD/MULADD/MUL HO1HO1ADD/MULADD/MUL
HO2HO2ADD/MULADD/MUL HO2HO2ADD/MULADD/MUL
HO3HO3ADD/MULADD/MUL HO3HO3ADD/MULADD/MUL
# of Literals# of Literals# of Literals# of Literals
Table 2. Controller Comparison between Table 2. Controller Comparison between Hardware-OrientedHardware-Oriented/ / Process-Process-Oriented methods Oriented methods for Differential Equation Solverfor Differential Equation Solver[Async’97 & 3D, K. Y. Yun et al.]
ASYNC’2000 ASYNC’2000
( slide 21 )ASYNC’2000ASYNC’2000 Apr. 5 , 2000
6. Experimental Results - V6. Experimental Results - V
Simulation result I - ControllersSimulation result I - Controllers
ASYNC’2000 ASYNC’2000
( slide 22 )ASYNC’2000ASYNC’2000 Apr. 5 , 2000
6. Experimental Results - VI6. Experimental Results - VI
Simulation result II - DatapathSimulation result II - Datapath
ASYNC’2000 ASYNC’2000
( slide 23 )ASYNC’2000ASYNC’2000 Apr. 5 , 2000
7. Conclusion7. Conclusion
In this paper, we suggest an automaticautomatic asynchronous controller generation method based on process-oriented methodprocess-oriented method having the following noticeable features; • to present a systematic systematic and hierarchicalhierarchical way
• to produce STGs satisfying four propertiesfour properties for SI-circuit synthesisSI-circuit synthesis
• to be efficientefficient in the points of areaarea and performanceperformance
• to be usefuluseful for controller generationcontroller generation of large initial specificationlarge initial specification
Consequently, process-oriented process-oriented methodmethod can be used as an alternativealternative approach to asynchronous controller asynchronous controller generationgeneration.
Consequently, process-oriented process-oriented methodmethod can be used as an alternativealternative approach to asynchronous controller asynchronous controller generationgeneration.