Matches in SemOpenAlex for { <https://semopenalex.org/work/W2070298863> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2070298863 endingPage "129" @default.
- W2070298863 startingPage "109" @default.
- W2070298863 abstract "Abstract This paper addresses the problem of checking the equivalence of two Boolean functions under arbitrary input permutations and/or input phase assignments. This problem has several applications in the synthesis and verification of combinational logic. It arises in the technology mapping stage of logic synthesis in finding a match from the cell library for parts of the technology independent circuit. In logic verification this is needed when the exact correspondence of inputs between the two circuits is not known. Exact solutions using exhaustive enumeration of the permutations and/or phase assignments are never a practical possibility, thus recourse is taken to heuristics that work well in practice. The approach presented in this paper computes a signature for each variable or phase of a variable that will help to 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.
- W2070298863 created "2016-06-24" @default.
- W2070298863 creator A5058622962 @default.
- W2070298863 creator A5085975362 @default.
- W2070298863 date "1993-12-01" @default.
- W2070298863 modified "2023-09-26" @default.
- W2070298863 title "Permutation and phase independent Boolean comparison" @default.
- W2070298863 cites W2036887642 @default.
- W2070298863 cites W2080267935 @default.
- W2070298863 doi "https://doi.org/10.1016/0167-9260(93)90041-a" @default.
- W2070298863 hasPublicationYear "1993" @default.
- W2070298863 type Work @default.
- W2070298863 sameAs 2070298863 @default.
- W2070298863 citedByCount "27" @default.
- W2070298863 countsByYear W20702988632012 @default.
- W2070298863 countsByYear W20702988632013 @default.
- W2070298863 countsByYear W20702988632014 @default.
- W2070298863 countsByYear W20702988632015 @default.
- W2070298863 countsByYear W20702988632017 @default.
- W2070298863 countsByYear W20702988632020 @default.
- W2070298863 crossrefType "journal-article" @default.
- W2070298863 hasAuthorship W2070298863A5058622962 @default.
- W2070298863 hasAuthorship W2070298863A5085975362 @default.
- W2070298863 hasConcept C114614502 @default.
- W2070298863 hasConcept C118615104 @default.
- W2070298863 hasConcept C121332964 @default.
- W2070298863 hasConcept C158465420 @default.
- W2070298863 hasConcept C187455244 @default.
- W2070298863 hasConcept C21308566 @default.
- W2070298863 hasConcept C24890656 @default.
- W2070298863 hasConcept C33923547 @default.
- W2070298863 hasConcept C41008148 @default.
- W2070298863 hasConceptScore W2070298863C114614502 @default.
- W2070298863 hasConceptScore W2070298863C118615104 @default.
- W2070298863 hasConceptScore W2070298863C121332964 @default.
- W2070298863 hasConceptScore W2070298863C158465420 @default.
- W2070298863 hasConceptScore W2070298863C187455244 @default.
- W2070298863 hasConceptScore W2070298863C21308566 @default.
- W2070298863 hasConceptScore W2070298863C24890656 @default.
- W2070298863 hasConceptScore W2070298863C33923547 @default.
- W2070298863 hasConceptScore W2070298863C41008148 @default.
- W2070298863 hasIssue "2" @default.
- W2070298863 hasLocation W20702988631 @default.
- W2070298863 hasOpenAccess W2070298863 @default.
- W2070298863 hasPrimaryLocation W20702988631 @default.
- W2070298863 hasRelatedWork W1760743698 @default.
- W2070298863 hasRelatedWork W2004788714 @default.
- W2070298863 hasRelatedWork W2093448135 @default.
- W2070298863 hasRelatedWork W2127901211 @default.
- W2070298863 hasRelatedWork W2140053302 @default.
- W2070298863 hasRelatedWork W2181443492 @default.
- W2070298863 hasRelatedWork W2400917345 @default.
- W2070298863 hasRelatedWork W2407852364 @default.
- W2070298863 hasRelatedWork W2592641503 @default.
- W2070298863 hasRelatedWork W574521130 @default.
- W2070298863 hasVolume "16" @default.
- W2070298863 isParatext "false" @default.
- W2070298863 isRetracted "false" @default.
- W2070298863 magId "2070298863" @default.
- W2070298863 workType "article" @default.