{"id":"https://openalex.org/W2049886986","doi":"https://doi.org/10.1109/ets.2014.6847825","title":"Logic simulation and fault collapsing with shared structurally synthesized bdds","display_name":"Logic simulation and fault collapsing with shared structurally synthesized bdds","publication_year":2014,"publication_date":"2014-05-01","ids":{"openalex":"https://openalex.org/W2049886986","doi":"https://doi.org/10.1109/ets.2014.6847825","mag":"2049886986"},"language":"en","primary_location":{"id":"doi:10.1109/ets.2014.6847825","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ets.2014.6847825","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 19th IEEE European Test Symposium (ETS)","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/A5065669857","display_name":"Dmitri Mironov","orcid":"https://orcid.org/0009-0008-7223-1939"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Dmitri Mironov","raw_affiliation_strings":["Department of Computer Engineering, Tallinn University of Technology, Tallinn, Estonia","Dept. of Comput. Eng., Tallinn Univ. of Technol., Tallinn, Estonia#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Tallinn University of Technology, Tallinn, Estonia","institution_ids":["https://openalex.org/I111112146"]},{"raw_affiliation_string":"Dept. of Comput. Eng., Tallinn Univ. of Technol., Tallinn, Estonia#TAB#","institution_ids":["https://openalex.org/I111112146"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010536057","display_name":"Raimund Ubar","orcid":"https://orcid.org/0000-0001-8186-4385"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Raimund Ubar","raw_affiliation_strings":["Department of Computer Engineering, Tallinn University of Technology, Tallinn, Estonia","Dept. of Comput. Eng., Tallinn Univ. of Technol., Tallinn, Estonia#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Tallinn University of Technology, Tallinn, Estonia","institution_ids":["https://openalex.org/I111112146"]},{"raw_affiliation_string":"Dept. of Comput. Eng., Tallinn Univ. of Technol., Tallinn, Estonia#TAB#","institution_ids":["https://openalex.org/I111112146"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010286547","display_name":"Jaan Raik","orcid":"https://orcid.org/0000-0001-8113-020X"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Jaan Raik","raw_affiliation_strings":["Department of Computer Engineering, Tallinn University of Technology, Tallinn, Estonia","Dept. of Comput. Eng., Tallinn Univ. of Technol., Tallinn, Estonia#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Tallinn University of Technology, Tallinn, Estonia","institution_ids":["https://openalex.org/I111112146"]},{"raw_affiliation_string":"Dept. of Comput. Eng., Tallinn Univ. of Technol., Tallinn, Estonia#TAB#","institution_ids":["https://openalex.org/I111112146"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I111112146"],"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":"1","last_page":"2"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9997000098228455,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9995999932289124,"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.9994000196456909,"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.6060426831245422},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5861865282058716},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.544191837310791},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5360909104347229},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.44988447427749634},{"id":"https://openalex.org/keywords/combinational-logic","display_name":"Combinational logic","score":0.4483264982700348},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.4123050570487976},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.4102988839149475},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35176151990890503},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22369122505187988},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1332511305809021},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10481840372085571}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6060426831245422},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5861865282058716},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.544191837310791},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5360909104347229},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.44988447427749634},{"id":"https://openalex.org/C81409106","wikidata":"https://www.wikidata.org/wiki/Q76505","display_name":"Combinational logic","level":3,"score":0.4483264982700348},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4123050570487976},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.4102988839149475},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35176151990890503},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22369122505187988},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1332511305809021},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10481840372085571},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"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/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ets.2014.6847825","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ets.2014.6847825","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 19th IEEE European Test Symposium (ETS)","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":5,"referenced_works":["https://openalex.org/W1994143452","https://openalex.org/W2080267935","https://openalex.org/W2099251677","https://openalex.org/W2152040677","https://openalex.org/W3144136025"],"related_works":["https://openalex.org/W3167886223","https://openalex.org/W2098694303","https://openalex.org/W3217430545","https://openalex.org/W2118365745","https://openalex.org/W1621928919","https://openalex.org/W4299458603","https://openalex.org/W2110487025","https://openalex.org/W3011755443","https://openalex.org/W2074526596","https://openalex.org/W4242010157"],"abstract_inverted_index":{"A":[0,84],"new":[1,20],"method":[2,102,123],"for":[3,87,97,103],"logic":[4,121],"simulation":[5,122],"and":[6,71,118],"fault":[7,78],"modeling":[8],"in":[9],"combinational":[10],"circuits":[11],"with":[12,110],"Structurally":[13],"Synthesized":[14],"BDDs":[15],"(SSBDD)":[16],"is":[17,22],"proposed.":[18],"The":[19],"model":[21,49,96],"constructed":[23],"by":[24],"merging":[25],"different":[26,31,40,77],"super-graphs":[27],"(SSBDDs)":[28,42],"related":[29,80],"to":[30,81,114],"circuit":[32],"outputs,":[33],"which":[34],"share":[35],"as":[36,38,50,72],"much":[37],"possible":[39],"subgraphs":[41],"representing":[43],"the":[44,69,74,88,91,111,115,133,136,139],"circuit.":[45],"We":[46],"call":[47],"this":[48,82],"Shared":[51],"SSBDDs":[52],"(S3":[53],"<sub":[54,93,107],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[55,94,108],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">BDD</sub>":[56,95],")":[57],"where":[58],"each":[59],"node":[60],"represents":[61],"a":[62,98,101,119],"particular":[63],"signal":[64],"path":[65],"(or":[66],"segment)":[67],"of":[68,76,90,105,138],"circuit,":[70,100],"well":[73],"representatives":[75],"classes":[79],"path.":[83],"lower":[85,116],"bound":[86],"size":[89,112],"S3":[92,106],"given":[99],"synthesis":[104],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">BDDs</sub>":[109],"close":[113],"bound,":[117],"fast":[120],"based":[124],"on":[125],"S3BDDs":[126],"were":[127],"developed.":[128],"Experimental":[129],"research":[130],"results":[131],"support":[132],"claims":[134],"about":[135],"efficiency":[137],"model.":[140]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}