Matches in SemOpenAlex for { <https://semopenalex.org/work/W2131972012> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2131972012 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 application demonstrated in this paper is FPGA PLB evaluation where their results show that this tool allows radical new features of FPGA logic blocks to be evaluated in a rigorous scientific way." @default.
- W2131972012 created "2016-06-24" @default.
- W2131972012 creator A5020318966 @default.
- W2131972012 creator A5021525043 @default.
- W2131972012 creator A5038572733 @default.
- W2131972012 date "2005-10-12" @default.
- W2131972012 modified "2023-09-27" @default.
- W2131972012 title "FPGA PLB evaluation using quantified boolean satisfiability" @default.
- W2131972012 cites W1514067536 @default.
- W2131972012 cites W1985457698 @default.
- W2131972012 cites W2005573219 @default.
- W2131972012 cites W2105715355 @default.
- W2131972012 cites W2115967254 @default.
- W2131972012 cites W2125609625 @default.
- W2131972012 cites W2136300838 @default.
- W2131972012 cites W2160444875 @default.
- W2131972012 doi "https://doi.org/10.1109/fpl.2005.1515693" @default.
- W2131972012 hasPublicationYear "2005" @default.
- W2131972012 type Work @default.
- W2131972012 sameAs 2131972012 @default.
- W2131972012 citedByCount "7" @default.
- W2131972012 countsByYear W21319720122013 @default.
- W2131972012 countsByYear W21319720122015 @default.
- W2131972012 countsByYear W21319720122021 @default.
- W2131972012 countsByYear W21319720122023 @default.
- W2131972012 crossrefType "proceedings-article" @default.
- W2131972012 hasAuthorship W2131972012A5020318966 @default.
- W2131972012 hasAuthorship W2131972012A5021525043 @default.
- W2131972012 hasAuthorship W2131972012A5038572733 @default.
- W2131972012 hasConcept C113323844 @default.
- W2131972012 hasConcept C11413529 @default.
- W2131972012 hasConcept C128315158 @default.
- W2131972012 hasConcept C131017901 @default.
- W2131972012 hasConcept C14036430 @default.
- W2131972012 hasConcept C157922185 @default.
- W2131972012 hasConcept C168773769 @default.
- W2131972012 hasConcept C182322920 @default.
- W2131972012 hasConcept C187455244 @default.
- W2131972012 hasConcept C206274596 @default.
- W2131972012 hasConcept C2778325283 @default.
- W2131972012 hasConcept C28449271 @default.
- W2131972012 hasConcept C41008148 @default.
- W2131972012 hasConcept C42935608 @default.
- W2131972012 hasConcept C6943359 @default.
- W2131972012 hasConcept C78458016 @default.
- W2131972012 hasConcept C86803240 @default.
- W2131972012 hasConcept C9390403 @default.
- W2131972012 hasConceptScore W2131972012C113323844 @default.
- W2131972012 hasConceptScore W2131972012C11413529 @default.
- W2131972012 hasConceptScore W2131972012C128315158 @default.
- W2131972012 hasConceptScore W2131972012C131017901 @default.
- W2131972012 hasConceptScore W2131972012C14036430 @default.
- W2131972012 hasConceptScore W2131972012C157922185 @default.
- W2131972012 hasConceptScore W2131972012C168773769 @default.
- W2131972012 hasConceptScore W2131972012C182322920 @default.
- W2131972012 hasConceptScore W2131972012C187455244 @default.
- W2131972012 hasConceptScore W2131972012C206274596 @default.
- W2131972012 hasConceptScore W2131972012C2778325283 @default.
- W2131972012 hasConceptScore W2131972012C28449271 @default.
- W2131972012 hasConceptScore W2131972012C41008148 @default.
- W2131972012 hasConceptScore W2131972012C42935608 @default.
- W2131972012 hasConceptScore W2131972012C6943359 @default.
- W2131972012 hasConceptScore W2131972012C78458016 @default.
- W2131972012 hasConceptScore W2131972012C86803240 @default.
- W2131972012 hasConceptScore W2131972012C9390403 @default.
- W2131972012 hasLocation W21319720121 @default.
- W2131972012 hasOpenAccess W2131972012 @default.
- W2131972012 hasPrimaryLocation W21319720121 @default.
- W2131972012 hasRelatedWork W1533253004 @default.
- W2131972012 hasRelatedWork W2071567894 @default.
- W2131972012 hasRelatedWork W2106731349 @default.
- W2131972012 hasRelatedWork W2118828191 @default.
- W2131972012 hasRelatedWork W2131972012 @default.
- W2131972012 hasRelatedWork W2139569078 @default.
- W2131972012 hasRelatedWork W2170288398 @default.
- W2131972012 hasRelatedWork W2182398074 @default.
- W2131972012 hasRelatedWork W2246445978 @default.
- W2131972012 hasRelatedWork W3023652529 @default.
- W2131972012 isParatext "false" @default.
- W2131972012 isRetracted "false" @default.
- W2131972012 magId "2131972012" @default.
- W2131972012 workType "article" @default.