{"id":"https://openalex.org/W1993499345","doi":"https://doi.org/10.1109/iccd.2013.6657048","title":"Noise-based algorithms for functional equivalence and tautology checking","display_name":"Noise-based algorithms for functional equivalence and tautology checking","publication_year":2013,"publication_date":"2013-10-01","ids":{"openalex":"https://openalex.org/W1993499345","doi":"https://doi.org/10.1109/iccd.2013.6657048","mag":"1993499345"},"language":"en","primary_location":{"id":"doi:10.1109/iccd.2013.6657048","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccd.2013.6657048","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE 31st International Conference on Computer Design (ICCD)","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/A5078903586","display_name":"Pey-Chang Kent Lin","orcid":null},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Pey-Chang Kent Lin","raw_affiliation_strings":["Department of ECE, Texas A&M University, College Station, TX","Dept. of ECE, Texas A&M Univ., College Station, TX, USA"],"affiliations":[{"raw_affiliation_string":"Department of ECE, Texas A&M University, College Station, TX","institution_ids":["https://openalex.org/I91045830"]},{"raw_affiliation_string":"Dept. of ECE, Texas A&M Univ., College Station, TX, USA","institution_ids":["https://openalex.org/I91045830"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021685706","display_name":"Sunil P. Khatri","orcid":"https://orcid.org/0000-0001-7134-9929"},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sunil P. Khatri","raw_affiliation_strings":["Department of ECE, Texas A&M University, College Station, TX","Dept. of ECE, Texas A&M Univ., College Station, TX, USA"],"affiliations":[{"raw_affiliation_string":"Department of ECE, Texas A&M University, College Station, TX","institution_ids":["https://openalex.org/I91045830"]},{"raw_affiliation_string":"Dept. of ECE, Texas A&M Univ., College Station, TX, USA","institution_ids":["https://openalex.org/I91045830"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5078903586"],"corresponding_institution_ids":["https://openalex.org/I91045830"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10411513,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"235","last_page":"240"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13748","display_name":"Advanced Statistical Modeling Techniques","score":0.8094000220298767,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T13748","display_name":"Advanced Statistical Modeling Techniques","score":0.8094000220298767,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10142","display_name":"Formal Methods in Verification","score":0.0430000014603138,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.028300000354647636,"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/tautology","display_name":"Tautology (logic)","score":0.7853736877441406},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6111884117126465},{"id":"https://openalex.org/keywords/noise","display_name":"Noise (video)","score":0.550451397895813},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5356312394142151},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.5191956758499146},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.489082396030426},{"id":"https://openalex.org/keywords/superposition-principle","display_name":"Superposition principle","score":0.42774078249931335},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4147632122039795},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37341493368148804},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3207284212112427},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17869877815246582}],"concepts":[{"id":"https://openalex.org/C166374712","wikidata":"https://www.wikidata.org/wiki/Q209555","display_name":"Tautology (logic)","level":5,"score":0.7853736877441406},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6111884117126465},{"id":"https://openalex.org/C99498987","wikidata":"https://www.wikidata.org/wiki/Q2210247","display_name":"Noise (video)","level":3,"score":0.550451397895813},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5356312394142151},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.5191956758499146},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.489082396030426},{"id":"https://openalex.org/C27753989","wikidata":"https://www.wikidata.org/wiki/Q284885","display_name":"Superposition principle","level":2,"score":0.42774078249931335},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4147632122039795},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37341493368148804},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3207284212112427},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17869877815246582},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.0},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.0},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.0},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccd.2013.6657048","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccd.2013.6657048","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE 31st 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":22,"referenced_works":["https://openalex.org/W1664600939","https://openalex.org/W1978544032","https://openalex.org/W2027069917","https://openalex.org/W2058482412","https://openalex.org/W2079092477","https://openalex.org/W2085096245","https://openalex.org/W2087897565","https://openalex.org/W2105761964","https://openalex.org/W2120170977","https://openalex.org/W2123374392","https://openalex.org/W2127744385","https://openalex.org/W2155874470","https://openalex.org/W2157488385","https://openalex.org/W2162366723","https://openalex.org/W2170639273","https://openalex.org/W2952678921","https://openalex.org/W3040033197","https://openalex.org/W3103450625","https://openalex.org/W3105261113","https://openalex.org/W3105609945","https://openalex.org/W3106515637","https://openalex.org/W4210626857"],"related_works":["https://openalex.org/W2373681119","https://openalex.org/W2389674975","https://openalex.org/W2360208354","https://openalex.org/W2383722245","https://openalex.org/W2385763746","https://openalex.org/W2350302137","https://openalex.org/W2367137811","https://openalex.org/W4308749380","https://openalex.org/W2388379119","https://openalex.org/W2373871648"],"abstract_inverted_index":{"In":[0,54],"this":[1],"paper,":[2],"we":[3,33],"present":[4],"noise-based":[5,14,36,42,47,73,94],"algorithms":[6],"for":[7,88,98],"functional":[8],"equivalence":[9,89],"and":[10,38],"tautology":[11,99],"checking":[12,90],"using":[13,101,109],"logic":[15],"(NBL).":[16],"A":[17],"key":[18],"property":[19],"of":[20,40,69,75,84],"NBL":[21,65],"is":[22,62],"that":[23,83],"literals":[24],"are":[25],"represented":[26],"by":[27],"independent":[28],"noise":[29],"sources,":[30],"from":[31],"which":[32],"can":[34,78],"construct":[35],"cubes,":[37,43],"superpositions":[39],"such":[41],"to":[44],"create":[45],"a":[46,51,67,102],"Boolean":[48,58],"function":[49],"on":[50],"single":[52,103],"wire.":[53],"our":[55,107],"algorithms,":[56],"the":[57,76,93],"sum-of-products":[59],"(SOP)":[60],"formula":[61,87,95],"expressed":[63],"in":[64],"as":[66],"superposition":[68],"its":[70],"minterms.":[71],"This":[72],"representation":[74],"SOP":[77,86],"then":[79],"be":[80],"compared":[81],"with":[82,92],"another":[85],"(or":[91],"representing":[96],"tautology,":[97],"checking)":[100],"operation.":[104],"We":[105],"validate":[106],"approach":[108],"software":[110],"simulation.":[111]},"counts_by_year":[],"updated_date":"2026-03-03T08:47:05.690250","created_date":"2025-10-10T00:00:00"}