Matches in SemOpenAlex for { <https://semopenalex.org/work/W2129052258> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2129052258 abstract "The problem of checking the equivalence of two Boolean functions under arbitrary input permutations and/or input plane assignments is considered. This problem has several applications in the synthesis and verification of combinational logic. The approach presented computes a signature for each variable or phase of a variable that will help establish correspondence of variables or phases of variables. The strength of the proposed approach depends on the ability to quickly derive a signature with minimum aliasing. Aliasing refers to two different variables or phases having the same signature, thus rendering this signature useless for the purpose of distinguishing between them. Experimental results on a large number of examples establish the efficacy of this approach. >" @default.
- W2129052258 created "2016-06-24" @default.
- W2129052258 creator A5058622962 @default.
- W2129052258 creator A5085975362 @default.
- W2129052258 date "2002-12-30" @default.
- W2129052258 modified "2023-09-25" @default.
- W2129052258 title "Permutation and phase independent Boolean comparison" @default.
- W2129052258 cites W1602476740 @default.
- W2129052258 cites W2080267935 @default.
- W2129052258 cites W2134401100 @default.
- W2129052258 cites W3139969152 @default.
- W2129052258 doi "https://doi.org/10.1109/edac.1993.386495" @default.
- W2129052258 hasPublicationYear "2002" @default.
- W2129052258 type Work @default.
- W2129052258 sameAs 2129052258 @default.
- W2129052258 citedByCount "38" @default.
- W2129052258 countsByYear W21290522582012 @default.
- W2129052258 countsByYear W21290522582013 @default.
- W2129052258 countsByYear W21290522582014 @default.
- W2129052258 countsByYear W21290522582017 @default.
- W2129052258 countsByYear W21290522582019 @default.
- W2129052258 countsByYear W21290522582020 @default.
- W2129052258 crossrefType "proceedings-article" @default.
- W2129052258 hasAuthorship W2129052258A5058622962 @default.
- W2129052258 hasAuthorship W2129052258A5085975362 @default.
- W2129052258 hasConcept C11413529 @default.
- W2129052258 hasConcept C121332964 @default.
- W2129052258 hasConcept C134444547 @default.
- W2129052258 hasConcept C158465420 @default.
- W2129052258 hasConcept C187455244 @default.
- W2129052258 hasConcept C196836630 @default.
- W2129052258 hasConcept C21308566 @default.
- W2129052258 hasConcept C24890656 @default.
- W2129052258 hasConcept C41008148 @default.
- W2129052258 hasConcept C80444323 @default.
- W2129052258 hasConceptScore W2129052258C11413529 @default.
- W2129052258 hasConceptScore W2129052258C121332964 @default.
- W2129052258 hasConceptScore W2129052258C134444547 @default.
- W2129052258 hasConceptScore W2129052258C158465420 @default.
- W2129052258 hasConceptScore W2129052258C187455244 @default.
- W2129052258 hasConceptScore W2129052258C196836630 @default.
- W2129052258 hasConceptScore W2129052258C21308566 @default.
- W2129052258 hasConceptScore W2129052258C24890656 @default.
- W2129052258 hasConceptScore W2129052258C41008148 @default.
- W2129052258 hasConceptScore W2129052258C80444323 @default.
- W2129052258 hasLocation W21290522581 @default.
- W2129052258 hasOpenAccess W2129052258 @default.
- W2129052258 hasPrimaryLocation W21290522581 @default.
- W2129052258 hasRelatedWork W2022093294 @default.
- W2129052258 hasRelatedWork W2131164334 @default.
- W2129052258 hasRelatedWork W2164104739 @default.
- W2129052258 hasRelatedWork W2188045954 @default.
- W2129052258 hasRelatedWork W2289022454 @default.
- W2129052258 hasRelatedWork W2379749946 @default.
- W2129052258 hasRelatedWork W2558644562 @default.
- W2129052258 hasRelatedWork W3141532631 @default.
- W2129052258 hasRelatedWork W3183599949 @default.
- W2129052258 hasRelatedWork W4249396218 @default.
- W2129052258 isParatext "false" @default.
- W2129052258 isRetracted "false" @default.
- W2129052258 magId "2129052258" @default.
- W2129052258 workType "article" @default.