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...
Saved in:
| Published in | International journal of circuit theory and applications Vol. 42; no. 5; pp. 542 - 550 |
|---|---|
| Main Authors | , , |
| Format | Journal Article |
| Language | English |
| Published |
Bognor Regis
Blackwell Publishing Ltd
01.05.2014
Wiley Subscription Services, Inc |
| Subjects | |
| Online Access | Get full text |
| ISSN | 0098-9886 1097-007X |
| DOI | 10.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 |