FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2189203492> ?p ?o ?g. }

• W2189203492 abstract "Preimage Computation is a fundamental step in Formal Verification of VLSI designs. Conventional OBDD-based methods for Formal Verification suffer from spatial explosion, since large designs can blow up in terms of memory. On the other hand, SAT/ATPG based methods are less demanding on memory. But the run-time can be huge for these methods, since they must explore an exponential search space. In order to reduce this temporal explosion of SAT/ATPG based methods, efficient learning techniques are needed. Conventional ATPG aims at computing a single solution for its objective. In preimage computation, we must enumerate all solutions for the target state during the search. Similar sub-problems often occur during preimage computation that can be identified by the internal state of the circuit. Therefore, it is highly desirable to learn from these search-states and avoid repeated search of identical solution/conflict subspaces, for better performance. In this thesis, we present a new ZBDD based method to compactly store and efficiently search previously explored search-states. We learn from these search-states and avoid repeating subsets and supersets of previously encountered search spaces. Both solution and conflict subspaces are pruned based on simple set operations using ZBDDs. We integrate our techniques into a PODEM based ATPG engine and demonstrate their efficiency on ISCAS ’89 benchmark circuits. Experimental results show that upto 90% of the search-space is pruned due to the proposed techniques and we are able to compute preimages for target states where a state-of-the-art technique fails. To my Parents and Brother without whom nothing would have been possible." @default.
• W2189203492 created "2016-06-24" @default.
• W2189203492 creator A5064923800 @default.
• W2189203492 date "2003-07-28" @default.
• W2189203492 modified "2023-09-27" @default.
• W2189203492 title "ATPG based Preimage Computation: Efficient Search Space Pruning using ZBDD" @default.
• W2189203492 cites W1494481937 @default.
• W2189203492 cites W1503170978 @default.
• W2189203492 cites W1513012091 @default.
• W2189203492 cites W1545320146 @default.
• W2189203492 cites W1554885925 @default.
• W2189203492 cites W1814068099 @default.
• W2189203492 cites W1904003763 @default.
• W2189203492 cites W2024148935 @default.
• W2189203492 cites W2044560939 @default.
• W2189203492 cites W2104084170 @default.
• W2189203492 cites W2111265695 @default.
• W2189203492 cites W2113251992 @default.
• W2189203492 cites W2118346508 @default.
• W2189203492 cites W2119241964 @default.
• W2189203492 cites W2120599220 @default.
• W2189203492 cites W2120791629 @default.
• W2189203492 cites W2135453964 @default.
• W2189203492 cites W2144883917 @default.
• W2189203492 cites W2145343136 @default.
• W2189203492 cites W2151398141 @default.
• W2189203492 cites W2154905180 @default.
• W2189203492 cites W2156358952 @default.
• W2189203492 cites W2161010566 @default.
• W2189203492 cites W2168081446 @default.
• W2189203492 cites W2971807880 @default.
• W2189203492 hasPublicationYear "2003" @default.
• W2189203492 type Work @default.
• W2189203492 sameAs 2189203492 @default.
• W2189203492 citedByCount "0" @default.
• W2189203492 crossrefType "dissertation" @default.
• W2189203492 hasAuthorship W2189203492A5064923800 @default.
• W2189203492 hasConcept C105795698 @default.
• W2189203492 hasConcept C108010975 @default.
• W2189203492 hasConcept C11413529 @default.
• W2189203492 hasConcept C119599485 @default.
• W2189203492 hasConcept C12362212 @default.
• W2189203492 hasConcept C127413603 @default.
• W2189203492 hasConcept C13280743 @default.
• W2189203492 hasConcept C134146338 @default.
• W2189203492 hasConcept C17626397 @default.
• W2189203492 hasConcept C185798385 @default.
• W2189203492 hasConcept C205649164 @default.
• W2189203492 hasConcept C2524010 @default.
• W2189203492 hasConcept C26517878 @default.
• W2189203492 hasConcept C33923547 @default.
• W2189203492 hasConcept C38652104 @default.
• W2189203492 hasConcept C41008148 @default.
• W2189203492 hasConcept C45374587 @default.
• W2189203492 hasConcept C48103436 @default.
• W2189203492 hasConcept C6557445 @default.
• W2189203492 hasConcept C72434380 @default.
• W2189203492 hasConcept C80444323 @default.
• W2189203492 hasConcept C86803240 @default.
• W2189203492 hasConceptScore W2189203492C105795698 @default.
• W2189203492 hasConceptScore W2189203492C108010975 @default.
• W2189203492 hasConceptScore W2189203492C11413529 @default.
• W2189203492 hasConceptScore W2189203492C119599485 @default.
• W2189203492 hasConceptScore W2189203492C12362212 @default.
• W2189203492 hasConceptScore W2189203492C127413603 @default.
• W2189203492 hasConceptScore W2189203492C13280743 @default.
• W2189203492 hasConceptScore W2189203492C134146338 @default.
• W2189203492 hasConceptScore W2189203492C17626397 @default.
• W2189203492 hasConceptScore W2189203492C185798385 @default.
• W2189203492 hasConceptScore W2189203492C205649164 @default.
• W2189203492 hasConceptScore W2189203492C2524010 @default.
• W2189203492 hasConceptScore W2189203492C26517878 @default.
• W2189203492 hasConceptScore W2189203492C33923547 @default.
• W2189203492 hasConceptScore W2189203492C38652104 @default.
• W2189203492 hasConceptScore W2189203492C41008148 @default.
• W2189203492 hasConceptScore W2189203492C45374587 @default.
• W2189203492 hasConceptScore W2189203492C48103436 @default.
• W2189203492 hasConceptScore W2189203492C6557445 @default.
• W2189203492 hasConceptScore W2189203492C72434380 @default.
• W2189203492 hasConceptScore W2189203492C80444323 @default.
• W2189203492 hasConceptScore W2189203492C86803240 @default.
• W2189203492 hasLocation W21892034921 @default.
• W2189203492 hasOpenAccess W2189203492 @default.
• W2189203492 hasPrimaryLocation W21892034921 @default.
• W2189203492 hasRelatedWork W113853052 @default.
• W2189203492 hasRelatedWork W1570839833 @default.
• W2189203492 hasRelatedWork W165029591 @default.
• W2189203492 hasRelatedWork W1807276935 @default.
• W2189203492 hasRelatedWork W1837817108 @default.
• W2189203492 hasRelatedWork W1881699167 @default.
• W2189203492 hasRelatedWork W2098048618 @default.
• W2189203492 hasRelatedWork W2109402501 @default.
• W2189203492 hasRelatedWork W2125759056 @default.
• W2189203492 hasRelatedWork W2141966930 @default.
• W2189203492 hasRelatedWork W2150872339 @default.
• W2189203492 hasRelatedWork W2153025491 @default.
• W2189203492 hasRelatedWork W2159828458 @default.
• W2189203492 hasRelatedWork W2160667400 @default.
• W2189203492 hasRelatedWork W2206651034 @default.
• W2189203492 hasRelatedWork W2465500477 @default.

• next