Matches in SemOpenAlex for { <https://semopenalex.org/work/W828287> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W828287 abstract "By increasing the complexity of system on a chip (SoC) formal equivalence checking has become more and more important and a major economical issue to detect design faults at early stages of the design cycle in order to reduce time-to-market as much as possible. However, lower level methods such as BDDs and SAT solvers suffer from memory and computational explosion problems to match sizes of industrial designs in formal equivalence verification. In this paper, we describe a hybrid bit- and word-level canonical representation called Linear Taylor Expansion Diagram (LTED) [1] which can be used to check the equivalence between two descriptions in different levels of abstractions. To prove the validity of our approach, it is run on some industrial circuits with application to communication systems and experimental results are compared to those of Taylor Expansion Diagram (TED) which is also a word level canonical representation [2]." @default.
- W828287 created "2016-06-24" @default.
- W828287 creator A5027837299 @default.
- W828287 creator A5069623023 @default.
- W828287 date "2008-01-01" @default.
- W828287 modified "2023-09-25" @default.
- W828287 title "Sequential Equivalence Checking Using a Hybrid Boolean-Word Level Decision Diagram" @default.
- W828287 cites W2081056021 @default.
- W828287 cites W2105063618 @default.
- W828287 cites W2105389779 @default.
- W828287 cites W2170621144 @default.
- W828287 cites W2172121474 @default.
- W828287 cites W4231657740 @default.
- W828287 cites W4239772905 @default.
- W828287 doi "https://doi.org/10.1007/978-3-540-89985-3_85" @default.
- W828287 hasPublicationYear "2008" @default.
- W828287 type Work @default.
- W828287 sameAs 828287 @default.
- W828287 citedByCount "0" @default.
- W828287 crossrefType "book-chapter" @default.
- W828287 hasAuthorship W828287A5027837299 @default.
- W828287 hasAuthorship W828287A5069623023 @default.
- W828287 hasConcept C110251889 @default.
- W828287 hasConcept C111498074 @default.
- W828287 hasConcept C11413529 @default.
- W828287 hasConcept C118615104 @default.
- W828287 hasConcept C17744445 @default.
- W828287 hasConcept C186399060 @default.
- W828287 hasConcept C187455244 @default.
- W828287 hasConcept C199539241 @default.
- W828287 hasConcept C2524010 @default.
- W828287 hasConcept C2776359362 @default.
- W828287 hasConcept C2780069185 @default.
- W828287 hasConcept C3309909 @default.
- W828287 hasConcept C33923547 @default.
- W828287 hasConcept C41008148 @default.
- W828287 hasConcept C77088390 @default.
- W828287 hasConcept C80444323 @default.
- W828287 hasConcept C90805587 @default.
- W828287 hasConcept C94375191 @default.
- W828287 hasConcept C94625758 @default.
- W828287 hasConcept C96654402 @default.
- W828287 hasConceptScore W828287C110251889 @default.
- W828287 hasConceptScore W828287C111498074 @default.
- W828287 hasConceptScore W828287C11413529 @default.
- W828287 hasConceptScore W828287C118615104 @default.
- W828287 hasConceptScore W828287C17744445 @default.
- W828287 hasConceptScore W828287C186399060 @default.
- W828287 hasConceptScore W828287C187455244 @default.
- W828287 hasConceptScore W828287C199539241 @default.
- W828287 hasConceptScore W828287C2524010 @default.
- W828287 hasConceptScore W828287C2776359362 @default.
- W828287 hasConceptScore W828287C2780069185 @default.
- W828287 hasConceptScore W828287C3309909 @default.
- W828287 hasConceptScore W828287C33923547 @default.
- W828287 hasConceptScore W828287C41008148 @default.
- W828287 hasConceptScore W828287C77088390 @default.
- W828287 hasConceptScore W828287C80444323 @default.
- W828287 hasConceptScore W828287C90805587 @default.
- W828287 hasConceptScore W828287C94375191 @default.
- W828287 hasConceptScore W828287C94625758 @default.
- W828287 hasConceptScore W828287C96654402 @default.
- W828287 hasLocation W8282871 @default.
- W828287 hasOpenAccess W828287 @default.
- W828287 hasPrimaryLocation W8282871 @default.
- W828287 hasRelatedWork W1730483693 @default.
- W828287 hasRelatedWork W1902047993 @default.
- W828287 hasRelatedWork W2114766374 @default.
- W828287 hasRelatedWork W2114899171 @default.
- W828287 hasRelatedWork W2360025963 @default.
- W828287 hasRelatedWork W2360785147 @default.
- W828287 hasRelatedWork W308486048 @default.
- W828287 hasRelatedWork W3107474891 @default.
- W828287 hasRelatedWork W4292227681 @default.
- W828287 hasRelatedWork W1778189012 @default.
- W828287 isParatext "false" @default.
- W828287 isRetracted "false" @default.
- W828287 magId "828287" @default.
- W828287 workType "book-chapter" @default.