{"id":"https://openalex.org/W3085040079","doi":"https://doi.org/10.1109/hpcs48598.2019.9188056","title":"Methodology for Decoupled Simulation of SystemVerilog HDL Designs","display_name":"Methodology for Decoupled Simulation of SystemVerilog HDL Designs","publication_year":2019,"publication_date":"2019-07-01","ids":{"openalex":"https://openalex.org/W3085040079","doi":"https://doi.org/10.1109/hpcs48598.2019.9188056","mag":"3085040079"},"language":"en","primary_location":{"id":"doi:10.1109/hpcs48598.2019.9188056","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpcs48598.2019.9188056","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 International Conference on High Performance Computing & Simulation (HPCS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034907792","display_name":"Juan-Jos\u00e9 Crespo","orcid":"https://orcid.org/0000-0002-7060-9861"},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"education","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Juan-Jose Crespo","raw_affiliation_strings":["Dept. of Computing Systems, University of Castilla-La Mancha Albacete, Spain"],"affiliations":[{"raw_affiliation_string":"Dept. of Computing Systems, University of Castilla-La Mancha Albacete, Spain","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082634225","display_name":"German Maglione-Mathey","orcid":"https://orcid.org/0000-0002-4967-2268"},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"education","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"German Maglione-Mathey","raw_affiliation_strings":["Dept. of Computing Systems, University of Castilla-La Mancha Albacete, Spain"],"affiliations":[{"raw_affiliation_string":"Dept. of Computing Systems, University of Castilla-La Mancha Albacete, Spain","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100631800","display_name":"Jos\u00e9 L. S\u00e1nchez","orcid":"https://orcid.org/0000-0002-3498-9174"},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"education","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jose L. Sanchez","raw_affiliation_strings":["Dept. of Computing Systems, University of Castilla-La Mancha Albacete, Spain"],"affiliations":[{"raw_affiliation_string":"Dept. of Computing Systems, University of Castilla-La Mancha Albacete, Spain","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081388359","display_name":"Francisco J. Alfaro","orcid":"https://orcid.org/0000-0002-4430-4482"},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"education","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Francisco J. Alfaro-Cortes","raw_affiliation_strings":["Dept. of Computing Systems, University of Castilla-La Mancha Albacete, Spain"],"affiliations":[{"raw_affiliation_string":"Dept. of Computing Systems, University of Castilla-La Mancha Albacete, Spain","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017427985","display_name":"Jes\u00fas Escudero\u2010Sahuquillo","orcid":"https://orcid.org/0000-0003-0835-8624"},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"education","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jesus Escudero-Sahuquillo","raw_affiliation_strings":["Dept. of Computing Systems, University of Castilla-La Mancha Albacete, Spain"],"affiliations":[{"raw_affiliation_string":"Dept. of Computing Systems, University of Castilla-La Mancha Albacete, Spain","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025950276","display_name":"Pedro J. Garc\u00eda","orcid":"https://orcid.org/0000-0002-7350-6067"},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"education","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Pedro Javier Garcia","raw_affiliation_strings":["Dept. of Computing Systems, University of Castilla-La Mancha Albacete, Spain"],"affiliations":[{"raw_affiliation_string":"Dept. of Computing Systems, University of Castilla-La Mancha Albacete, Spain","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055246289","display_name":"Francisco J. Quiles","orcid":"https://orcid.org/0000-0002-8966-6225"},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"education","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Francisco J. Quiles","raw_affiliation_strings":["Dept. of Computing Systems, University of Castilla-La Mancha Albacete, Spain"],"affiliations":[{"raw_affiliation_string":"Dept. of Computing Systems, University of Castilla-La Mancha Albacete, Spain","institution_ids":["https://openalex.org/I79189158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5034907792"],"corresponding_institution_ids":["https://openalex.org/I79189158"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.25697887,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"39","issue":null,"first_page":"741","last_page":"746"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8446550369262695},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6858152747154236},{"id":"https://openalex.org/keywords/hardware-description-language","display_name":"Hardware description language","score":0.5477270483970642},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5345019698143005},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.4843376874923706},{"id":"https://openalex.org/keywords/instrumentation","display_name":"Instrumentation (computer programming)","score":0.45642420649528503},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.44419369101524353},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.41216525435447693},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3545369505882263},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.3279038667678833},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.11955812573432922}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8446550369262695},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6858152747154236},{"id":"https://openalex.org/C42143788","wikidata":"https://www.wikidata.org/wiki/Q173341","display_name":"Hardware description language","level":3,"score":0.5477270483970642},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5345019698143005},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4843376874923706},{"id":"https://openalex.org/C118530786","wikidata":"https://www.wikidata.org/wiki/Q1134732","display_name":"Instrumentation (computer programming)","level":2,"score":0.45642420649528503},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.44419369101524353},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.41216525435447693},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3545369505882263},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.3279038667678833},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.11955812573432922},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hpcs48598.2019.9188056","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpcs48598.2019.9188056","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 International Conference on High Performance Computing & Simulation (HPCS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1495162277","https://openalex.org/W1974710463","https://openalex.org/W2140321074","https://openalex.org/W2147657366","https://openalex.org/W2295752247","https://openalex.org/W2345527821","https://openalex.org/W2346269601","https://openalex.org/W2733377513","https://openalex.org/W2808092095","https://openalex.org/W2947198853","https://openalex.org/W4232656078","https://openalex.org/W4244062578","https://openalex.org/W6825444808"],"related_works":["https://openalex.org/W168509588","https://openalex.org/W1917929250","https://openalex.org/W2122949436","https://openalex.org/W2081964949","https://openalex.org/W78782492","https://openalex.org/W2587067507","https://openalex.org/W2077870657","https://openalex.org/W4312497944","https://openalex.org/W1547989843","https://openalex.org/W2165627905"],"abstract_inverted_index":{"Agile":[0],"hardware":[1,26,52,66,94,109],"modeling":[2],"using":[3,84],"Hardware":[4],"Description":[5],"Languages":[6],"(HDLs)":[7],"such":[8],"as":[9],"SystemVerilog":[10],"is":[11],"greatly":[12],"limited":[13],"by":[14,39],"the":[15,36,40,65],"ability":[16],"of":[17,76],"those":[18],"languages":[19,57],"to":[20,60,70,87,103],"model":[21],"complex":[22,30],"system":[23],"abstractions.":[24],"Often":[25],"designs":[27],"rely":[28],"on":[29,64],"components":[31,45,107,115],"not":[32],"necessarily":[33],"related":[34],"with":[35,92],"task":[37],"performed":[38],"end":[41],"product,":[42],"for":[43],"example":[44],"accomplishing":[46],"debugging":[47],"or":[48],"instrumentation":[49,53],"tasks.":[50],"Leveraging":[51],"through":[54],"high-level":[55,85,118],"programming":[56,86,119],"helps":[58],"designers":[59],"focus":[61],"their":[62],"attention":[63],"design.":[67],"This":[68],"allows":[69],"integrate":[71],"models":[72,82],"at":[73],"different":[74],"levels":[75],"abstraction":[77],"more":[78],"easily,":[79],"enabling":[80],"existing":[81],"written":[83,116],"be":[88],"used":[89],"in":[90,117],"conjunction":[91],"low-level":[93],"components.":[95],"In":[96],"this":[97],"article,":[98],"we":[99],"propose":[100],"a":[101],"methodology":[102],"enable":[104],"interaction":[105],"between":[106],"within":[108],"design":[110],"projects":[111],"and":[112],"also":[113],"external":[114],"languages.":[120]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}