Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/2548
Full metadata record
DC FieldValueLanguage
dc.contributor.authorAyav, Tolga-
dc.contributor.authorTuğlular, Tuğkan-
dc.contributor.authorBelli, Fevzi-
dc.date.accessioned2016-11-29T14:27:35Z-
dc.date.available2016-11-29T14:27:35Z-
dc.date.issued2015-09-
dc.identifier.citationAyav, T., Tuğlular, T., and Belli, F.(2015, July 1-5). Model based testing of VHDL programs. Paper presented at the 39th IEEE Annual Computer Software and Applications Conference Workshops, COMPSACW 2015. doi:10.1109/COMPSAC.2015.198en_US
dc.identifier.isbn9781467365635-
dc.identifier.issn0730-3157-
dc.identifier.urihttp://doi.org/10.1109/COMPSAC.2015.198-
dc.identifier.urihttp://hdl.handle.net/11147/2548-
dc.description39th IEEE Annual Computer Software and Applications Conference Workshops, COMPSACW 2015; Taichung; Taiwan; 1 July 2015 through 5 July 2015en_US
dc.description.abstractVHDL programs are often validated by means of test benches constructed from formal system specification. To include real-time properties of VHDL programs, the proposed approach first transforms them to concurrently running network of timed automata and then performs model checking on properties taken from the specification. Counterexamples generated by the model checker are used to form a test bench. The approach is validated by a case study composed of a nontrivial application running on a microprocessor. As presented, the approach enables testing both hardware and software at once.en_US
dc.language.isoenen_US
dc.publisherInstitute of Electrical and Electronics Engineers Inc.en_US
dc.relation.ispartof39th Annual Computer Software and Applications Conference Workshops, COMPSACW 2015en_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectModel based testingen_US
dc.subjectVHDLen_US
dc.subjectTimed automataen_US
dc.subjectModel checkingen_US
dc.subjectEngineering controlled termsen_US
dc.titleModel based testing of VHDL programsen_US
dc.typeConference Objecten_US
dc.authoridTR114453en_US
dc.authoridTR114656en_US
dc.institutionauthorAyav, Tolga-
dc.institutionauthorTuğlular, Tuğkan-
dc.departmentIzmir Institute of Technology. Computer Engineeringen_US
dc.identifier.startpage427en_US
dc.identifier.endpage432en_US
dc.identifier.wosWOS:000381598900072en_US
dc.identifier.scopus2-s2.0-84962128875en_US
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanıen_US
dc.identifier.doi10.1109/COMPSAC.2015.198-
dc.relation.doi10.1109/COMPSAC.2015.198en_US
dc.coverage.doi10.1109/COMPSAC.2015.198en_US
local.message.claim2022-06-03T14:17:46.715+0300|||rp00375|||submit_approve|||dc_contributor_author|||None*
dc.identifier.scopusquality--
item.openairetypeConference Object-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextWith Fulltext-
item.cerifentitytypePublications-
item.languageiso639-1en-
item.grantfulltextopen-
crisitem.author.dept03.04. Department of Computer Engineering-
crisitem.author.dept03.04. Department of Computer Engineering-
crisitem.author.dept03.04. Department of Computer Engineering-
Appears in Collections:Computer Engineering / Bilgisayar Mühendisliği
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
WoS İndeksli Yayınlar Koleksiyonu / WoS Indexed Publications Collection
Files in This Item:
File Description SizeFormat 
2548.pdfConference Paper568.07 kBAdobe PDFThumbnail
View/Open
Show simple item record

CORE Recommender

Google ScholarTM

Check

Altmetric


Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.