{"id":"https://openalex.org/W4401568132","doi":"https://doi.org/10.23919/date58400.2024.10546678","title":"A Semi-Tensor Product based Circuit Simulation for SAT-sweeping","display_name":"A Semi-Tensor Product based Circuit Simulation for SAT-sweeping","publication_year":2024,"publication_date":"2024-03-25","ids":{"openalex":"https://openalex.org/W4401568132","doi":"https://doi.org/10.23919/date58400.2024.10546678"},"language":"en","primary_location":{"id":"doi:10.23919/date58400.2024.10546678","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date58400.2024.10546678","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)","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/A5101608841","display_name":"Hongyang Pan","orcid":"https://orcid.org/0009-0009-0874-4518"},"institutions":[{"id":"https://openalex.org/I4210132426","display_name":"Shanghai Fudan Microelectronics (China)","ror":"https://ror.org/02vfj3j86","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210132426"]},{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Hongyang Pan","raw_affiliation_strings":["School of Microelectronics, Fudan University,State Key Lab of Integrated Circuits and Systems,Shanghai,China"],"affiliations":[{"raw_affiliation_string":"School of Microelectronics, Fudan University,State Key Lab of Integrated Circuits and Systems,Shanghai,China","institution_ids":["https://openalex.org/I4210132426","https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081334005","display_name":"Ruibing Zhang","orcid":null},"institutions":[{"id":"https://openalex.org/I109935558","display_name":"Ningbo University","ror":"https://ror.org/03et85d35","country_code":"CN","type":"education","lineage":["https://openalex.org/I109935558"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ruibing Zhang","raw_affiliation_strings":["Ningbo University,Faculty of Electrical Engineering and Computer Science,Ningbo,China"],"affiliations":[{"raw_affiliation_string":"Ningbo University,Faculty of Electrical Engineering and Computer Science,Ningbo,China","institution_ids":["https://openalex.org/I109935558"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070614875","display_name":"Yinshui Xia","orcid":"https://orcid.org/0000-0002-3831-3876"},"institutions":[{"id":"https://openalex.org/I109935558","display_name":"Ningbo University","ror":"https://ror.org/03et85d35","country_code":"CN","type":"education","lineage":["https://openalex.org/I109935558"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yinshui Xia","raw_affiliation_strings":["Ningbo University,Faculty of Electrical Engineering and Computer Science,Ningbo,China"],"affiliations":[{"raw_affiliation_string":"Ningbo University,Faculty of Electrical Engineering and Computer Science,Ningbo,China","institution_ids":["https://openalex.org/I109935558"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037201336","display_name":"Lunyao Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I109935558","display_name":"Ningbo University","ror":"https://ror.org/03et85d35","country_code":"CN","type":"education","lineage":["https://openalex.org/I109935558"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lunyao Wang","raw_affiliation_strings":["Ningbo University,Faculty of Electrical Engineering and Computer Science,Ningbo,China"],"affiliations":[{"raw_affiliation_string":"Ningbo University,Faculty of Electrical Engineering and Computer Science,Ningbo,China","institution_ids":["https://openalex.org/I109935558"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045464812","display_name":"Fan Yang","orcid":"https://orcid.org/0000-0003-2164-8175"},"institutions":[{"id":"https://openalex.org/I4210132426","display_name":"Shanghai Fudan Microelectronics (China)","ror":"https://ror.org/02vfj3j86","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210132426"]},{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fan Yang","raw_affiliation_strings":["School of Microelectronics, Fudan University,State Key Lab of Integrated Circuits and Systems,Shanghai,China"],"affiliations":[{"raw_affiliation_string":"School of Microelectronics, Fudan University,State Key Lab of Integrated Circuits and Systems,Shanghai,China","institution_ids":["https://openalex.org/I4210132426","https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064213921","display_name":"Xuan Zeng","orcid":"https://orcid.org/0000-0002-8097-4053"},"institutions":[{"id":"https://openalex.org/I4210132426","display_name":"Shanghai Fudan Microelectronics (China)","ror":"https://ror.org/02vfj3j86","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210132426"]},{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xuan Zeng","raw_affiliation_strings":["School of Microelectronics, Fudan University,State Key Lab of Integrated Circuits and Systems,Shanghai,China"],"affiliations":[{"raw_affiliation_string":"School of Microelectronics, Fudan University,State Key Lab of Integrated Circuits and Systems,Shanghai,China","institution_ids":["https://openalex.org/I4210132426","https://openalex.org/I24943067"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022156184","display_name":"Zhufei Chu","orcid":"https://orcid.org/0000-0001-5718-4822"},"institutions":[{"id":"https://openalex.org/I109935558","display_name":"Ningbo University","ror":"https://ror.org/03et85d35","country_code":"CN","type":"education","lineage":["https://openalex.org/I109935558"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhufei Chu","raw_affiliation_strings":["Ningbo University,Faculty of Electrical Engineering and Computer Science,Ningbo,China"],"affiliations":[{"raw_affiliation_string":"Ningbo University,Faculty of Electrical Engineering and Computer Science,Ningbo,China","institution_ids":["https://openalex.org/I109935558"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5101608841"],"corresponding_institution_ids":["https://openalex.org/I24943067","https://openalex.org/I4210132426"],"apc_list":null,"apc_paid":null,"fwci":1.5557,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.83333333,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9958000183105469,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9958000183105469,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9927999973297119,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9761999845504761,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5605164766311646},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.5345913767814636},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.34075677394866943},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1976308524608612},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.07072553038597107}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5605164766311646},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5345913767814636},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.34075677394866943},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1976308524608612},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.07072553038597107}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/date58400.2024.10546678","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date58400.2024.10546678","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7448406962","display_name":null,"funder_award_id":"62274100,U23A20351","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W567151721","https://openalex.org/W1612810659","https://openalex.org/W2060407451","https://openalex.org/W2073389244","https://openalex.org/W2095698047","https://openalex.org/W2166795801","https://openalex.org/W2396635671","https://openalex.org/W3092481364","https://openalex.org/W3197664379","https://openalex.org/W3214237793","https://openalex.org/W4200383047","https://openalex.org/W4243933347","https://openalex.org/W4379115819","https://openalex.org/W6636505876"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"This":[0],"paper":[1],"introduces":[2],"a":[3,67,71],"novel":[4],"circuit":[5],"simulator":[6,50,65],"of":[7,22,27,40,57,73,108,122],"k-input":[8],"lookup":[9],"table":[10],"(k-LUT)":[11],"networks,":[12,29],"based":[13],"on":[14,34],"semi-tensor":[15],"product":[16],"(STP).":[17],"STP-based":[18,49,100],"simulators":[19],"use":[20],"computation":[21],"logic":[23,28,36,83],"matrices,":[24],"the":[25,52,96,106,115,120,129],"primitives":[26],"as":[30],"opposed":[31],"to":[32,92,128],"relying":[33],"bitwise":[35],"operations":[37],"for":[38],"simulation":[39],"k-":[41],"LUT":[42],"networks.":[43],"Experimental":[44],"results":[45],"show":[46],"that":[47],"our":[48,133],"reduces":[51,105],"runtime":[53,139],"by":[54,85,118],"an":[55,136],"average":[56,137],"7.2":[58],"\u00d7.":[59],"Furthermore,":[60],"we":[61,98],"integrate":[62],"this":[63],"proposed":[64],"into":[66],"SAT":[68,78,80,123,131],"sweeper.":[69],"Through":[70],"combination":[72],"structural":[74],"hashing,":[75],"simulation,":[76,102],"and":[77],"queries,":[79],"sweeper":[81],"simplifies":[82],"networks":[84],"systematically":[86],"merging":[87],"graph":[88],"vertices":[89],"from":[90],"input":[91],"output.":[93],"To":[94],"enhance":[95],"efficiency,":[97],"used":[99],"exhaustive":[101],"which":[103],"significantly":[104],"number":[107,121],"false":[109],"equivalence":[110],"class":[111],"candidates,":[112],"thereby":[113],"improving":[114],"computational":[116],"efficiency":[117],"reducing":[119],"calls":[124],"required.":[125],"When":[126],"compared":[127],"state-of-the-art":[130],"sweeper,":[132],"method":[134],"demonstrates":[135],"35%":[138],"reduction.":[140]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2025-12-19T19:40:27.379048","created_date":"2025-10-10T00:00:00"}