Matches in SemOpenAlex for { <https://semopenalex.org/work/W2366223195> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2366223195 abstract "Equivalence checking is playing a significant role in Integrated 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 cheking.Compared with the model BDD,the experiments show that the WGL is more efficient." @default.
- W2366223195 created "2016-06-24" @default.
- W2366223195 creator A5028451936 @default.
- W2366223195 date "2009-01-01" @default.
- W2366223195 modified "2023-09-26" @default.
- W2366223195 title "Equivalence Checking Based on Weighted Generalized List Model" @default.
- W2366223195 hasPublicationYear "2009" @default.
- W2366223195 type Work @default.
- W2366223195 sameAs 2366223195 @default.
- W2366223195 citedByCount "0" @default.
- W2366223195 crossrefType "journal-article" @default.
- W2366223195 hasAuthorship W2366223195A5028451936 @default.
- W2366223195 hasConcept C110251889 @default.
- W2366223195 hasConcept C11413529 @default.
- W2366223195 hasConcept C118615104 @default.
- W2366223195 hasConcept C2780069185 @default.
- W2366223195 hasConcept C33923547 @default.
- W2366223195 hasConcept C41008148 @default.
- W2366223195 hasConcept C80444323 @default.
- W2366223195 hasConcept C96654402 @default.
- W2366223195 hasConceptScore W2366223195C110251889 @default.
- W2366223195 hasConceptScore W2366223195C11413529 @default.
- W2366223195 hasConceptScore W2366223195C118615104 @default.
- W2366223195 hasConceptScore W2366223195C2780069185 @default.
- W2366223195 hasConceptScore W2366223195C33923547 @default.
- W2366223195 hasConceptScore W2366223195C41008148 @default.
- W2366223195 hasConceptScore W2366223195C80444323 @default.
- W2366223195 hasConceptScore W2366223195C96654402 @default.
- W2366223195 hasLocation W23662231951 @default.
- W2366223195 hasOpenAccess W2366223195 @default.
- W2366223195 hasPrimaryLocation W23662231951 @default.
- W2366223195 hasRelatedWork W1519854356 @default.
- W2366223195 hasRelatedWork W1528287381 @default.
- W2366223195 hasRelatedWork W1530087756 @default.
- W2366223195 hasRelatedWork W1861949749 @default.
- W2366223195 hasRelatedWork W2013887890 @default.
- W2366223195 hasRelatedWork W2031924784 @default.
- W2366223195 hasRelatedWork W2057198750 @default.
- W2366223195 hasRelatedWork W2067871120 @default.
- W2366223195 hasRelatedWork W2109238268 @default.
- W2366223195 hasRelatedWork W2114398233 @default.
- W2366223195 hasRelatedWork W2122139801 @default.
- W2366223195 hasRelatedWork W2289654679 @default.
- W2366223195 hasRelatedWork W2334376961 @default.
- W2366223195 hasRelatedWork W2351916060 @default.
- W2366223195 hasRelatedWork W2362871145 @default.
- W2366223195 hasRelatedWork W2380730364 @default.
- W2366223195 hasRelatedWork W2542590036 @default.
- W2366223195 hasRelatedWork W2954725723 @default.
- W2366223195 hasRelatedWork W3098557859 @default.
- W2366223195 hasRelatedWork W2123807339 @default.
- W2366223195 isParatext "false" @default.
- W2366223195 isRetracted "false" @default.
- W2366223195 magId "2366223195" @default.
- W2366223195 workType "article" @default.