Matches in SemOpenAlex for { <https://semopenalex.org/work/W2122139801> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2122139801 abstract "Equivalence checking is playing a significant role in Intelligent Circuits design. However, the common models for verification either have their complexity problems or have applicable limitations. In order to overcome the deficiencies, a model WGL (Weighted Generalized List) is proposed and based on WGL we give an algorithm for checking. comparing the model WLDDs, the experiments show that the WGL is more efficient." @default.
- W2122139801 created "2016-06-24" @default.
- W2122139801 creator A5028451936 @default.
- W2122139801 creator A5087700016 @default.
- W2122139801 date "2008-12-01" @default.
- W2122139801 modified "2023-09-25" @default.
- W2122139801 title "Equivalence Checking for Intelligent Circuits" @default.
- W2122139801 cites W1526402628 @default.
- W2122139801 cites W2036085256 @default.
- W2122139801 cites W2080267935 @default.
- W2122139801 doi "https://doi.org/10.1109/iita.workshops.2008.188" @default.
- W2122139801 hasPublicationYear "2008" @default.
- W2122139801 type Work @default.
- W2122139801 sameAs 2122139801 @default.
- W2122139801 citedByCount "0" @default.
- W2122139801 crossrefType "proceedings-article" @default.
- W2122139801 hasAuthorship W2122139801A5028451936 @default.
- W2122139801 hasAuthorship W2122139801A5087700016 @default.
- W2122139801 hasConcept C110251889 @default.
- W2122139801 hasConcept C111498074 @default.
- W2122139801 hasConcept C11413529 @default.
- W2122139801 hasConcept C118615104 @default.
- W2122139801 hasConcept C119599485 @default.
- W2122139801 hasConcept C127413603 @default.
- W2122139801 hasConcept C134146338 @default.
- W2122139801 hasConcept C2780069185 @default.
- W2122139801 hasConcept C33923547 @default.
- W2122139801 hasConcept C41008148 @default.
- W2122139801 hasConcept C70846408 @default.
- W2122139801 hasConcept C80444323 @default.
- W2122139801 hasConcept C96654402 @default.
- W2122139801 hasConceptScore W2122139801C110251889 @default.
- W2122139801 hasConceptScore W2122139801C111498074 @default.
- W2122139801 hasConceptScore W2122139801C11413529 @default.
- W2122139801 hasConceptScore W2122139801C118615104 @default.
- W2122139801 hasConceptScore W2122139801C119599485 @default.
- W2122139801 hasConceptScore W2122139801C127413603 @default.
- W2122139801 hasConceptScore W2122139801C134146338 @default.
- W2122139801 hasConceptScore W2122139801C2780069185 @default.
- W2122139801 hasConceptScore W2122139801C33923547 @default.
- W2122139801 hasConceptScore W2122139801C41008148 @default.
- W2122139801 hasConceptScore W2122139801C70846408 @default.
- W2122139801 hasConceptScore W2122139801C80444323 @default.
- W2122139801 hasConceptScore W2122139801C96654402 @default.
- W2122139801 hasLocation W21221398011 @default.
- W2122139801 hasOpenAccess W2122139801 @default.
- W2122139801 hasPrimaryLocation W21221398011 @default.
- W2122139801 hasRelatedWork W1565459883 @default.
- W2122139801 hasRelatedWork W1597654460 @default.
- W2122139801 hasRelatedWork W2060407451 @default.
- W2122139801 hasRelatedWork W2109238268 @default.
- W2122139801 hasRelatedWork W2117120663 @default.
- W2122139801 hasRelatedWork W2361948817 @default.
- W2122139801 hasRelatedWork W2371982206 @default.
- W2122139801 hasRelatedWork W2728756936 @default.
- W2122139801 hasRelatedWork W2757611789 @default.
- W2122139801 hasRelatedWork W3046927439 @default.
- W2122139801 isParatext "false" @default.
- W2122139801 isRetracted "false" @default.
- W2122139801 magId "2122139801" @default.
- W2122139801 workType "article" @default.