Synthesizing VHDL from Activity Models in UML 2

ABSTRACT This document describes a synthesis technology that generates structural VHDL code from models describing the flow of data required to perform algorithms operating on bit‐blocks. The models are built using restricted activity diagrams in the Unified Modeling Language version 2. The code gen...

Full description

Saved in:
Bibliographic Details
Published inInternational journal of circuit theory and applications Vol. 42; no. 5; pp. 542 - 550
Main Authors Balderas-Contreras, Tomás, Cumplido, René, Rodríguez, Gustavo
Format Journal Article
LanguageEnglish
Published Bognor Regis Blackwell Publishing Ltd 01.05.2014
Wiley Subscription Services, Inc
Subjects
Online AccessGet full text
ISSN0098-9886
1097-007X
DOI10.1002/cta.1874

Cover

Abstract ABSTRACT This document describes a synthesis technology that generates structural VHDL code from models describing the flow of data required to perform algorithms operating on bit‐blocks. The models are built using restricted activity diagrams in the Unified Modeling Language version 2. The code generator is developed using Acceleo, a technology to implement transformations from models to text. The technology described in this paper exploits the principles of object orientation and model‐driven engineering. The primary aim is to improve productivity and alleviate complexity during the design of digital hardware systems that implement demanding operations used by a wide variety of computing devices. The use of the technology is illustrated with the generation of VHDL code from models describing a block cipher algorithm. Copyright © 2012 John Wiley & Sons, Ltd. We explore the feasibility of transforming high‐level models of block cipher algorithms, built using activity diagrams in the Unified Modeling Language version 2 (UML 2), to source code in VHDL. The lower level VHDL representation may be synthesized and implemented in a hardware platform like a FPGA. We describe how to adapt the UML 2 language to model block cipher algorithms accurately and the transformation tool that generates VHDL code from the UML 2 diagrams. This technology aims at improving the productivity of the designers.
AbstractList This document describes a synthesis technology that generates structural VHDL code from models describing the flow of data required to perform algorithms operating on bit-blocks. The models are built using restricted activity diagrams in the Unified Modeling Language version 2. The code generator is developed using Acceleo, a technology to implement transformations from models to text. The technology described in this paper exploits the principles of object orientation and model-driven engineering. The primary aim is to improve productivity and alleviate complexity during the design of digital hardware systems that implement demanding operations used by a wide variety of computing devices. The use of the technology is illustrated with the generation of VHDL code from models describing a block cipher algorithm. Copyright © 2012 John Wiley & Sons, Ltd. [PUBLICATION ABSTRACT]
This document describes a synthesis technology that generates structural VHDL code from models describing the flow of data required to perform algorithms operating on bit‐blocks. The models are built using restricted activity diagrams in the Unified Modeling Language version 2. The code generator is developed using Acceleo, a technology to implement transformations from models to text. The technology described in this paper exploits the principles of object orientation and model‐driven engineering. The primary aim is to improve productivity and alleviate complexity during the design of digital hardware systems that implement demanding operations used by a wide variety of computing devices. The use of the technology is illustrated with the generation of VHDL code from models describing a block cipher algorithm. Copyright © 2012 John Wiley & Sons, Ltd.
ABSTRACT This document describes a synthesis technology that generates structural VHDL code from models describing the flow of data required to perform algorithms operating on bit‐blocks. The models are built using restricted activity diagrams in the Unified Modeling Language version 2. The code generator is developed using Acceleo, a technology to implement transformations from models to text. The technology described in this paper exploits the principles of object orientation and model‐driven engineering. The primary aim is to improve productivity and alleviate complexity during the design of digital hardware systems that implement demanding operations used by a wide variety of computing devices. The use of the technology is illustrated with the generation of VHDL code from models describing a block cipher algorithm. Copyright © 2012 John Wiley & Sons, Ltd. We explore the feasibility of transforming high‐level models of block cipher algorithms, built using activity diagrams in the Unified Modeling Language version 2 (UML 2), to source code in VHDL. The lower level VHDL representation may be synthesized and implemented in a hardware platform like a FPGA. We describe how to adapt the UML 2 language to model block cipher algorithms accurately and the transformation tool that generates VHDL code from the UML 2 diagrams. This technology aims at improving the productivity of the designers.
Author Rodríguez, Gustavo
Balderas-Contreras, Tomás
Cumplido, René
Author_xml – sequence: 1
  givenname: Tomás
  surname: Balderas-Contreras
  fullname: Balderas-Contreras, Tomás
  email: Correspondence to: Tomás Balderas-Contreras, Computer Science Department, Instituto Nacional de Astrofísica, Óptica y Electrónica, Tonantzintla, Puebla, Mexico., balderas@ccc.inaoep.mx
  organization: Correspondence to: Tomás Balderas-Contreras, Computer Science Department, Instituto Nacional de Astrofísica, Óptica y Electrónica, Tonantzintla, Puebla, Mexico.E-mail
– sequence: 2
  givenname: René
  surname: Cumplido
  fullname: Cumplido, René
– sequence: 3
  givenname: Gustavo
  surname: Rodríguez
  fullname: Rodríguez, Gustavo
BookMark eNp10EFPwjAYxvHGYCKiiR9hiRcvg3Zt1_ZIpoLJ0AMg3prStVqEDduhzk_vCMbEg6f38sv7JP9T0Cmr0gBwgWAfQZgMdK36iDNyBLoIChZDyJ46oAuh4LHgPD0BpyGsIIQ8waILBtOmrF9McF-ufI4ex9d5ZH21iYa6du-ubqJJVZh1iFwZzSd5lJyBY6vWwZz_3B6Y397MsnGcP4zusmEe60QkJNZLrQyyHFKiaGqsxspSbjUxS6MJF8IobouWoIQXgiGNU2opZdikClNR4B64PPzd-uptZ0ItV9XOl-2kRBQxlHJCWKuuDkr7KgRvrNx6t1G-kQjKfQ7Z5pD7HC2ND_TDrU3zr5PZbPjXu1Cbz1-v_KtMGWZULu5Hcjqd4TxbYEnwN9hkcBY
CODEN ICTACV
Cites_doi 10.1109/MS.2003.1231149
10.1109/ICEEE.2004.1433860
10.1007/3-540-47884-1_16
10.1145/1065579.1065642
10.1002/cta.820
ContentType Journal Article
Copyright Copyright © 2012 John Wiley & Sons, Ltd.
Copyright © 2014 John Wiley & Sons, Ltd.
Copyright_xml – notice: Copyright © 2012 John Wiley & Sons, Ltd.
– notice: Copyright © 2014 John Wiley & Sons, Ltd.
DBID BSCLL
AAYXX
CITATION
7SP
8FD
L7M
DOI 10.1002/cta.1874
DatabaseName Istex
CrossRef
Electronics & Communications Abstracts
Technology Research Database
Advanced Technologies Database with Aerospace
DatabaseTitle CrossRef
Technology Research Database
Advanced Technologies Database with Aerospace
Electronics & Communications Abstracts
DatabaseTitleList Technology Research Database
CrossRef

DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EISSN 1097-007X
EndPage 550
ExternalDocumentID 3278030981
10_1002_cta_1874
CTA1874
ark_67375_WNG_SST3LCW3_4
Genre letter
GroupedDBID .3N
.GA
.Y3
05W
0R~
10A
1L6
1OB
1OC
31~
33P
3SF
3WU
4.4
4ZD
50Y
50Z
51W
51X
52M
52N
52O
52P
52S
52T
52U
52W
52X
5GY
5VS
66C
702
7PT
8-0
8-1
8-3
8-4
8-5
8UM
930
A03
AAESR
AAEVG
AAHQN
AAMMB
AAMNL
AANHP
AANLZ
AAONW
AASGY
AAXRX
AAYCA
AAZKR
ABCQN
ABCUV
ABEML
ABIJN
ABJNI
ACAHQ
ACBWZ
ACCZN
ACGFS
ACIWK
ACPOU
ACRPL
ACSCC
ACXBN
ACXQS
ACYXJ
ADBBV
ADEOM
ADIZJ
ADKYN
ADMGS
ADMLS
ADNMO
ADOZA
ADZMN
AEFGJ
AEIGN
AEIMD
AENEX
AEUYR
AEYWJ
AFBPY
AFFNX
AFFPM
AFGKR
AFWVQ
AFZJQ
AGHNM
AGQPQ
AGXDD
AGYGG
AHBTC
AI.
AIDQK
AIDYY
AIQQE
AITYG
AIURR
AJXKR
ALAGY
ALMA_UNASSIGNED_HOLDINGS
ALUQN
ALVPJ
AMBMR
AMYDB
ASPBG
ATUGU
AUFTA
AVWKF
AZBYB
AZFZN
AZVAB
BAFTC
BDRZF
BFHJK
BHBCM
BMNLL
BMXJE
BNHUX
BROTX
BRXPI
BSCLL
BY8
CMOOK
CS3
D-E
D-F
DCZOG
DPXWK
DR2
DRFUL
DRSTM
DU5
EBS
EJD
F00
F01
F04
FEDTE
G-S
G.N
GNP
GODZA
H.T
H.X
HF~
HGLYW
HHY
HVGLF
HZ~
IX1
J0M
JPC
KQQ
LATKE
LAW
LC2
LC3
LEEKS
LH4
LITHE
LOXES
LP6
LP7
LUTES
LW6
LYRES
M59
MEWTI
MK4
MRFUL
MRSTM
MSFUL
MSSTM
MXFUL
MXSTM
N04
N05
N9A
NF~
NNB
O66
O9-
P2P
P2W
P2X
P4D
PALCI
Q.N
Q11
QB0
QRW
R.K
RIWAO
RJQFR
ROL
RX1
RYL
SAMSI
SUPJJ
TN5
UB1
V2E
VH1
W8V
W99
WBKPD
WIH
WIK
WLBEL
WOHZO
WQJ
WXSBR
WYISQ
XG1
XV2
ZY4
ZZTAW
~IA
~WT
AAHHS
ABTAH
ACCFJ
ADZOD
AEEZP
AEQDE
AEUQT
AFPWT
AIWBW
AJBDE
RWI
WRC
WWI
AAYXX
CITATION
7SP
8FD
L7M
ID FETCH-LOGICAL-c2924-cbcae1f8054a56efc3af58fc4ebec4899ea8fdae1128d971c365f5573e6a359d3
IEDL.DBID DR2
ISSN 0098-9886
IngestDate Fri Jul 25 12:08:16 EDT 2025
Wed Oct 01 03:35:38 EDT 2025
Wed Jan 22 16:47:56 EST 2025
Sun Sep 21 06:13:27 EDT 2025
IsPeerReviewed true
IsScholarly true
Issue 5
Language English
License http://onlinelibrary.wiley.com/termsAndConditions#vor
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c2924-cbcae1f8054a56efc3af58fc4ebec4899ea8fdae1128d971c365f5573e6a359d3
Notes ark:/67375/WNG-SST3LCW3-4
istex:08A2FB659EE24D05A9D81A9F48EAFA7BF8C7D449
ArticleID:CTA1874
ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
PQID 1517168447
PQPubID 996369
PageCount 9
ParticipantIDs proquest_journals_1517168447
crossref_primary_10_1002_cta_1874
wiley_primary_10_1002_cta_1874_CTA1874
istex_primary_ark_67375_WNG_SST3LCW3_4
ProviderPackageCode CITATION
AAYXX
PublicationCentury 2000
PublicationDate May 2014
PublicationDateYYYYMMDD 2014-05-01
PublicationDate_xml – month: 05
  year: 2014
  text: May 2014
PublicationDecade 2010
PublicationPlace Bognor Regis
PublicationPlace_xml – name: Bognor Regis
PublicationTitle International journal of circuit theory and applications
PublicationTitleAlternate Int. J. Circ. Theor. Appl
PublicationYear 2014
Publisher Blackwell Publishing Ltd
Wiley Subscription Services, Inc
Publisher_xml – name: Blackwell Publishing Ltd
– name: Wiley Subscription Services, Inc
References Bailey B, Martin G, Piziali A. ESL Design and Verification. A Prescription for Electronic System-Level Methodology. Morgan Kaufmann Publishers: San Francisco, 2007.
Olivé A. Conceptual Modeling of Information Systems. Springer Publishing Company, Incorporated: New York, 2007.
Atkinson C, Kühne T. Model-Driven Development: A Metamodeling Foundation. IEEE Software 2003; 20(5):36-41. DOI: 10.1109/MS.2003.1231149.
Balderas-Contreras T, Cumplido R. An Efficient Reuse-based Approach to Implement the 3GPP KASUMI Block Cipher. In Proceedings of the First International Conference on Electrical and Electronics Engineering 2004.
Doménech-Asensi G, Díaz-Madrid JA, Ruiz-Merino R. Synthesis of CMOS Analog Circuit VHDL-AMS Descriptions Using Parameterizable Macromodels. International Journal of Circuit Theory and Applications; 2011; DOI: 10.1002/cta.820.
2008
2007
2006
2005
2004
2002
2001
2011
2010
2003; 20
e_1_2_6_10_1
e_1_2_6_20_1
e_1_2_6_9_1
e_1_2_6_8_1
e_1_2_6_19_1
e_1_2_6_5_1
Bailey B (e_1_2_6_3_1) 2007
e_1_2_6_4_1
e_1_2_6_7_1
e_1_2_6_6_1
Olivé A (e_1_2_6_16_1) 2007
e_1_2_6_13_1
e_1_2_6_14_1
e_1_2_6_11_1
e_1_2_6_2_1
e_1_2_6_12_1
e_1_2_6_17_1
e_1_2_6_18_1
e_1_2_6_15_1
References_xml – reference: Doménech-Asensi G, Díaz-Madrid JA, Ruiz-Merino R. Synthesis of CMOS Analog Circuit VHDL-AMS Descriptions Using Parameterizable Macromodels. International Journal of Circuit Theory and Applications; 2011; DOI: 10.1002/cta.820.
– reference: Bailey B, Martin G, Piziali A. ESL Design and Verification. A Prescription for Electronic System-Level Methodology. Morgan Kaufmann Publishers: San Francisco, 2007.
– reference: Atkinson C, Kühne T. Model-Driven Development: A Metamodeling Foundation. IEEE Software 2003; 20(5):36-41. DOI: 10.1109/MS.2003.1231149.
– reference: Olivé A. Conceptual Modeling of Information Systems. Springer Publishing Company, Incorporated: New York, 2007.
– reference: Balderas-Contreras T, Cumplido R. An Efficient Reuse-based Approach to Implement the 3GPP KASUMI Block Cipher. In Proceedings of the First International Conference on Electrical and Electronics Engineering 2004.
– year: 2011
– volume: 20
  start-page: 36
  issue: 5
  year: 2003
  end-page: 41
  article-title: Model‐Driven Development: A Metamodeling Foundation
  publication-title: IEEE Software
– year: 2011
  article-title: Synthesis of CMOS Analog Circuit VHDL‐AMS Descriptions Using Parameterizable Macromodels
  publication-title: International Journal of Circuit Theory and Applications
– year: 2005
– year: 2002
– year: 2007
– year: 2001
– year: 2008
– year: 2010
– year: 2006
– year: 2004
– ident: e_1_2_6_19_1
– ident: e_1_2_6_20_1
– volume-title: Conceptual Modeling of Information Systems
  year: 2007
  ident: e_1_2_6_16_1
– ident: e_1_2_6_10_1
– ident: e_1_2_6_5_1
  doi: 10.1109/MS.2003.1231149
– ident: e_1_2_6_18_1
– ident: e_1_2_6_13_1
– ident: e_1_2_6_14_1
  doi: 10.1109/ICEEE.2004.1433860
– ident: e_1_2_6_8_1
– ident: e_1_2_6_11_1
– ident: e_1_2_6_4_1
  doi: 10.1007/3-540-47884-1_16
– ident: e_1_2_6_9_1
– ident: e_1_2_6_6_1
– ident: e_1_2_6_7_1
– ident: e_1_2_6_17_1
– ident: e_1_2_6_12_1
– ident: e_1_2_6_15_1
  doi: 10.1145/1065579.1065642
– ident: e_1_2_6_2_1
  doi: 10.1002/cta.820
– volume-title: ESL Design and Verification. A Prescription for Electronic System‐Level Methodology
  year: 2007
  ident: e_1_2_6_3_1
SSID ssj0008239
Score 1.981806
Snippet ABSTRACT This document describes a synthesis technology that generates structural VHDL code from models describing the flow of data required to perform...
This document describes a synthesis technology that generates structural VHDL code from models describing the flow of data required to perform algorithms...
SourceID proquest
crossref
wiley
istex
SourceType Aggregation Database
Index Database
Publisher
StartPage 542
SubjectTerms code generation
domain-specific modeling
meta-modeling
model-driven engineering
UML 2
VHDL
Title Synthesizing VHDL from Activity Models in UML 2
URI https://api.istex.fr/ark:/67375/WNG-SST3LCW3-4/fulltext.pdf
https://onlinelibrary.wiley.com/doi/abs/10.1002%2Fcta.1874
https://www.proquest.com/docview/1517168447
Volume 42
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVEBS
  databaseName: Inspec with Full Text
  customDbUrl:
  eissn: 1097-007X
  dateEnd: 20241101
  omitProxy: false
  ssIdentifier: ssj0008239
  issn: 0098-9886
  databaseCode: ADMLS
  dateStart: 20120701
  isFulltext: true
  titleUrlDefault: https://www.ebsco.com/products/research-databases/inspec-full-text
  providerName: EBSCOhost
– providerCode: PRVWIB
  databaseName: Wiley Online Library - Core collection (SURFmarket)
  issn: 0098-9886
  databaseCode: DR2
  dateStart: 19960101
  customDbUrl:
  isFulltext: true
  eissn: 1097-007X
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0008239
  providerName: Wiley-Blackwell
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LSwMxEA5SL3rwLVarRBBv29o8drPHUq1F2h5sawseQpJmoVRW6QO0v97JbrcPQRBPYWE2u5NkMt-EyTcI3Qhhte8Wrx6Utce0gX0QvIAHpkSY0SxkSaDYbPn1Lnvq8_4iq9LdhUn5IZYHbs4ykv3aGbjSk9KKNNRMVdEVlIPtt0z9JJp6XjFHCULDjC4zFMLPeGfvSCl7ccMTbbtB_dyAmetgNfE2tX30mv1nmmQyKs6mumjmPygc_6fIAdpbgFBcSVfNIdqy8RHaXaMmPEal9lcM2HAynMMjfqnfN7C7iYIrJi03gV0RtbcJHsa422xgcoK6tYdOte4tiit4hkDM5RltlC1HAiCb4r6NDFURF5FhblYZRGFWiWgAIuDABmFQNtTnEecBtb6iPBzQU5SL32N7hrDwTUS4ckWwNINWscAAjtOEWNevzqPrbKDlR8qhIVO2ZCJBeemUz6PbZAaWAmo8cjlnAZe91qNstzu0Ue1RCYKFbIrkwtwmEmALxH2CsQD6Scb61w_Jaqfi2vO_Cl6gHQBJLE1yLKDcdDyzlwBEpvoqWXLfe7fX_g
linkProvider Wiley-Blackwell
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3dS8MwED90PqgPfovfRhDfurk0aVN8GvNjarcHt6kPQkiyFIZSZZug_vVe2tUvEMSnULimTe4u97uQ_A5gXwirA2e8ulfVHtMG10GMAh66EmVGs4hliWKzFTS67OKW307AUXEXJueH-Nhwc56RrdfOwd2GdOWTNdSMVNlVlJuEKRZgmuIQ0dUnd5SgflQQZkZCBAXz7CGtFG9-i0VTblpfvgHNr3A1izen83BX_Gl-zOS-_DzSZfP2g8Txn0NZgLkxDiW13HAWYcKmSzD7hZ1wGSrt1xTh4bD_ho_kunEcE3cZhdRMXnGCuDpqD0PST0m3GRO6At3Tk0694Y3rK3iGYtrlGW2UrSYCUZvigU2MrxIuEsOcYhkmYlaJpIciGMN6UVg1fsATzkPfBsrnUc9fhVL6mNo1ICIwCeXK1cHSDFvFQoNQTlNqXb96HfaKmZZPOY2GzAmTqcTBSzf4dTjIVPAhoAb37thZyOVN60y22x0_rt_4EgW3Ch3JsccNJSIXTP0EYyH2k032rx-S9U7NtRt_FdyF6UanGcv4vHW5CTOImVh-5nELSqPBs91GXDLSO5n9vQMWKdwf
linkToPdf http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3dS8MwED_8ANEHv8VvI4hv3VyatCk-jc05dQ5xm_oghCRNYShV3AT1r_fSrn6BID6FwjXtJbnc78LldwB7QlgduMWr44r2mDa4D6IX8NCUKDOaRSwLFM_bQbPHTm_4zRgcFndhcn6IjwM3ZxnZfu0M3D7GSfmTNdQMVclVlBuHScYj4fL56pef3FGC-lFBmBkJERTMswe0XLz5zRdNumF9-QY0v8LVzN805uC2-NM8zeSu9DzUJfP2g8Txn6rMw-wIh5JqvnAWYMymizDzhZ1wCcqd1xTh4aD_ho_kqllvEXcZhVRNXnGCuDpq9wPST0nvvEXoMvQaR91a0xvVV_AMxbDLM9ooW0kEojbFA5sYXyVcJIa5iWUYiFklkhhF0IfFUVgxfsATzkPfBsrnUeyvwET6kNpVICIwCeXK1cHSDFvFQoNQTlNqXb96DXaLkZaPOY2GzAmTqUTlpVN-DfazKfgQUE93Lu0s5PK6fSw7na7fql37EgU3izmSI4sbSEQuGPoJxkLsJxvsXz8ka92qa9f_KrgDUxf1hmydtM82YBohE8tTHjdhYvj0bLcQlgz1drb83gHvI9uj
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Synthesizing+VHDL+from+Activity+Models+in+UML+2&rft.jtitle=International+journal+of+circuit+theory+and+applications&rft.au=Balderas%E2%80%90Contreras%2C+Tom%C3%A1s&rft.au=Cumplido%2C+Ren%C3%A9&rft.au=Rodr%C3%ADguez%2C+Gustavo&rft.date=2014-05-01&rft.issn=0098-9886&rft.eissn=1097-007X&rft.volume=42&rft.issue=5&rft.spage=542&rft.epage=550&rft_id=info:doi/10.1002%2Fcta.1874&rft.externalDBID=n%2Fa&rft.externalDocID=10_1002_cta_1874
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0098-9886&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0098-9886&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0098-9886&client=summon