Matches in SemOpenAlex for { <https://semopenalex.org/work/W2170288398> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2170288398 endingPage "450" @default.
- W2170288398 startingPage "444" @default.
- W2170288398 abstract "This paper describes a novel Field Programmable Gate Array (FPGA) logic synthesis technique which determines if a logic function can be implemented in a given programmable circuit and describes how this problem can be formalized and solved using Quantified Boolean Satisfiability. This technique is general enough to be applied to any type of logic function and programmable circuit; thus, it has many applications to FPGAs. The applications demonstrated in this paper include FPGA technology mapping and resynthesis where their results show significant FPGA performance improvements." @default.
- W2170288398 created "2016-06-24" @default.
- W2170288398 creator A5020318966 @default.
- W2170288398 creator A5021525043 @default.
- W2170288398 creator A5038572733 @default.
- W2170288398 date "2005-01-01" @default.
- W2170288398 modified "2023-09-27" @default.
- W2170288398 title "FPGA Logic Synthesis Using Quantified Boolean Satisfiability" @default.
- W2170288398 cites W1822320350 @default.
- W2170288398 cites W2124618076 @default.
- W2170288398 cites W2142785340 @default.
- W2170288398 cites W2160444875 @default.
- W2170288398 cites W4244690874 @default.
- W2170288398 doi "https://doi.org/10.1007/11499107_37" @default.
- W2170288398 hasPublicationYear "2005" @default.
- W2170288398 type Work @default.
- W2170288398 sameAs 2170288398 @default.
- W2170288398 citedByCount "22" @default.
- W2170288398 countsByYear W21702883982013 @default.
- W2170288398 countsByYear W21702883982014 @default.
- W2170288398 countsByYear W21702883982015 @default.
- W2170288398 countsByYear W21702883982016 @default.
- W2170288398 countsByYear W21702883982019 @default.
- W2170288398 countsByYear W21702883982020 @default.
- W2170288398 crossrefType "book-chapter" @default.
- W2170288398 hasAuthorship W2170288398A5020318966 @default.
- W2170288398 hasAuthorship W2170288398A5021525043 @default.
- W2170288398 hasAuthorship W2170288398A5038572733 @default.
- W2170288398 hasConcept C113323844 @default.
- W2170288398 hasConcept C11413529 @default.
- W2170288398 hasConcept C118524514 @default.
- W2170288398 hasConcept C128315158 @default.
- W2170288398 hasConcept C131017901 @default.
- W2170288398 hasConcept C14036430 @default.
- W2170288398 hasConcept C157922185 @default.
- W2170288398 hasConcept C162454741 @default.
- W2170288398 hasConcept C168773769 @default.
- W2170288398 hasConcept C182322920 @default.
- W2170288398 hasConcept C187455244 @default.
- W2170288398 hasConcept C206274596 @default.
- W2170288398 hasConcept C2778325283 @default.
- W2170288398 hasConcept C34370810 @default.
- W2170288398 hasConcept C41008148 @default.
- W2170288398 hasConcept C42935608 @default.
- W2170288398 hasConcept C6943359 @default.
- W2170288398 hasConcept C78458016 @default.
- W2170288398 hasConcept C86803240 @default.
- W2170288398 hasConcept C9390403 @default.
- W2170288398 hasConceptScore W2170288398C113323844 @default.
- W2170288398 hasConceptScore W2170288398C11413529 @default.
- W2170288398 hasConceptScore W2170288398C118524514 @default.
- W2170288398 hasConceptScore W2170288398C128315158 @default.
- W2170288398 hasConceptScore W2170288398C131017901 @default.
- W2170288398 hasConceptScore W2170288398C14036430 @default.
- W2170288398 hasConceptScore W2170288398C157922185 @default.
- W2170288398 hasConceptScore W2170288398C162454741 @default.
- W2170288398 hasConceptScore W2170288398C168773769 @default.
- W2170288398 hasConceptScore W2170288398C182322920 @default.
- W2170288398 hasConceptScore W2170288398C187455244 @default.
- W2170288398 hasConceptScore W2170288398C206274596 @default.
- W2170288398 hasConceptScore W2170288398C2778325283 @default.
- W2170288398 hasConceptScore W2170288398C34370810 @default.
- W2170288398 hasConceptScore W2170288398C41008148 @default.
- W2170288398 hasConceptScore W2170288398C42935608 @default.
- W2170288398 hasConceptScore W2170288398C6943359 @default.
- W2170288398 hasConceptScore W2170288398C78458016 @default.
- W2170288398 hasConceptScore W2170288398C86803240 @default.
- W2170288398 hasConceptScore W2170288398C9390403 @default.
- W2170288398 hasLocation W21702883981 @default.
- W2170288398 hasOpenAccess W2170288398 @default.
- W2170288398 hasPrimaryLocation W21702883981 @default.
- W2170288398 hasRelatedWork W1533253004 @default.
- W2170288398 hasRelatedWork W1541210136 @default.
- W2170288398 hasRelatedWork W2071567894 @default.
- W2170288398 hasRelatedWork W2102341772 @default.
- W2170288398 hasRelatedWork W2131972012 @default.
- W2170288398 hasRelatedWork W2135636985 @default.
- W2170288398 hasRelatedWork W2170288398 @default.
- W2170288398 hasRelatedWork W2182398074 @default.
- W2170288398 hasRelatedWork W2534453537 @default.
- W2170288398 hasRelatedWork W3023652529 @default.
- W2170288398 isParatext "false" @default.
- W2170288398 isRetracted "false" @default.
- W2170288398 magId "2170288398" @default.
- W2170288398 workType "book-chapter" @default.