{"id":"https://openalex.org/W1696669645","doi":"https://doi.org/10.1109/icsmc.2008.4811600","title":"Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches","display_name":"Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches","publication_year":2008,"publication_date":"2008-10-01","ids":{"openalex":"https://openalex.org/W1696669645","doi":"https://doi.org/10.1109/icsmc.2008.4811600","mag":"1696669645"},"language":"en","primary_location":{"id":"doi:10.1109/icsmc.2008.4811600","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsmc.2008.4811600","pdf_url":null,"source":{"id":"https://openalex.org/S4210195764","display_name":"Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics","issn_l":"1062-922X","issn":["1062-922X","2577-1655"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 IEEE International Conference on Systems, Man and Cybernetics","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/A5090866687","display_name":"C\u00e1ssio L. Rodrigues","orcid":"https://orcid.org/0000-0001-9172-4298"},"institutions":[{"id":"https://openalex.org/I41455075","display_name":"Universidade Federal de Campina Grande","ror":"https://ror.org/00eftnx64","country_code":"BR","type":"education","lineage":["https://openalex.org/I41455075"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Cassio L. Rodrigues","raw_affiliation_strings":["Programa de P\u00f3s-Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o, Departamento de Sistemas e Computa\u00e7\u00e3o, Universidade Federal de Campina Grande, Paraiba, Brazil","Dept. de Sist. Computacaom, Univ. Fed. de Campina Grande, Campina Grande"],"affiliations":[{"raw_affiliation_string":"Programa de P\u00f3s-Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o, Departamento de Sistemas e Computa\u00e7\u00e3o, Universidade Federal de Campina Grande, Paraiba, Brazil","institution_ids":["https://openalex.org/I41455075"]},{"raw_affiliation_string":"Dept. de Sist. Computacaom, Univ. Fed. de Campina Grande, Campina Grande","institution_ids":["https://openalex.org/I41455075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051535737","display_name":"F\u00e1bio Morais","orcid":"https://orcid.org/0009-0008-5607-8305"},"institutions":[{"id":"https://openalex.org/I41455075","display_name":"Universidade Federal de Campina Grande","ror":"https://ror.org/00eftnx64","country_code":"BR","type":"education","lineage":["https://openalex.org/I41455075"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Fabio J. Morais","raw_affiliation_strings":["Programa de P\u00f3s-Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o, Departamento de Sistemas e Computa\u00e7\u00e3o, Universidade Federal de Campina Grande, Paraiba, Brazil","Dept. de Sist. Computacaom, Univ. Fed. de Campina Grande, Campina Grande"],"affiliations":[{"raw_affiliation_string":"Programa de P\u00f3s-Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o, Departamento de Sistemas e Computa\u00e7\u00e3o, Universidade Federal de Campina Grande, Paraiba, Brazil","institution_ids":["https://openalex.org/I41455075"]},{"raw_affiliation_string":"Dept. de Sist. Computacaom, Univ. Fed. de Campina Grande, Campina Grande","institution_ids":["https://openalex.org/I41455075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101504411","display_name":"Leandro Silva","orcid":"https://orcid.org/0000-0002-2875-8329"},"institutions":[{"id":"https://openalex.org/I41455075","display_name":"Universidade Federal de Campina Grande","ror":"https://ror.org/00eftnx64","country_code":"BR","type":"education","lineage":["https://openalex.org/I41455075"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Leandro M. L. Silva","raw_affiliation_strings":["Programa de P\u00f3s-Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o, Departamento de Sistemas e Computa\u00e7\u00e3o, Universidade Federal de Campina Grande, Paraiba, Brazil","Dept. de Sist. Computacaom, Univ. Fed. de Campina Grande, Campina Grande"],"affiliations":[{"raw_affiliation_string":"Programa de P\u00f3s-Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o, Departamento de Sistemas e Computa\u00e7\u00e3o, Universidade Federal de Campina Grande, Paraiba, Brazil","institution_ids":["https://openalex.org/I41455075"]},{"raw_affiliation_string":"Dept. de Sist. Computacaom, Univ. Fed. de Campina Grande, Campina Grande","institution_ids":["https://openalex.org/I41455075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041007796","display_name":"Karina R. G. da Silva","orcid":null},"institutions":[{"id":"https://openalex.org/I885979982","display_name":"Rio Tinto (Australia)","ror":"https://ror.org/03z28c516","country_code":"AU","type":"company","lineage":["https://openalex.org/I4210153745","https://openalex.org/I885979982"]},{"id":"https://openalex.org/I169045520","display_name":"Universidade Federal da Para\u00edba","ror":"https://ror.org/00p9vpz11","country_code":"BR","type":"education","lineage":["https://openalex.org/I169045520"]}],"countries":["AU","BR"],"is_corresponding":false,"raw_author_name":"Karina R. G. da Silva","raw_affiliation_strings":["Centro de Ci\u00eancias Aplicadas e Educa\u00e7\u00e3o, Campus IV, Universidade Federal da Para\u00edba, Rio Tinto, Paraiba, Brazil","Centro de Cienc. Aplic. e Educ., Univ. Fed. da Paraiba, Rio Tinto"],"affiliations":[{"raw_affiliation_string":"Centro de Ci\u00eancias Aplicadas e Educa\u00e7\u00e3o, Campus IV, Universidade Federal da Para\u00edba, Rio Tinto, Paraiba, Brazil","institution_ids":["https://openalex.org/I169045520"]},{"raw_affiliation_string":"Centro de Cienc. Aplic. e Educ., Univ. Fed. da Paraiba, Rio Tinto","institution_ids":["https://openalex.org/I885979982"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110459214","display_name":"Jorge Figueiredo","orcid":null},"institutions":[{"id":"https://openalex.org/I41455075","display_name":"Universidade Federal de Campina Grande","ror":"https://ror.org/00eftnx64","country_code":"BR","type":"education","lineage":["https://openalex.org/I41455075"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Jorge C. A. de Figueiredo","raw_affiliation_strings":["Programa de P\u00f3s-Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o, Departamento de Sistemas e Computa\u00e7\u00e3o, Universidade Federal de Campina Grande, Paraiba, Brazil","Dept. de Sist. Computacaom, Univ. Fed. de Campina Grande, Campina Grande"],"affiliations":[{"raw_affiliation_string":"Programa de P\u00f3s-Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o, Departamento de Sistemas e Computa\u00e7\u00e3o, Universidade Federal de Campina Grande, Paraiba, Brazil","institution_ids":["https://openalex.org/I41455075"]},{"raw_affiliation_string":"Dept. de Sist. Computacaom, Univ. Fed. de Campina Grande, Campina Grande","institution_ids":["https://openalex.org/I41455075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109195407","display_name":"Dalton Guerrero","orcid":null},"institutions":[{"id":"https://openalex.org/I41455075","display_name":"Universidade Federal de Campina Grande","ror":"https://ror.org/00eftnx64","country_code":"BR","type":"education","lineage":["https://openalex.org/I41455075"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Dalton D. S. Guerrero","raw_affiliation_strings":["Programa de P\u00f3s-Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o, Departamento de Sistemas e Computa\u00e7\u00e3o, Universidade Federal de Campina Grande, Paraiba, Brazil","Dept. de Sist. Computacaom, Univ. Fed. de Campina Grande, Campina Grande"],"affiliations":[{"raw_affiliation_string":"Programa de P\u00f3s-Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o, Departamento de Sistemas e Computa\u00e7\u00e3o, Universidade Federal de Campina Grande, Paraiba, Brazil","institution_ids":["https://openalex.org/I41455075"]},{"raw_affiliation_string":"Dept. de Sist. Computacaom, Univ. Fed. de Campina Grande, Campina Grande","institution_ids":["https://openalex.org/I41455075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038249802","display_name":"Elmar U. K. Melcher","orcid":"https://orcid.org/0000-0003-0560-1131"},"institutions":[{"id":"https://openalex.org/I41455075","display_name":"Universidade Federal de Campina Grande","ror":"https://ror.org/00eftnx64","country_code":"BR","type":"education","lineage":["https://openalex.org/I41455075"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Elmar Melcher","raw_affiliation_strings":["Programa de P\u00f3s-Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o, Departamento de Sistemas e Computa\u00e7\u00e3o, Universidade Federal de Campina Grande, Paraiba, Brazil","Dept. de Sist. Computacaom, Univ. Fed. de Campina Grande, Campina Grande"],"affiliations":[{"raw_affiliation_string":"Programa de P\u00f3s-Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o, Departamento de Sistemas e Computa\u00e7\u00e3o, Universidade Federal de Campina Grande, Paraiba, Brazil","institution_ids":["https://openalex.org/I41455075"]},{"raw_affiliation_string":"Dept. de Sist. Computacaom, Univ. Fed. de Campina Grande, Campina Grande","institution_ids":["https://openalex.org/I41455075"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5090866687"],"corresponding_institution_ids":["https://openalex.org/I41455075"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17821782,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"e80 d","issue":null,"first_page":"2093","last_page":"2098"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.8220371007919312},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7179625630378723},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5338433980941772},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.5246694087982178},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5167335867881775},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.5046261548995972},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.46772849559783936}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8220371007919312},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7179625630378723},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5338433980941772},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.5246694087982178},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5167335867881775},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.5046261548995972},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.46772849559783936},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icsmc.2008.4811600","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsmc.2008.4811600","pdf_url":null,"source":{"id":"https://openalex.org/S4210195764","display_name":"Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics","issn_l":"1062-922X","issn":["1062-922X","2577-1655"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 IEEE International Conference on Systems, Man and Cybernetics","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W87632767","https://openalex.org/W171973701","https://openalex.org/W1490832609","https://openalex.org/W1534850333","https://openalex.org/W1540522725","https://openalex.org/W1600068019","https://openalex.org/W1965893939","https://openalex.org/W1980946984","https://openalex.org/W2022062868","https://openalex.org/W2093722143","https://openalex.org/W2096682263","https://openalex.org/W2123328759","https://openalex.org/W2141680368","https://openalex.org/W2160823654","https://openalex.org/W2174637891","https://openalex.org/W2571119887","https://openalex.org/W2891255201","https://openalex.org/W2913459036","https://openalex.org/W6631898500","https://openalex.org/W6683394555"],"related_works":["https://openalex.org/W2105593427","https://openalex.org/W3120172095","https://openalex.org/W2118572231","https://openalex.org/W2106507440","https://openalex.org/W3209085687","https://openalex.org/W2108860137","https://openalex.org/W2125238773","https://openalex.org/W2153955347","https://openalex.org/W1928822090","https://openalex.org/W2533078207"],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2,34,61],"functional":[3,90],"verification":[4,91],"methodology":[5,59,78],"that":[6,38,67],"employs":[7],"hierarchical":[8,48],"coloured":[9],"petri":[10],"nets":[11],"(HCPN)":[12],"to":[13,53,63],"describe":[14],"the":[15,23,29,45,51,65,83,89,93],"testbench.":[16],"By":[17],"this":[18,42],"way,":[19],"we":[20],"are":[21,98],"avoiding":[22],"absence":[24],"of":[25,36,44,73,92],"formal":[26],"techniques":[27],"concerning":[28,88],"testbench":[30,66,74,84],"description":[31],"and":[32,71],"keeping":[33],"high-level":[35],"abstraction":[37],"is":[39,50],"required":[40],"in":[41],"phase":[43],"project.":[46],"The":[47,58],"(de)composition":[49],"solution":[52],"deal":[54],"with":[55],"large":[56],"designs.":[57],"prescribes":[60],"way":[62],"(de)compose":[64],"promotes":[68],"incremental":[69],"development":[70],"reuse":[72],"elements.":[75],"Furthermore,":[76],"our":[77],"provides":[79],"tool":[80],"support":[81],"for":[82],"creation.":[85],"Experimental":[86],"results":[87],"MPEG":[94],"4":[95],"video":[96],"decoder":[97],"presented.":[99]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}