{"id":"https://openalex.org/W2170375794","doi":"https://doi.org/10.1109/icvd.2004.1260912","title":"Property refinement techniques for enhancing coverage of formal property verification","display_name":"Property refinement techniques for enhancing coverage of formal property verification","publication_year":2004,"publication_date":"2004-06-21","ids":{"openalex":"https://openalex.org/W2170375794","doi":"https://doi.org/10.1109/icvd.2004.1260912","mag":"2170375794"},"language":"en","primary_location":{"id":"doi:10.1109/icvd.2004.1260912","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icvd.2004.1260912","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"17th International Conference on VLSI Design. Proceedings.","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/A5067397954","display_name":"Parthiba Basu","orcid":"https://orcid.org/0000-0002-8942-0161"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"P. Basu","raw_affiliation_strings":["Department of Computer Science & Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science & Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033329960","display_name":"Pallab Dasgupta","orcid":"https://orcid.org/0000-0002-2178-8154"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"P. Dasgupta","raw_affiliation_strings":["Department of Computer Science & Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science & Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013205698","display_name":"P. P. Chakrabarti","orcid":"https://orcid.org/0000-0002-3553-8834"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"P.P. Chakrabarti","raw_affiliation_strings":["Department of Computer Science & Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science & Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046428081","display_name":"C.R. Mohan","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"C.R. Mohan","raw_affiliation_strings":["DA Strategic Planning, Client Platform Division, Intel Corporation, Folsom, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DA Strategic Planning, Client Platform Division, Intel Corporation, Folsom, USA","institution_ids":["https://openalex.org/I1343180700"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3461,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.65154128,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"109","last_page":"114"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9993000030517578,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9987999796867371,"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/correctness","display_name":"Correctness","score":0.8586070537567139},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8093636631965637},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.7012475728988647},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.7006670236587524},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.6359527111053467},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5814955234527588},{"id":"https://openalex.org/keywords/refinement","display_name":"Refinement","score":0.5684118270874023},{"id":"https://openalex.org/keywords/formal-proof","display_name":"Formal proof","score":0.4329662322998047},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3799206018447876},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3732645511627197},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3732134699821472},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11658963561058044},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.11443907022476196}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8586070537567139},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8093636631965637},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.7012475728988647},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.7006670236587524},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6359527111053467},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5814955234527588},{"id":"https://openalex.org/C14331664","wikidata":"https://www.wikidata.org/wiki/Q3417382","display_name":"Refinement","level":3,"score":0.5684118270874023},{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"score":0.4329662322998047},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3799206018447876},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3732645511627197},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3732134699821472},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11658963561058044},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.11443907022476196},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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/icvd.2004.1260912","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icvd.2004.1260912","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"17th International Conference on VLSI Design. Proceedings.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4399999976158142,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1480351298","https://openalex.org/W1976597924","https://openalex.org/W2340735175","https://openalex.org/W2752885492","https://openalex.org/W2913459036","https://openalex.org/W3145128584","https://openalex.org/W4248877409","https://openalex.org/W6644480423"],"related_works":["https://openalex.org/W1922520186","https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W1544097700","https://openalex.org/W1946493810","https://openalex.org/W1495250406","https://openalex.org/W1608485412","https://openalex.org/W17088386","https://openalex.org/W2137086376","https://openalex.org/W2365144833"],"abstract_inverted_index":{"Coverage":[0],"metrics":[1],"for":[2,43,83,90],"formal":[3,18,88],"property":[4],"verification":[5],"(FPV)":[6],"are":[7,16],"gaining":[8],"in":[9],"significance":[10],"as":[11],"most":[12],"chip":[13],"design":[14],"companies":[15],"adopting":[17],"methods":[19,89],"within":[20],"a":[21,35],"predominantly":[22],"simulation":[23],"based":[24],"validation":[25],"flow.":[26],"Researchers":[27],"have":[28],"observed":[29],"that":[30,61],"typical":[31],"correctness":[32],"properties":[33],"exhibit":[34],"low":[36],"amount":[37],"of":[38,46,53],"coverage":[39],"since":[40],"they":[41],"check":[42],"the":[44,51],"absence":[45],"invalid":[47],"runs,":[48],"rather":[49],"than":[50],"existence":[52],"valid":[54],"runs.":[55],"In":[56],"this":[57,92],"paper,":[58],"we":[59],"show":[60],"feedback":[62],"from":[63],"FPV":[64],"can":[65],"be":[66],"effectively":[67],"used":[68],"to":[69,74],"refine":[70],"an":[71,80],"existing":[72],"specification":[73,84],"obtain":[75],"better":[76],"coverage.":[77],"We":[78],"propose":[79],"interactive":[81],"methodology":[82],"refinement,":[85],"and":[86],"present":[87],"implementing":[91],"methodology.":[93]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}