FRINK Linked Data Fragments server

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

• W2095698047 abstract "SAT sweeping is a method for simplifying an shape And/Inverter graph (AIG) by systematically merging graph vertices from the inputs towards the outputs using a combination of structural hashing, simulation, and SAT queries. Due to its robustness and efficiency, SAT sweeping provides a solid algorithm for Booleanreasoning in functional verification and logic synthesis. In previous work, SAT sweeping merges two vertices only if they are functionally equivalent. In this paper we present a significant extension of the SAT-sweeping algorithm that exploits local observability don't-cares (ODCs) to increase the number of vertices merged. We use a novel technique to bound the use of ODCs and thus the computational effort to find them, while still finding a large fraction of them. Our reported results based on a set of industrial benchmark circuits demonstrate that ODC-based SAT sweeping results in significantly more graph simplification with great benefit for Boolean reasoning with a moderate increase in computational effort." @default.
• W2095698047 created "2016-06-24" @default.
• W2095698047 creator A5009465781 @default.
• W2095698047 creator A5020896290 @default.
• W2095698047 creator A5050442585 @default.
• W2095698047 creator A5082366880 @default.
• W2095698047 date "2006-01-01" @default.
• W2095698047 modified "2023-10-14" @default.
• W2095698047 title "SAT sweeping with local observability don't-cares" @default.
• W2095698047 cites W145561974 @default.
• W2095698047 cites W1566041312 @default.
• W2095698047 cites W1980023055 @default.
• W2095698047 cites W2069560114 @default.
• W2095698047 cites W2098667711 @default.
• W2095698047 cites W2100909996 @default.
• W2095698047 cites W2101769039 @default.
• W2095698047 cites W2109577721 @default.
• W2095698047 cites W2123736383 @default.
• W2095698047 cites W2129369779 @default.
• W2095698047 cites W2130349975 @default.
• W2095698047 cites W2137035823 @default.
• W2095698047 cites W2139171217 @default.
• W2095698047 cites W2140132043 @default.
• W2095698047 cites W2140880945 @default.
• W2095698047 cites W2142732755 @default.
• W2095698047 cites W2144601970 @default.
• W2095698047 cites W2157591717 @default.
• W2095698047 cites W2162226695 @default.
• W2095698047 cites W3178812393 @default.
• W2095698047 doi "https://doi.org/10.1145/1146909.1146970" @default.
• W2095698047 hasPublicationYear "2006" @default.
• W2095698047 type Work @default.
• W2095698047 sameAs 2095698047 @default.
• W2095698047 citedByCount "60" @default.
• W2095698047 countsByYear W20956980472012 @default.
• W2095698047 countsByYear W20956980472013 @default.
• W2095698047 countsByYear W20956980472014 @default.
• W2095698047 countsByYear W20956980472015 @default.
• W2095698047 countsByYear W20956980472016 @default.
• W2095698047 countsByYear W20956980472017 @default.
• W2095698047 countsByYear W20956980472019 @default.
• W2095698047 countsByYear W20956980472020 @default.
• W2095698047 countsByYear W20956980472021 @default.
• W2095698047 crossrefType "proceedings-article" @default.
• W2095698047 hasAuthorship W2095698047A5009465781 @default.
• W2095698047 hasAuthorship W2095698047A5020896290 @default.
• W2095698047 hasAuthorship W2095698047A5050442585 @default.
• W2095698047 hasAuthorship W2095698047A5082366880 @default.
• W2095698047 hasConcept C104317684 @default.
• W2095698047 hasConcept C11413529 @default.
• W2095698047 hasConcept C119599485 @default.
• W2095698047 hasConcept C127413603 @default.
• W2095698047 hasConcept C131017901 @default.
• W2095698047 hasConcept C132525143 @default.
• W2095698047 hasConcept C13280743 @default.
• W2095698047 hasConcept C134146338 @default.
• W2095698047 hasConcept C141796577 @default.
• W2095698047 hasConcept C165696696 @default.
• W2095698047 hasConcept C185592680 @default.
• W2095698047 hasConcept C185798385 @default.
• W2095698047 hasConcept C187455244 @default.
• W2095698047 hasConcept C205649164 @default.
• W2095698047 hasConcept C28826006 @default.
• W2095698047 hasConcept C33923547 @default.
• W2095698047 hasConcept C36299963 @default.
• W2095698047 hasConcept C38652104 @default.
• W2095698047 hasConcept C41008148 @default.
• W2095698047 hasConcept C55493867 @default.
• W2095698047 hasConcept C63479239 @default.
• W2095698047 hasConcept C80444323 @default.
• W2095698047 hasConcept C81409106 @default.
• W2095698047 hasConceptScore W2095698047C104317684 @default.
• W2095698047 hasConceptScore W2095698047C11413529 @default.
• W2095698047 hasConceptScore W2095698047C119599485 @default.
• W2095698047 hasConceptScore W2095698047C127413603 @default.
• W2095698047 hasConceptScore W2095698047C131017901 @default.
• W2095698047 hasConceptScore W2095698047C132525143 @default.
• W2095698047 hasConceptScore W2095698047C13280743 @default.
• W2095698047 hasConceptScore W2095698047C134146338 @default.
• W2095698047 hasConceptScore W2095698047C141796577 @default.
• W2095698047 hasConceptScore W2095698047C165696696 @default.
• W2095698047 hasConceptScore W2095698047C185592680 @default.
• W2095698047 hasConceptScore W2095698047C185798385 @default.
• W2095698047 hasConceptScore W2095698047C187455244 @default.
• W2095698047 hasConceptScore W2095698047C205649164 @default.
• W2095698047 hasConceptScore W2095698047C28826006 @default.
• W2095698047 hasConceptScore W2095698047C33923547 @default.
• W2095698047 hasConceptScore W2095698047C36299963 @default.
• W2095698047 hasConceptScore W2095698047C38652104 @default.
• W2095698047 hasConceptScore W2095698047C41008148 @default.
• W2095698047 hasConceptScore W2095698047C55493867 @default.
• W2095698047 hasConceptScore W2095698047C63479239 @default.
• W2095698047 hasConceptScore W2095698047C80444323 @default.
• W2095698047 hasConceptScore W2095698047C81409106 @default.
• W2095698047 hasLocation W20956980471 @default.
• W2095698047 hasOpenAccess W2095698047 @default.
• W2095698047 hasPrimaryLocation W20956980471 @default.
• W2095698047 hasRelatedWork W1948709804 @default.
• W2095698047 hasRelatedWork W1999396918 @default.
• W2095698047 hasRelatedWork W2093652003 @default.

• next