{"id":"https://openalex.org/W2153810965","doi":"https://doi.org/10.1109/hldvt.2008.4695867","title":"Applications of decorator and observer design patterns in functional verification","display_name":"Applications of decorator and observer design patterns in functional verification","publication_year":2008,"publication_date":"2008-11-01","ids":{"openalex":"https://openalex.org/W2153810965","doi":"https://doi.org/10.1109/hldvt.2008.4695867","mag":"2153810965"},"language":"en","primary_location":{"id":"doi:10.1109/hldvt.2008.4695867","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2008.4695867","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 IEEE International High Level Design Validation and Test Workshop","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/A5103571693","display_name":"Farzin Karimi","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Farzin Karimi","raw_affiliation_strings":["Netronome System, Inc., San Jose, CA, USA"],"affiliations":[{"raw_affiliation_string":"Netronome System, Inc., San Jose, CA, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5103571693"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5133,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.75220126,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"18","last_page":"22"},"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.9988999962806702,"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.9988999962806702,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9983000159263611,"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/T10142","display_name":"Formal Methods in Verification","score":0.9943000078201294,"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.6815046668052673},{"id":"https://openalex.org/keywords/observer","display_name":"Observer (physics)","score":0.5690567493438721},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5689393281936646},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5178701877593994},{"id":"https://openalex.org/keywords/dependency","display_name":"Dependency (UML)","score":0.5145451426506042},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.5015029907226562},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4316195249557495},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.43153905868530273},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.4257581830024719},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.21316838264465332},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12287113070487976}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6815046668052673},{"id":"https://openalex.org/C2780704645","wikidata":"https://www.wikidata.org/wiki/Q9251458","display_name":"Observer (physics)","level":2,"score":0.5690567493438721},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5689393281936646},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5178701877593994},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.5145451426506042},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.5015029907226562},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4316195249557495},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.43153905868530273},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.4257581830024719},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.21316838264465332},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12287113070487976},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hldvt.2008.4695867","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2008.4695867","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 IEEE International High Level Design Validation and Test Workshop","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","score":0.47999998927116394,"id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1490819086","https://openalex.org/W1649645444","https://openalex.org/W2108698513","https://openalex.org/W4246219036"],"related_works":["https://openalex.org/W2075768550","https://openalex.org/W3022218857","https://openalex.org/W2369178846","https://openalex.org/W2370289839","https://openalex.org/W2082716031","https://openalex.org/W2933494595","https://openalex.org/W4313347705","https://openalex.org/W1568049691","https://openalex.org/W1590096425","https://openalex.org/W2890485617"],"abstract_inverted_index":{"This":[0],"paper":[1],"explores":[2],"the":[3,114],"applications":[4],"of":[5,47,51,65,82,94,141],"decorator":[6],"and":[7,132],"observer":[8,95],"design":[9],"patterns":[10],"in":[11,69,103,123],"testbench":[12],"environments.":[13],"Decorator":[14],"pattern":[15,96],"is":[16,34,74,97,118,127,143],"used":[17,55],"to":[18,26,29,41,53,88,99,149],"avoid":[19],"class":[20],"extension,":[21],"when":[22,107],"new":[23,39],"responsibilities":[24],"are":[25,84,109,135,147],"be":[27,54],"added":[28],"an":[30,42,150],"object.":[31,43],"The":[32,139],"application":[33,73],"presented":[35,75,98],"for":[36,76],"dynamically":[37,85],"adding":[38],"constraints":[40,52,66],"It":[44],"allows":[45],"creation":[46],"a":[48,57,80,104,124],"pre-defined":[49],"set":[50],"as":[56,145],"constraint":[58],"library;":[59],"whereas":[60],"coding":[61],"all":[62],"possible":[63],"combinations":[64],"can":[67],"result":[68],"sub-class":[70],"explosion.":[71],"Similar":[72],"test":[77],"sequencing,":[78],"where":[79],"combination":[81],"sequences/scenarios":[83],"put":[86],"together":[87],"build":[89],"more":[90],"complex":[91],"scenarios.":[92],"Application":[93],"maintain":[100],"configuration":[101,125],"consist":[102],"chip-level":[105],"testbench,":[106],"registers":[108],"accessed":[110],"at":[111],"runtime.":[112],"In":[113],"proposed":[115],"technique,":[116],"re-configuration":[117],"self-maintained.":[119],"A":[120],"value":[121],"change":[122],"register":[126],"observed":[128],"by":[129],"dependent":[130],"modules":[131,146],"corresponding":[133],"updates":[134],"taken":[136],"place":[137],"automatically.":[138],"knowledge":[140],"dependency":[142],"built":[144],"attached":[148],"observant":[151],"subject.":[152]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}