Matches in SemOpenAlex for { <https://semopenalex.org/work/W2095999202> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2095999202 endingPage "613" @default.
- W2095999202 startingPage "608" @default.
- W2095999202 abstract "In this paper we present a new data structure called edge-valued binary decision diagrams (EV) as a representation of functions. An EV is an extension of ordered binary decision diagrams that allows for multilevel and hierarchical verification. We show that an EV is a compact and canonical representation for arbitrary integer functions. Hence the specification can be at a higher level than the implementation. Furthermore, the variable ordering strategy for an EV can be derived from a hi her level functional specification instead of the gate fevel specification. Examples shown in this paper includes SN74L85[7], SN74181 71, a 64built from SN74181." @default.
- W2095999202 created "2016-06-24" @default.
- W2095999202 creator A5030281046 @default.
- W2095999202 creator A5044905257 @default.
- W2095999202 date "1992-07-01" @default.
- W2095999202 modified "2023-09-23" @default.
- W2095999202 title "Edge-valued binary decision diagrams for multi-level hierarchical verification" @default.
- W2095999202 cites W2080267935 @default.
- W2095999202 cites W2113251992 @default.
- W2095999202 cites W2114297459 @default.
- W2095999202 cites W2132692422 @default.
- W2095999202 cites W2133085302 @default.
- W2095999202 cites W2133491672 @default.
- W2095999202 cites W2135453964 @default.
- W2095999202 cites W2137108108 @default.
- W2095999202 cites W2145785237 @default.
- W2095999202 cites W2154030608 @default.
- W2095999202 cites W2157632109 @default.
- W2095999202 doi "https://doi.org/10.5555/113938.149642" @default.
- W2095999202 hasPublicationYear "1992" @default.
- W2095999202 type Work @default.
- W2095999202 sameAs 2095999202 @default.
- W2095999202 citedByCount "82" @default.
- W2095999202 countsByYear W20959992022012 @default.
- W2095999202 countsByYear W20959992022013 @default.
- W2095999202 countsByYear W20959992022014 @default.
- W2095999202 countsByYear W20959992022015 @default.
- W2095999202 countsByYear W20959992022016 @default.
- W2095999202 crossrefType "proceedings-article" @default.
- W2095999202 hasAuthorship W2095999202A5030281046 @default.
- W2095999202 hasAuthorship W2095999202A5044905257 @default.
- W2095999202 hasConcept C111498074 @default.
- W2095999202 hasConcept C11413529 @default.
- W2095999202 hasConcept C154945302 @default.
- W2095999202 hasConcept C162307627 @default.
- W2095999202 hasConcept C162319229 @default.
- W2095999202 hasConcept C17744445 @default.
- W2095999202 hasConcept C187455244 @default.
- W2095999202 hasConcept C199360897 @default.
- W2095999202 hasConcept C199539241 @default.
- W2095999202 hasConcept C2776359362 @default.
- W2095999202 hasConcept C2778029271 @default.
- W2095999202 hasConcept C2779190172 @default.
- W2095999202 hasConcept C3309909 @default.
- W2095999202 hasConcept C33923547 @default.
- W2095999202 hasConcept C41008148 @default.
- W2095999202 hasConcept C48372109 @default.
- W2095999202 hasConcept C80444323 @default.
- W2095999202 hasConcept C94375191 @default.
- W2095999202 hasConcept C94625758 @default.
- W2095999202 hasConcept C97137487 @default.
- W2095999202 hasConceptScore W2095999202C111498074 @default.
- W2095999202 hasConceptScore W2095999202C11413529 @default.
- W2095999202 hasConceptScore W2095999202C154945302 @default.
- W2095999202 hasConceptScore W2095999202C162307627 @default.
- W2095999202 hasConceptScore W2095999202C162319229 @default.
- W2095999202 hasConceptScore W2095999202C17744445 @default.
- W2095999202 hasConceptScore W2095999202C187455244 @default.
- W2095999202 hasConceptScore W2095999202C199360897 @default.
- W2095999202 hasConceptScore W2095999202C199539241 @default.
- W2095999202 hasConceptScore W2095999202C2776359362 @default.
- W2095999202 hasConceptScore W2095999202C2778029271 @default.
- W2095999202 hasConceptScore W2095999202C2779190172 @default.
- W2095999202 hasConceptScore W2095999202C3309909 @default.
- W2095999202 hasConceptScore W2095999202C33923547 @default.
- W2095999202 hasConceptScore W2095999202C41008148 @default.
- W2095999202 hasConceptScore W2095999202C48372109 @default.
- W2095999202 hasConceptScore W2095999202C80444323 @default.
- W2095999202 hasConceptScore W2095999202C94375191 @default.
- W2095999202 hasConceptScore W2095999202C94625758 @default.
- W2095999202 hasConceptScore W2095999202C97137487 @default.
- W2095999202 hasLocation W20959992021 @default.
- W2095999202 hasOpenAccess W2095999202 @default.
- W2095999202 hasPrimaryLocation W20959992021 @default.
- W2095999202 hasRelatedWork W1595607623 @default.
- W2095999202 hasRelatedWork W1596186423 @default.
- W2095999202 hasRelatedWork W1602476740 @default.
- W2095999202 hasRelatedWork W1975335740 @default.
- W2095999202 hasRelatedWork W1994143452 @default.
- W2095999202 hasRelatedWork W2030224590 @default.
- W2095999202 hasRelatedWork W2080267935 @default.
- W2095999202 hasRelatedWork W2095826301 @default.
- W2095999202 hasRelatedWork W2108016168 @default.
- W2095999202 hasRelatedWork W2109449313 @default.
- W2095999202 hasRelatedWork W2113598105 @default.
- W2095999202 hasRelatedWork W2120724211 @default.
- W2095999202 hasRelatedWork W2127271657 @default.
- W2095999202 hasRelatedWork W2132967511 @default.
- W2095999202 hasRelatedWork W2135453964 @default.
- W2095999202 hasRelatedWork W2138838211 @default.
- W2095999202 hasRelatedWork W2144491553 @default.
- W2095999202 hasRelatedWork W2149479807 @default.
- W2095999202 hasRelatedWork W2167435507 @default.
- W2095999202 hasRelatedWork W2762210817 @default.
- W2095999202 isParatext "false" @default.
- W2095999202 isRetracted "false" @default.
- W2095999202 magId "2095999202" @default.
- W2095999202 workType "article" @default.