{"id":"https://openalex.org/W2029488199","doi":"https://doi.org/10.1109/isvlsi.2013.6654617","title":"Using guiding heuristics to improve the dynamic checking of temporal properties in data dominated high-level designs","display_name":"Using guiding heuristics to improve the dynamic checking of temporal properties in data dominated high-level designs","publication_year":2013,"publication_date":"2013-08-01","ids":{"openalex":"https://openalex.org/W2029488199","doi":"https://doi.org/10.1109/isvlsi.2013.6654617","mag":"2029488199"},"language":"en","primary_location":{"id":"doi:10.1109/isvlsi.2013.6654617","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isvlsi.2013.6654617","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)","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/A5024306319","display_name":"Alair Dias","orcid":"https://orcid.org/0000-0002-2108-7155"},"institutions":[{"id":"https://openalex.org/I1292114621","display_name":"Universidade Funda\u00e7\u00e3o Mineira de Educa\u00e7\u00e3o e Cultura","ror":"https://ror.org/013pajk64","country_code":"BR","type":"education","lineage":["https://openalex.org/I1292114621"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Alair Dias Junior","raw_affiliation_strings":["FUMEC University - Rua Cobre 200, 30310-190, Belo Horizonte, MG, Brazil","FUMEC University, Belo Horizonte, Brazil"],"affiliations":[{"raw_affiliation_string":"FUMEC University - Rua Cobre 200, 30310-190, Belo Horizonte, MG, Brazil","institution_ids":["https://openalex.org/I1292114621"]},{"raw_affiliation_string":"FUMEC University, Belo Horizonte, Brazil","institution_ids":["https://openalex.org/I1292114621"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031310744","display_name":"D.C. da Silva","orcid":"https://orcid.org/0000-0003-3954-338X"},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Diogenes C. da Silva Junior","raw_affiliation_strings":["Department of Electrical Engineering - Federal University of Minas Gerais - Av. Ant\u00f4nio Carlos 6627, 31270-901, Belo Horizonte, Brazil","Dept. of Electr. Eng., Fed.. Univ. of Minas Gerais, Belo Horizonte, Brazil"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering - Federal University of Minas Gerais - Av. Ant\u00f4nio Carlos 6627, 31270-901, Belo Horizonte, Brazil","institution_ids":["https://openalex.org/I110200422"]},{"raw_affiliation_string":"Dept. of Electr. Eng., Fed.. Univ. of Minas Gerais, Belo Horizonte, Brazil","institution_ids":["https://openalex.org/I110200422"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5024306319"],"corresponding_institution_ids":["https://openalex.org/I1292114621"],"apc_list":null,"apc_paid":null,"fwci":0.7251,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.72361726,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"6806","issue":null,"first_page":"20","last_page":"25"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9994000196456909,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9977999925613403,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7849664688110352},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.7765815854072571},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.584396243095398},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5599086284637451},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5500855445861816},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.48448798060417175},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.47788774967193604},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.43951615691185},{"id":"https://openalex.org/keywords/black-box","display_name":"Black box","score":0.4195062816143036},{"id":"https://openalex.org/keywords/design-space-exploration","display_name":"Design space exploration","score":0.41096657514572144},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3560892939567566},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34087270498275757},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.33845391869544983},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14935597777366638},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1102495789527893},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.10545480251312256}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7849664688110352},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.7765815854072571},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.584396243095398},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5599086284637451},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5500855445861816},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.48448798060417175},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.47788774967193604},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.43951615691185},{"id":"https://openalex.org/C94966114","wikidata":"https://www.wikidata.org/wiki/Q29256","display_name":"Black box","level":2,"score":0.4195062816143036},{"id":"https://openalex.org/C2776221188","wikidata":"https://www.wikidata.org/wiki/Q21072556","display_name":"Design space exploration","level":2,"score":0.41096657514572144},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3560892939567566},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34087270498275757},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.33845391869544983},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14935597777366638},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1102495789527893},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.10545480251312256},{"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/isvlsi.2013.6654617","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isvlsi.2013.6654617","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)","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":32,"referenced_works":["https://openalex.org/W1501731334","https://openalex.org/W1555791645","https://openalex.org/W1590315663","https://openalex.org/W1593428110","https://openalex.org/W1787074469","https://openalex.org/W1887414450","https://openalex.org/W1908225638","https://openalex.org/W1959882242","https://openalex.org/W1977355585","https://openalex.org/W1989210785","https://openalex.org/W2011645538","https://openalex.org/W2013029218","https://openalex.org/W2013667310","https://openalex.org/W2035401850","https://openalex.org/W2055424026","https://openalex.org/W2072445059","https://openalex.org/W2089141542","https://openalex.org/W2095226306","https://openalex.org/W2102573546","https://openalex.org/W2103094862","https://openalex.org/W2116990643","https://openalex.org/W2117044368","https://openalex.org/W2117213416","https://openalex.org/W2129089616","https://openalex.org/W2129538349","https://openalex.org/W2132796821","https://openalex.org/W2134404335","https://openalex.org/W2135056756","https://openalex.org/W2142453799","https://openalex.org/W2986444891","https://openalex.org/W6638020115","https://openalex.org/W6677559589"],"related_works":["https://openalex.org/W75359960","https://openalex.org/W2751754194","https://openalex.org/W2105593427","https://openalex.org/W3120172095","https://openalex.org/W2118572231","https://openalex.org/W2106507440","https://openalex.org/W2108860137","https://openalex.org/W3209085687","https://openalex.org/W2153955347","https://openalex.org/W2006962382"],"abstract_inverted_index":{"Functional":[0],"verification":[1,48,167],"of":[2,25,37,83,100,114,165],"data":[3,60,65],"dominated":[4],"high-level":[5,55,84],"designs":[6],"is":[7,173],"a":[8,72,124,159],"major":[9],"concern":[10],"in":[11,103,123,162],"modern":[12],"integrated":[13],"circuit":[14],"production":[15],"flow.":[16],"On":[17,43],"the":[18,21,26,35,38,44,97,101,107,115,143,154,163,166,170],"one":[19],"hand,":[20,46],"size":[22],"and":[23,62,181],"complexity":[24],"input":[27,117,150],"state-space":[28],"prevent":[29],"conventional":[30],"validation":[31,108],"strategies":[32],"to":[33,105,110,131,141,177],"check":[34,146],"behaviour":[36],"design":[39],"thoroughly":[40],"using":[41],"simulation.":[42],"other":[45],"formal":[47],"methods":[49],"still":[50],"face":[51],"difficulties":[52],"while":[53],"verifying":[54],"designs,":[56],"specially":[57],"when":[58,169],"complex":[59],"types":[61],"dynamically":[63,79],"allocated":[64],"structures":[66],"are":[67,88,94,121,139],"used.":[68],"This":[69],"work":[70],"presents":[71],"method":[73,172],"based":[74],"on":[75],"guiding":[76],"heuristics":[77],"for":[78,149],"checking":[80],"temporal":[81],"properties":[82,87,132],"designs.":[85],"The":[86,119],"translated":[89],"into":[90],"heuristic":[91,155],"functions":[92,120],"that":[93,126,152],"combined":[95],"with":[96,175],"black-box":[98],"model":[99,183],"system":[102],"order":[104],"guide":[106],"effort":[109],"error":[111],"prone":[112],"regions":[113],"design's":[116],"domain.":[118],"designed":[122],"way":[125],"their":[127],"minimum":[128],"points":[129],"correspond":[130],"violations,":[133],"if":[134],"they":[135],"exist.":[136],"Optimization":[137],"algorithms":[138],"used":[140],"evaluate":[142],"property":[144],"under":[145],"by":[147],"searching":[148],"sequences":[151],"minimize":[153],"functions.":[156],"Experiments":[157],"indicate":[158],"significant":[160],"improvement":[161],"efficiency":[164],"process":[168],"proposed":[171],"used,":[174],"respect":[176],"both":[178],"random":[179],"simulation":[180],"bounded":[182],"checking.":[184]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}