{"id":"https://openalex.org/W2099134576","doi":"https://doi.org/10.1145/1216919.1216944","title":"Improved SAT-based Boolean matching using implicants for LUT-based FPGAs","display_name":"Improved SAT-based Boolean matching using implicants for LUT-based FPGAs","publication_year":2007,"publication_date":"2007-02-18","ids":{"openalex":"https://openalex.org/W2099134576","doi":"https://doi.org/10.1145/1216919.1216944","mag":"2099134576"},"language":"en","primary_location":{"id":"doi:10.1145/1216919.1216944","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1216919.1216944","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2007 ACM/SIGDA 15th international symposium on Field programmable gate arrays","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/A5102170602","display_name":"Jason Cong","orcid":null},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jason Cong","raw_affiliation_strings":["University of California, Los Angeles, Los Angeles, CA",", University of California Los Angeles, Los Angeles, CA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Los Angeles, Los Angeles, CA","institution_ids":["https://openalex.org/I161318765"]},{"raw_affiliation_string":", University of California Los Angeles, Los Angeles, CA#TAB#","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035560173","display_name":"Kirill Minkovich","orcid":null},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kirill Minkovich","raw_affiliation_strings":["University of California, Los Angeles, Los Angeles, CA",", University of California Los Angeles, Los Angeles, CA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Los Angeles, Los Angeles, CA","institution_ids":["https://openalex.org/I161318765"]},{"raw_affiliation_string":", University of California Los Angeles, Los Angeles, CA#TAB#","institution_ids":["https://openalex.org/I161318765"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I161318765"],"apc_list":null,"apc_paid":null,"fwci":8.2365,"has_fulltext":false,"cited_by_count":36,"citation_normalized_percentile":{"value":0.97913741,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"139","last_page":"147"},"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.9988999962806702,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9984999895095825,"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/implicant","display_name":"Implicant","score":0.9468977451324463},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.7283448576927185},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.7152406573295593},{"id":"https://openalex.org/keywords/lookup-table","display_name":"Lookup table","score":0.7020038366317749},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6455800533294678},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.6357433795928955},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.516846239566803},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.466328889131546},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.44056445360183716},{"id":"https://openalex.org/keywords/combinational-logic","display_name":"Combinational logic","score":0.4213002324104309},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.4122884273529053},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.4121484160423279},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.39776408672332764},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.36769944429397583},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3181826174259186},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.29492127895355225},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.14643841981887817}],"concepts":[{"id":"https://openalex.org/C102487863","wikidata":"https://www.wikidata.org/wiki/Q1291626","display_name":"Implicant","level":4,"score":0.9468977451324463},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.7283448576927185},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.7152406573295593},{"id":"https://openalex.org/C134835016","wikidata":"https://www.wikidata.org/wiki/Q690265","display_name":"Lookup table","level":2,"score":0.7020038366317749},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6455800533294678},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.6357433795928955},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.516846239566803},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.466328889131546},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.44056445360183716},{"id":"https://openalex.org/C81409106","wikidata":"https://www.wikidata.org/wiki/Q76505","display_name":"Combinational logic","level":3,"score":0.4213002324104309},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.4122884273529053},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.4121484160423279},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.39776408672332764},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.36769944429397583},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3181826174259186},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.29492127895355225},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.14643841981887817},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1216919.1216944","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1216919.1216944","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2007 ACM/SIGDA 15th international symposium on Field programmable gate arrays","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.4699999988079071}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W3381706","https://openalex.org/W1905608265","https://openalex.org/W2025623271","https://openalex.org/W2039485990","https://openalex.org/W2098667711","https://openalex.org/W2105715355","https://openalex.org/W2105972436","https://openalex.org/W2106290133","https://openalex.org/W2108508582","https://openalex.org/W2115967254","https://openalex.org/W2116758077","https://openalex.org/W2129147175","https://openalex.org/W2131972012","https://openalex.org/W2134060873","https://openalex.org/W2134401100","https://openalex.org/W2141047538","https://openalex.org/W2142785340","https://openalex.org/W2170288398","https://openalex.org/W3023634467","https://openalex.org/W3215234588"],"related_works":["https://openalex.org/W2018822765","https://openalex.org/W2150974517","https://openalex.org/W3127266383","https://openalex.org/W4248224315","https://openalex.org/W2090113622","https://openalex.org/W2169792446","https://openalex.org/W3020862667","https://openalex.org/W4360919330","https://openalex.org/W2912194951","https://openalex.org/W2187008505"],"abstract_inverted_index":{"Boolean":[0,26,149],"matching":[1,27,150],"(BM)":[2],"is":[3,77,86,94,100],"a":[4,61,155,159],"widely":[5],"used":[6],"technique":[7],"in":[8,71,143],"FPGA":[9,160],"resynthesis":[10,161],"and":[11,92,106,119,132],"architecture":[12],"evaluation.":[13],"In":[14],"this":[15,147],"paper":[16],"we":[17,123,152],"present":[18],"several":[19],"improvements":[20],"to":[21,51,59,69,82,109,168],"the":[22,38,42,49,72,78,83,87,90,95,115,139,170,180],"recently":[23],"proposed":[24],"SAT-based":[25,140],"formulation":[28,40,58,142],"(SAT-BM-M)":[29],"[11].":[30,144],"The":[31],"principal":[32],"improvement":[33,131],"was":[34,166],"achieved":[35],"by":[36,175,177],"deriving":[37],"SAT":[39,62],"using":[41,146],"implicant":[43],"instead":[44],"of":[45,48,64,80,89,97,157,172],"minterm":[46],"representation":[47],"function":[50],"be":[52,110],"matched.":[53],"This":[54],"enables":[55],"our":[56],"BM":[57,117,141],"create":[60],"problem":[63],"size":[65,88],"O":[66],"(as":[67,154],"opposed":[68],"O(m\u20222k)":[70],"original":[73],"formulation,":[74,118,151],"where":[75],"n":[76,105],"number":[79,96,171],"inputs":[81],"function,":[84],"k":[85],"LUT,":[91],"m":[93],"implicants,":[98],"which":[99,165],"much":[101],"smaller":[102],"than":[103,138],"2":[104],"experimentally":[107],"found":[108],"around":[111],"3":[112],".":[113],"Using":[114],"new":[116],"considering":[120],"10-input":[121],"functions,":[122],"can":[124,133],"show":[125],"an":[126],"almost":[127],"3x":[128],"run":[129],"time":[130],"solve":[134],"5.6x":[135],"more":[136],"problems":[137],"Moreover,":[145],"improved":[148],"implemented":[153],"proof":[156],"concept)":[158],"tool,":[162],"called":[163],"RIMatch,":[164],"able":[167],"reduce":[169],"LUTs":[173],"produced":[174],"ZMap":[176],"10%":[178],"on":[179],"MCNC":[181],"benchmarks.":[182]},"counts_by_year":[{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}