Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520424600> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1520424600 abstract "Boolean Satisfiability (SAT) is often used as the underlying model for a significant and increasing number of applications in Electronic Design Automation (EDA) as well as in many other fields of Computer Science and Engineering. In recent years, new and efficient algorithms for SAT have been developed, allowing much larger problem instances to be solved. SAT ”packages” are currently expected to have an impact on EDA applications similar to that of BDD packages since their introduction more than a decade ago. This tutorial paper is aimed at introducing the EDA professional to the Boolean satisfiability problem. Specifically, we highlight the use of SAT models to formulate a number of EDA problems in such diverse areas as test pattern generation, circuit delay computation, logic optimization, combinational equivalence checking, bounded model checking and functional test vector generation, among others. In addition, we provide an overview of the algorithmic techniques commonly used for solving SAT, including those that have seen widespread use in specific EDA applications. We categorize these algorithmic techniques, indicating which have been shown to be best suited for which tasks." @default.
- W1520424600 created "2016-06-24" @default.
- W1520424600 creator A5020940259 @default.
- W1520424600 creator A5077314055 @default.
- W1520424600 date "2000-01-01" @default.
- W1520424600 modified "2023-09-23" @default.
- W1520424600 title "Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic Design Automation" @default.
- W1520424600 doi "https://doi.org/10.1007/10722167_3" @default.
- W1520424600 hasPublicationYear "2000" @default.
- W1520424600 type Work @default.
- W1520424600 sameAs 1520424600 @default.
- W1520424600 citedByCount "1" @default.
- W1520424600 countsByYear W15204246002019 @default.
- W1520424600 crossrefType "book-chapter" @default.
- W1520424600 hasAuthorship W1520424600A5020940259 @default.
- W1520424600 hasAuthorship W1520424600A5077314055 @default.
- W1520424600 hasBestOaLocation W15204246001 @default.
- W1520424600 hasConcept C110251889 @default.
- W1520424600 hasConcept C111797529 @default.
- W1520424600 hasConcept C11413529 @default.
- W1520424600 hasConcept C131017901 @default.
- W1520424600 hasConcept C141796577 @default.
- W1520424600 hasConcept C149635348 @default.
- W1520424600 hasConcept C168773769 @default.
- W1520424600 hasConcept C187455244 @default.
- W1520424600 hasConcept C196836630 @default.
- W1520424600 hasConcept C41008148 @default.
- W1520424600 hasConcept C64260653 @default.
- W1520424600 hasConcept C6943359 @default.
- W1520424600 hasConcept C80444323 @default.
- W1520424600 hasConcept C81409106 @default.
- W1520424600 hasConcept C96654402 @default.
- W1520424600 hasConceptScore W1520424600C110251889 @default.
- W1520424600 hasConceptScore W1520424600C111797529 @default.
- W1520424600 hasConceptScore W1520424600C11413529 @default.
- W1520424600 hasConceptScore W1520424600C131017901 @default.
- W1520424600 hasConceptScore W1520424600C141796577 @default.
- W1520424600 hasConceptScore W1520424600C149635348 @default.
- W1520424600 hasConceptScore W1520424600C168773769 @default.
- W1520424600 hasConceptScore W1520424600C187455244 @default.
- W1520424600 hasConceptScore W1520424600C196836630 @default.
- W1520424600 hasConceptScore W1520424600C41008148 @default.
- W1520424600 hasConceptScore W1520424600C64260653 @default.
- W1520424600 hasConceptScore W1520424600C6943359 @default.
- W1520424600 hasConceptScore W1520424600C80444323 @default.
- W1520424600 hasConceptScore W1520424600C81409106 @default.
- W1520424600 hasConceptScore W1520424600C96654402 @default.
- W1520424600 hasLocation W15204246001 @default.
- W1520424600 hasOpenAccess W1520424600 @default.
- W1520424600 hasPrimaryLocation W15204246001 @default.
- W1520424600 hasRelatedWork W1483012440 @default.
- W1520424600 hasRelatedWork W1486389616 @default.
- W1520424600 hasRelatedWork W1949943063 @default.
- W1520424600 hasRelatedWork W2096121571 @default.
- W1520424600 hasRelatedWork W2098508444 @default.
- W1520424600 hasRelatedWork W2102791214 @default.
- W1520424600 hasRelatedWork W2104237912 @default.
- W1520424600 hasRelatedWork W2125024536 @default.
- W1520424600 hasRelatedWork W2140308000 @default.
- W1520424600 hasRelatedWork W2142785340 @default.
- W1520424600 hasRelatedWork W2149968564 @default.
- W1520424600 hasRelatedWork W2150255755 @default.
- W1520424600 hasRelatedWork W2159503942 @default.
- W1520424600 hasRelatedWork W2162493591 @default.
- W1520424600 hasRelatedWork W2184595489 @default.
- W1520424600 hasRelatedWork W2493520480 @default.
- W1520424600 hasRelatedWork W2532841296 @default.
- W1520424600 hasRelatedWork W2538647306 @default.
- W1520424600 hasRelatedWork W2765751865 @default.
- W1520424600 hasRelatedWork W2246169376 @default.
- W1520424600 isParatext "false" @default.
- W1520424600 isRetracted "false" @default.
- W1520424600 magId "1520424600" @default.
- W1520424600 workType "book-chapter" @default.