synthesis.sm

COriac Algorithm code

blo "47016,30576"
tm "TransitionPriority"
)
padding "200,200"
)
)
*18 (Transition
uid 89,0
shape (Spline
uid 90,0
va (VaSet
vasetType 3
)
xt "26000,12802,28949,35160"
pts [
"28626,35160"
"26000,24000"
"28949,12802"
]
arrow 1
)
start &4
end &2
ss 0
es 0
tb (TransitionBlock
uid 91,0
ps "CenterOffsetStrategy"
shape (Rectangle
uid 92,0
va (VaSet
vasetType 1
fg "65535,65535,65535"
bg "0,0,0"
lineColor "0,32768,49152"
)
xt "23400,22750,28600,25250"
)
autoResize 1
lineShape (Line
uid 93,0
va (VaSet
vasetType 3
isHidden 1
)
xt "26000,24000,26000,24000"
pts [
"26000,24000"
"26000,24000"
]
)
condition (MLText
uid 94,0
va (VaSet
font "Arial,12,0"
)
xt "23900,23250,28100,24750"
st "start='0'"
tm "Condition"
)
actions (MLText
uid 95,0
va (VaSet
font "Arial,12,0"
)
xt "26000,24000,26000,24000"
tm "Actions"
)
)
tp (TransitionPriority
uid 96,0
ps "PercentageFromStartStrategy"
shape (Circle
uid 97,0
va (VaSet
vasetType 1
isHidden 1
fg "65535,65535,65535"
bg "0,0,0"
)
xt "26859,31850,29053,34044"
radius 1097
)
pr (Text
uid 98,0
va (VaSet
isHidden 1
font "Arial,12,0"
)
xt "27606,32197,28306,33697"
st "1"
blo "27606,33397"
tm "TransitionPriority"
)
padding "200,200"
)
)
]
LanguageMgr "None"
bg "65535,65535,65535"
grid (Grid
origin "0,0"
isVisible 0
isActive 1
xSpacing 1000
xySpacing 1000
xShown 1
yShown 1
color "26368,26368,26368"
)
packageList *19 (PackageList
uid 25,0
stg "VerticalLayoutStrategy"
textVec [
*20 (Text
uid 26,0
va (VaSet
font "arial,10,1"
)
xt "-7000,5800,0,7000"
st "Package List"
blo "-7000,6800"
)
*21 (MLText
uid 27,0
va (VaSet
)
xt "-7000,7000,8000,10900"
tm "SmPackageListTextMgr"
)
]
)
compDirBlock (MlTextGroup
uid 28,0
stg "VerticalLayoutStrategy"
textVec [
*22 (Text
uid 29,0
va (VaSet
isHidden 1
font "Arial,10,1"
)
xt "19001,66653,29401,67853"
st "Compiler Directives"
blo "19001,67653"
)
*23 (Text
uid 30,0
va (VaSet
isHidden 1
font "Arial,10,1"
)
xt "19001,68053,31401,69253"
st "Pre-module directives:"
blo "19001,69053"
)
*24 (MLText
uid 31,0
va (VaSet
isHidden 1
)
xt "19001,69453,26501,71453"
st "`resetall
`timescale 1ns/10ps"
tm "SmCompilerDirectivesTextMgr"
)
*25 (Text
uid 32,0
va (VaSet
isHidden 1
font "Arial,10,1"
)
xt "19001,72253,31901,73453"
st "Post-module directives:"
blo "19001,73253"
)
*26 (MLText
uid 33,0
va (VaSet
isHidden 1
)
xt "19001,66653,19001,66653"
tm "SmCompilerDirectivesTextMgr"
)
*27 (Text
uid 34,0
va (VaSet
isHidden 1
font "Arial,10,1"
)
xt "19001,73653,31601,74853"
st "End-module directives:"
blo "19001,74653"
)
*28 (MLText
uid 35,0
va (VaSet
isHidden 1
)
xt "19001,67853,19001,67853"
tm "SmCompilerDirectivesTextMgr"
)
]
associable 1
)
windowSize "-4,-4,1276,1000"
viewArea "-13232,-596,74104,59596"
cachedDiagramExtent "-7000,1000,67800,74853"
hasePageBreakOrigin 1
pageBreakOrigin "-8000,1000"
isTopLevel 1
defaultCommentText (CommentText
shape (Rectangle
layer 0
va (VaSet
vasetType 1
fg "65280,65280,46080"
lineColor "0,0,32768"
)
xt "0,0,15000,5000"
)
text (MLText
va (VaSet
fg "0,0,32768"
)
xt "200,200,1600,1200"
st "
Text"
tm "CommentText"
wrapOption 3
visibleHeight 4600
visibleWidth 14600
)
)
defaultPanel (Panel
shape (RectFrame
va (VaSet
vasetType 1
fg "65535,65535,65535"
lineColor "32768,0,0"
lineWidth 3
)
xt "0,0,20000,20000"
)
title (TextAssociate
ps "TopLeftStrategy"
text (Text
va (VaSet
font "Arial,10,1"
)
xt "1000,1000,4400,2200"
st "Panel0"
blo "1000,2000"
tm "PanelText"
)
)
)
localDecl *29 (SmLocalDecl
uid 3,0
stg "VerticalLayoutStrategy"
first (Text
uid 4,0
va (VaSet
font "Arial,10,1"
)
xt "-7000,24600,6700,25800"
st "Architecture Declarations"
blo "-7000,25600"
)
second (MLText
uid 5,0
va (VaSet
font "Courier New,10,0"
)
xt "-7000,25800,-7000,25800"
tm "LocalDeclTextMgr"
)
)
processDecl *30 (SmProcessDecl
uid 6,0
stg "VerticalLayoutStrategy"
first (Text
uid 7,0
va (VaSet
font "Arial,10,1"
)
xt "-7000,26600,4800,27800"
st "Process Declarations"
blo "-7000,27600"
)
second (MLText
uid 8,0
va (VaSet
font "Courier New,10,0"
)
xt "-7000,27800,-7000,27800"
tm "ProcessDeclTextMgr"
)
)
defaultActions *31 (BiTextGroup
uid 9,0
stg "VerticalLayoutStrategy"
first (Text
uid 10,0
va (VaSet
font "Arial,10,1"
)
xt "-7000,8600,800,9800"
st "Global Actions"
blo "-7000,9600"
)
second (MLText
uid 11,0
va (VaSet
)
xt "-7000,9800,-7000,9800"
tm "Actions"
)
associable 1
)
archConcurrentStatementBlock *32 (BiTextGroup
uid 12,0
stg "VerticalLayoutStrategy"
first (Text
uid 13,0
va (VaSet
font "Arial,10,1"
)
xt "-7000,18900,5400,20100"
st "Concurrent Statements"
blo "-7000,19900"
)
second (MLText
uid 14,0
va (VaSet
)
xt "-7000,20100,24600,31800"
tm "ArchConcStmtTextMgr"
)
associable 1
)
signalsGenStatus *33 (SmSignalGenStatus
uid 22,0
stg "VerticalLayoutStrategy"
first (Text
uid 23,0
va (VaSet
font "Arial,10,1"
)
xt "-7000,29600,700,30800"
st "Signals Status"
blo "-7000,30600"
)
second (MLText
uid 24,0
va (VaSet
font "Courier New,10,0"
)
xt "-7000,30800,19400,36800"
st "SIGNAL     SCOPE DEFAULT  RESET  STATUS 
init       OUT                   COMB   
load       OUT                   COMB   
done       OUT                   COMB   
nextstate  INT                   COMB   
"
tm "SmSignalsGenStatusTextMgr"
)
genSignals [
(SingleSignalGenStatus
name "init"
type ""
in "init_int"
at "state"
)
(SingleSignalGenStatus
name "load"
type ""
in "load_int"
at "state"
)
(SingleSignalGenStatus
name "done"
type ""
in "done_int"
at "state"
)
(SingleSignalGenStatus
name "nextstate"
type ""
sc 1
at "state"
)
]
)
stateRegBlock *34 (BiTextGroup
uid 15,0
stg "VerticalLayoutStrategy"
first (Text
uid 16,0
va (VaSet
font "Arial,10,1"
)
xt "-7000,21600,6900,22800"
st "State Register Statements"
blo "-7000,22600"
)
second (MLText
uid 17,0
va (VaSet
)
xt "-7000,22800,-7000,22800"
tm "Actions"
)
associable 1
)
recoveryStateSettings (MlTextGroup
uid 18,0
stg "VerticalLayoutStrategy"
textVec [
*35 (Text
uid 19,0
va (VaSet
font "Arial,10,1"
)
xt "-7000,10900,6000,12100"
st "Recovery State Settings"
blo "-7000,11900"
)
*36 (Text
uid 20,0
va (VaSet
)
xt "-7000,12100,100,13400"
st "Next State: s0"
blo "-7000,13100"
)
*37 (MLText
uid 21,0
va (VaSet
)
xt "-7000,13400,900,17400"
st "done <= '-';
init <= '-';
load <= '-';               
   "
tm "Actions"
)
]
associable 1
)
)
genChar (SmGenChar
uid 36,0
resetName "reset"
resetCondition "reset='0'"
resetPolarity 2
clockSigName "clk"
recoveryState "s0"
csName "state"
nsName "nextstate"
nextStateClocking 0
)
SmEncoding (SmEncoding
uid 136,0
encodingScheme 0
encodingVerilogScheme 0
encodingMode 0
encodingStateVariable 0
encodingSynVariable 0
otherEncoded ""
safeEncoding 0
synOtherEncoded ""
)
name "state"
)
]
lastUid 136,0
signalSuffix "_int"
clockSuffix "_cld"
defaultState (State
shape (Circle
va (VaSet
vasetType 1
fg "0,65535,65535"
lineColor "0,32768,49152"
lineWidth 2
)
xt "-6000,-6000,6000,6000"
radius 6000
)
name (Text
va (VaSet
font "Arial,12,1"
)
xt "-700,-750,700,750"
st "s0"
blo "-700,450"
tm "ONodeName"
)
encoding (Text
va (VaSet
isHidden 1
font "Arial,12,1"
)
xt "0,1150,0,1150"
blo "0,1150"
tm "SmEncodingMgr"
)
actions (TextAssociate
ps "CenterOffsetStrategy"
text (MLText
va (VaSet
font "Arial,12,0"
)
xt "700,2200,700,2200"
tm "Actions"
)
)
caseExpr (TextAssociate
ps "CenterOffsetStrategy"
text (MLText
va (VaSet
isHidden 1
font "Arial,10,1"
)
xt "-1000,1300,2400,2500"
st "CASE: "
tm "SmCaseExpr"
)
)
)
defaultStartState (State
shape (DoubleCircle
va (VaSet
vasetType 1
fg "0,65535,0"
lineColor "0,32896,0"
lineWidth 2
)
xt "-6000,-6000,6000,6000"
radius 6000
)
name (Text
va (VaSet
font "Arial,12,1"
)
xt "-700,-750,700,750"
st "s0"
blo "-700,450"
tm "ONodeName"
)
encoding (Text
va (VaSet
isHidden 1
font "Arial,12,1"
)
xt "0,1150,0,1150"
blo "0,1150"
tm "SmEncodingMgr"
)
actions (TextAssociate
ps "CenterOffsetStrategy"
text (MLText
va (VaSet
font "Arial,12,0"
)
xt "700,2200,700,2200"
tm "Actions"
)
)
caseExpr (TextAssociate
ps "CenterOffsetStrategy"
text (MLText
va (VaSet
isHidden 1
font "Arial,10,1"
)
xt "-1000,1300,2400,2500"
st "CASE: "
tm "SmCaseExpr"
)
)
)
defaultCompositeState (CompositeState
shape (TripleCircle
va (VaSet
vasetType 1
fg "29952,39936,65280"
lineColor "0,0,32768"
lineWidth 2
)
xt "-6000,-6000,6000,6000"
radius 6000
)
name (Text
va (VaSet
font "Arial,12,1"
)
xt "-700,-750,700,750"
st "s0"
blo "-700,450"
tm "ONodeName"
)
childDiagram &0
)
defaultJunction (Junction
shape (Diamond
va (VaSet
vasetType 1
fg "59904,39936,65280"
)
xt "-1100,-1100,2100,2100"
)
symbol (Text
va (VaSet
font "Arial,12,1"
)
xt "50,-250,950,1250"
st "&"
blo "50,950"
)
name (TextAssociate
ps "CenterOffsetStrategy"
text (Text
va (VaSet
font "Arial,12,1"
)
xt "2000,1000,2000,1000"
blo "2000,1000"
tm "JunctionName"
)
)
)
defaultEntryPoint (EntryPoint
shape (CompositeShape
va (VaSet
vasetType 1
fg "29952,39936,65280"
)
optionalChildren [
(Pentagon
sl 0
ro 270
xt "-875,875,1375,1875"
)
(Line
sl 0
ro 270
xt "1375,1375,1875,1375"
pts [
"1375,1375"
"1875,1375"
]
)
]
)
)
defaultInterruptPoint (InterruptPoint
shape (CompositeShape
va (VaSet
vasetType 1
fg "65535,0,0"
)
optionalChildren [
(Pentagon
sl 0
ro 270
xt "-875,875,1375,1875"
)
(Line
sl 0
ro 270
xt "1375,1375,1875,1375"
pts [
"1375,1375"
"1875,1375"
]
)
(CustomPolygon
pts [
"-625,1600"
"-625,1300"
"25,1425"
"-75,1150"
"1025,1350"
"200,1350"
"375,1600"
]
sl 0
ro 270
va (VaSet
vasetType 1
fg "65535,65535,0"
bg "65535,0,0"
lineColor "65535,65535,0"
)
xt "-625,1150,1025,1600"
)
]
)
)
defaultLink (Link
shape (CompositeShape
va (VaSet
vasetType 1
fg "65535,65535,0"
bg "0,0,0"
)
optionalChildren [
(Pentagon
sl 0
ro 270
xt "-375,875,1875,1875"
)
(Line
sl 0
ro 270
xt "-875,1375,-375,1375"
pts [
"-875,1375"
"-375,1375"
]
)
]
)
name (TextAssociate
ps "CenterOffsetStrategy"
text (Text
va (VaSet
font "Arial,12,1"
)
xt "2375,875,4775,2375"
st "Link"
blo "2375,2075"
tm "LinkName"
)
)
)
defaultExitPoint (ExitPoint
shape (CompositeShape
va (VaSet
vasetType 1
fg "29952,39936,65280"
)
optionalChildren [
(Pentagon
sl 0
ro 270
xt "-375,875,1875,1875"
)
(Line
sl 0
ro 270
xt "-875,1375,-375,1375"
pts [
"-875,1375"
"-375,1375"
]
)
]
)
)
defaultTransition (Transition
shape (Spline
va (VaSet
vasetType 3
)
pts [
"0,0"
"0,0"
]
arrow 1
)
ss 0
es 0
tb (TransitionBlock
ps "CenterOffsetStrategy"
shape (Rectangle
va (VaSet
vasetType 1
isHidden 1
fg "65535,65535,65535"
bg "0,0,0"
lineColor "0,32768,49152"
)
xt "-500,-500,500,500"
)
autoResize 1
lineShape (Line
va (VaSet
vasetType 3
isHidden 1
)
pts [
"0,0"
"0,0"
]
)
condition (MLText
va (VaSet
isHidden 1
font "Arial,12,0"
)
tm "Condition"
)
actions (MLText
va (VaSet
font "Arial,12,0"
)
tm "Actions"
)
)
tp (TransitionPriority
ps "PercentageFromStartStrategy"
shape (Circle
va (VaSet
vasetType 1
fg "65535,65535,65535"
bg "0,0,0"
)
xt "-1097,-1097,1097,1097"
radius 1097
)
pr (Text
va (VaSet
font "Arial,12,0"
)
xt "-350,-750,350,750"
st "1"
blo "-350,450"
tm "TransitionPriority"
)
padding "200,200"
)
)
LanguageMgr "VhdlLangMgr"
)