{"id":"https://openalex.org/W1490302755","doi":"https://doi.org/10.1109/hldvt.2002.1224422","title":"A 1000X speed up for properties completeness evaluation","display_name":"A 1000X speed up for properties completeness evaluation","publication_year":2003,"publication_date":"2003-10-01","ids":{"openalex":"https://openalex.org/W1490302755","doi":"https://doi.org/10.1109/hldvt.2002.1224422","mag":"1490302755"},"language":"en","primary_location":{"id":"doi:10.1109/hldvt.2002.1224422","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2002.1224422","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Seventh IEEE International High-Level Design Validation and Test Workshop, 2002.","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/A5111439301","display_name":"A. Castelnuovo","orcid":null},"institutions":[{"id":"https://openalex.org/I4210154781","display_name":"STMicroelectronics (Italy)","ror":"https://ror.org/053bqv655","country_code":"IT","type":"company","lineage":["https://openalex.org/I131827901","https://openalex.org/I4210154781"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"A. Castelnuovo","raw_affiliation_strings":["STMicroelectronics, Agrate-Brianza, Italy"],"affiliations":[{"raw_affiliation_string":"STMicroelectronics, Agrate-Brianza, Italy","institution_ids":["https://openalex.org/I4210154781"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078157123","display_name":"A. Fedeli","orcid":null},"institutions":[{"id":"https://openalex.org/I4210154781","display_name":"STMicroelectronics (Italy)","ror":"https://ror.org/053bqv655","country_code":"IT","type":"company","lineage":["https://openalex.org/I131827901","https://openalex.org/I4210154781"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"A. Fedeli","raw_affiliation_strings":["STMicroelectronics, Agrate-Brianza, Italy"],"affiliations":[{"raw_affiliation_string":"STMicroelectronics, Agrate-Brianza, Italy","institution_ids":["https://openalex.org/I4210154781"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037661652","display_name":"Alessandro Fin","orcid":null},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"A. Fin","raw_affiliation_strings":["Universit\u00e0 di Verona, Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040302302","display_name":"Franco Fummi","orcid":"https://orcid.org/0000-0002-4404-5791"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"F. Fummi","raw_affiliation_strings":["Universit\u00e0 di Verona, Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025088388","display_name":"Graziano Pravadelli","orcid":"https://orcid.org/0000-0002-7833-1673"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"G. Pravadelli","raw_affiliation_strings":["Universit\u00e0 di Verona, Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003492426","display_name":"U. Rossi","orcid":null},"institutions":[{"id":"https://openalex.org/I4210154781","display_name":"STMicroelectronics (Italy)","ror":"https://ror.org/053bqv655","country_code":"IT","type":"company","lineage":["https://openalex.org/I131827901","https://openalex.org/I4210154781"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"U. Rossi","raw_affiliation_strings":["STMicroelectronics, Agrate-Brianza, Italy"],"affiliations":[{"raw_affiliation_string":"STMicroelectronics, Agrate-Brianza, Italy","institution_ids":["https://openalex.org/I4210154781"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074106114","display_name":"F. Sforza","orcid":null},"institutions":[{"id":"https://openalex.org/I4210154781","display_name":"STMicroelectronics (Italy)","ror":"https://ror.org/053bqv655","country_code":"IT","type":"company","lineage":["https://openalex.org/I131827901","https://openalex.org/I4210154781"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"F. Sforza","raw_affiliation_strings":["STMicroelectronics, Agrate-Brianza, Italy"],"affiliations":[{"raw_affiliation_string":"STMicroelectronics, Agrate-Brianza, Italy","institution_ids":["https://openalex.org/I4210154781"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001520759","display_name":"F. Toto","orcid":null},"institutions":[{"id":"https://openalex.org/I4210154781","display_name":"STMicroelectronics (Italy)","ror":"https://ror.org/053bqv655","country_code":"IT","type":"company","lineage":["https://openalex.org/I131827901","https://openalex.org/I4210154781"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"F. Toto","raw_affiliation_strings":["STMicroelectronics, Agrate-Brianza, Italy"],"affiliations":[{"raw_affiliation_string":"STMicroelectronics, Agrate-Brianza, Italy","institution_ids":["https://openalex.org/I4210154781"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5111439301"],"corresponding_institution_ids":["https://openalex.org/I4210154781"],"apc_list":null,"apc_paid":null,"fwci":1.3909,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.80098624,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9988999962806702,"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/completeness","display_name":"Completeness (order theory)","score":0.8396195769309998},{"id":"https://openalex.org/keywords/emulation","display_name":"Emulation","score":0.7914502620697021},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.762516975402832},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7192198038101196},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6838480830192566},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5600040555000305},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5107076168060303},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4667634665966034},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.44454947113990784},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4090186357498169},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3629211485385895},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33298301696777344},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.28787243366241455},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11847549676895142},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08443301916122437}],"concepts":[{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.8396195769309998},{"id":"https://openalex.org/C149810388","wikidata":"https://www.wikidata.org/wiki/Q5374873","display_name":"Emulation","level":2,"score":0.7914502620697021},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.762516975402832},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7192198038101196},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6838480830192566},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5600040555000305},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5107076168060303},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4667634665966034},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.44454947113990784},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4090186357498169},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3629211485385895},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33298301696777344},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28787243366241455},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11847549676895142},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08443301916122437},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"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/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hldvt.2002.1224422","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2002.1224422","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Seventh IEEE International High-Level Design Validation and Test Workshop, 2002.","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":25,"referenced_works":["https://openalex.org/W240055707","https://openalex.org/W1491807613","https://openalex.org/W1503170978","https://openalex.org/W1590315663","https://openalex.org/W1592819458","https://openalex.org/W1912583643","https://openalex.org/W1919543764","https://openalex.org/W1976597924","https://openalex.org/W1988698742","https://openalex.org/W2002125840","https://openalex.org/W2078065502","https://openalex.org/W2109951594","https://openalex.org/W2117189826","https://openalex.org/W2125354605","https://openalex.org/W2145401040","https://openalex.org/W2149583371","https://openalex.org/W2150634791","https://openalex.org/W2158246429","https://openalex.org/W2580052002","https://openalex.org/W4245928206","https://openalex.org/W6635099289","https://openalex.org/W6644480423","https://openalex.org/W6647417043","https://openalex.org/W6670127199","https://openalex.org/W6704706996"],"related_works":["https://openalex.org/W1551070491","https://openalex.org/W2034301573","https://openalex.org/W1592102986","https://openalex.org/W2350953867","https://openalex.org/W2103740034","https://openalex.org/W2166027622","https://openalex.org/W2612218842","https://openalex.org/W1513903619","https://openalex.org/W2203774400","https://openalex.org/W2157373800"],"abstract_inverted_index":{"Verification":[0],"of":[1,6,31,34,59,78,96],"circuit":[2],"description":[3],"by":[4],"means":[5,9],"model":[7,60],"checking":[8],"to":[10,19,26,47,67,72,93,106],"write":[11],"propositions,":[12],"expressed":[13],"in":[14,100],"some":[15],"temporal":[16],"logic,":[17],"expected":[18],"be":[20,107],"true":[21],"on":[22,54,85,89],"the":[23,27,32,48,69,94],"implementation":[24],"according":[25],"specification":[28],"content.":[29],"Completeness":[30],"set":[33,103],"written":[35],"properties":[36],"is":[37,83],"still":[38],"an":[39,73],"open":[40],"problem.":[41],"We":[42],"propose":[43],"a":[44,57,86,97,101],"practical":[45],"approach":[46],"property":[49,99,102],"coverage":[50,70],"metrics":[51],"definition":[52],"based":[53],"fault":[55,62],"injection;":[56],"combination":[58],"checking,":[61],"simulation":[63],"and":[64],"emulation":[65],"allows":[66],"reduce":[68],"measure":[71],"affordable":[74],"task.":[75],"The":[76],"application":[77],"these":[79],"three":[80],"different":[81],"technologies":[82],"illustrated":[84],"real":[87],"example,":[88],"which":[90],"it":[91],"leads":[92],"discovery":[95],"missing":[98],"formerly":[104],"trusted":[105],"complete.":[108]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}