{"id":"https://openalex.org/W2219090525","doi":"https://doi.org/10.1109/iccd.2015.7357149","title":"Automatic identification of assertions and invariants with small numbers of test vectors","display_name":"Automatic identification of assertions and invariants with small numbers of test vectors","publication_year":2015,"publication_date":"2015-10-01","ids":{"openalex":"https://openalex.org/W2219090525","doi":"https://doi.org/10.1109/iccd.2015.7357149","mag":"2219090525"},"language":"en","primary_location":{"id":"doi:10.1109/iccd.2015.7357149","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccd.2015.7357149","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 33rd IEEE International Conference on Computer Design (ICCD)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5027837299","display_name":"Masahiro Fujita","orcid":"https://orcid.org/0000-0002-6516-4175"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Masahiro Fujita","raw_affiliation_strings":["University of Tokyo"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Tokyo","institution_ids":["https://openalex.org/I74801974"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5027837299"],"corresponding_institution_ids":["https://openalex.org/I74801974"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"463","last_page":"466"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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.9998000264167786,"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.9990000128746033,"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/truth-table","display_name":"Truth table","score":0.7310281991958618},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6880098581314087},{"id":"https://openalex.org/keywords/table","display_name":"Table (database)","score":0.5950160026550293},{"id":"https://openalex.org/keywords/lookup-table","display_name":"Lookup table","score":0.5791596174240112},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5156711339950562},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.5155801177024841},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.47268420457839966},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4642636775970459},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.43039470911026},{"id":"https://openalex.org/keywords/sequential-logic","display_name":"Sequential logic","score":0.4115253686904907},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.34239113330841064},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2720177471637726},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18377280235290527},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.16163364052772522}],"concepts":[{"id":"https://openalex.org/C56949724","wikidata":"https://www.wikidata.org/wiki/Q219079","display_name":"Truth table","level":2,"score":0.7310281991958618},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6880098581314087},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.5950160026550293},{"id":"https://openalex.org/C134835016","wikidata":"https://www.wikidata.org/wiki/Q690265","display_name":"Lookup table","level":2,"score":0.5791596174240112},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5156711339950562},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.5155801177024841},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.47268420457839966},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4642636775970459},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.43039470911026},{"id":"https://openalex.org/C187075797","wikidata":"https://www.wikidata.org/wiki/Q173245","display_name":"Sequential logic","level":3,"score":0.4115253686904907},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.34239113330841064},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2720177471637726},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18377280235290527},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.16163364052772522},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"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/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccd.2015.7357149","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccd.2015.7357149","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 33rd IEEE International Conference on Computer Design (ICCD)","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":13,"referenced_works":["https://openalex.org/W1503377936","https://openalex.org/W1528837436","https://openalex.org/W1797377815","https://openalex.org/W1985685974","https://openalex.org/W2115571162","https://openalex.org/W2116242425","https://openalex.org/W2134734244","https://openalex.org/W2135717797","https://openalex.org/W2142726962","https://openalex.org/W4235567996","https://openalex.org/W4236640323","https://openalex.org/W6638085576","https://openalex.org/W6680026881"],"related_works":["https://openalex.org/W1985107332","https://openalex.org/W2086821903","https://openalex.org/W2746929098","https://openalex.org/W1993197222","https://openalex.org/W4296473373","https://openalex.org/W1565986912","https://openalex.org/W2542280163","https://openalex.org/W2061935485","https://openalex.org/W1976440785","https://openalex.org/W2533122910"],"abstract_inverted_index":{"Identifying":[0],"logical":[1,64,122],"relationships":[2,40,65,123],"among":[3,41,66,124],"internal/input/output":[4,70],"signals":[5,71,125],"is":[6,23,81],"one":[7],"of":[8,68,102,115,121,136,138],"the":[9,47],"key":[10],"analyses":[11],"for":[12,62,113,132],"formal":[13],"verification,":[14],"logic":[15],"synthesis,":[16],"test":[17],"pattern":[18],"generation,":[19],"and":[20,50,77,94,129],"others.":[21],"It":[22,118],"also":[24],"a":[25,60],"very":[26],"important":[27],"step":[28],"to":[29],"recognize":[30],"invariant":[31],"in":[32,75,104],"sequential":[33,52],"circuits":[34],"which":[35,72],"can":[36,45,130],"be":[37],"identified":[38],"as":[39],"flipflop":[42],"signals.":[43],"They":[44],"simplify":[46],"model":[48],"checking":[49],"other":[51],"verification":[53],"problems.":[54],"In":[55],"this":[56],"paper,":[57],"we":[58],"show":[59],"method":[61,80],"identifying":[63],"sets":[67],"given":[69],"are":[73,108],"involved":[74],"assertions":[76],"invariants.":[78],"The":[79,100],"based":[82],"on":[83],"QBF":[84],"(Quantified":[85],"Boolean":[86],"Formula)":[87],"with":[88,134],"LUT":[89],"(Look":[90],"Up":[91],"Table)-bsaed":[92],"formulation":[93],"solved":[95],"by":[96],"incremental":[97,105],"SAT(non-QBF)":[98],"solvers.":[99],"numbers":[101],"iterations":[103],"SAT":[106],"solving":[107],"small,":[109],"e.g.,":[110],"around":[111],"hundreds":[112,135],"thousand":[114],"gates":[116,139],"designs.":[117],"allows":[119],"extraction":[120],"that":[126],"designers":[127],"specify":[128],"work":[131],"designs":[133],"thousands":[137],"or":[140],"more.":[141]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}