Matches in SemOpenAlex for { <https://semopenalex.org/work/W2071567894> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2071567894 endingPage "165" @default.
- W2071567894 startingPage "165" @default.
- W2071567894 abstract "A novel field programmable gate array (FPGA) logic synthesis technique that determines if a logic function can be implemented in a given programmable circuit is presented, and how this problem can be formalised and solved using quantified Boolean satisfiability is described. 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 is the FPGA programmable logic block evaluation and the results show that this tool allows radical new features of FPGA logic blocks to be evaluated in a rigorous scientific way." @default.
- W2071567894 created "2016-06-24" @default.
- W2071567894 creator A5020318966 @default.
- W2071567894 creator A5021525043 @default.
- W2071567894 creator A5038572733 @default.
- W2071567894 date "2006-01-01" @default.
- W2071567894 modified "2023-09-27" @default.
- W2071567894 title "FPGA programmable logic block evaluation using quantified Boolean satisfiability" @default.
- W2071567894 cites W1523051745 @default.
- W2071567894 cites W1985457698 @default.
- W2071567894 cites W2045726766 @default.
- W2071567894 cites W2105715355 @default.
- W2071567894 cites W2115967254 @default.
- W2071567894 cites W2160444875 @default.
- W2071567894 doi "https://doi.org/10.1049/ip-cdt:20050164" @default.
- W2071567894 hasPublicationYear "2006" @default.
- W2071567894 type Work @default.
- W2071567894 sameAs 2071567894 @default.
- W2071567894 citedByCount "5" @default.
- W2071567894 countsByYear W20715678942012 @default.
- W2071567894 countsByYear W20715678942013 @default.
- W2071567894 countsByYear W20715678942017 @default.
- W2071567894 crossrefType "journal-article" @default.
- W2071567894 hasAuthorship W2071567894A5020318966 @default.
- W2071567894 hasAuthorship W2071567894A5021525043 @default.
- W2071567894 hasAuthorship W2071567894A5038572733 @default.
- W2071567894 hasConcept C110050671 @default.
- W2071567894 hasConcept C113323844 @default.
- W2071567894 hasConcept C11413529 @default.
- W2071567894 hasConcept C128315158 @default.
- W2071567894 hasConcept C131017901 @default.
- W2071567894 hasConcept C142278197 @default.
- W2071567894 hasConcept C157922185 @default.
- W2071567894 hasConcept C162454741 @default.
- W2071567894 hasConcept C182322920 @default.
- W2071567894 hasConcept C187455244 @default.
- W2071567894 hasConcept C206274596 @default.
- W2071567894 hasConcept C2524010 @default.
- W2071567894 hasConcept C2777210771 @default.
- W2071567894 hasConcept C2778325283 @default.
- W2071567894 hasConcept C28449271 @default.
- W2071567894 hasConcept C33923547 @default.
- W2071567894 hasConcept C34370810 @default.
- W2071567894 hasConcept C41008148 @default.
- W2071567894 hasConcept C42935608 @default.
- W2071567894 hasConcept C6943359 @default.
- W2071567894 hasConcept C9390403 @default.
- W2071567894 hasConceptScore W2071567894C110050671 @default.
- W2071567894 hasConceptScore W2071567894C113323844 @default.
- W2071567894 hasConceptScore W2071567894C11413529 @default.
- W2071567894 hasConceptScore W2071567894C128315158 @default.
- W2071567894 hasConceptScore W2071567894C131017901 @default.
- W2071567894 hasConceptScore W2071567894C142278197 @default.
- W2071567894 hasConceptScore W2071567894C157922185 @default.
- W2071567894 hasConceptScore W2071567894C162454741 @default.
- W2071567894 hasConceptScore W2071567894C182322920 @default.
- W2071567894 hasConceptScore W2071567894C187455244 @default.
- W2071567894 hasConceptScore W2071567894C206274596 @default.
- W2071567894 hasConceptScore W2071567894C2524010 @default.
- W2071567894 hasConceptScore W2071567894C2777210771 @default.
- W2071567894 hasConceptScore W2071567894C2778325283 @default.
- W2071567894 hasConceptScore W2071567894C28449271 @default.
- W2071567894 hasConceptScore W2071567894C33923547 @default.
- W2071567894 hasConceptScore W2071567894C34370810 @default.
- W2071567894 hasConceptScore W2071567894C41008148 @default.
- W2071567894 hasConceptScore W2071567894C42935608 @default.
- W2071567894 hasConceptScore W2071567894C6943359 @default.
- W2071567894 hasConceptScore W2071567894C9390403 @default.
- W2071567894 hasIssue "3" @default.
- W2071567894 hasLocation W20715678941 @default.
- W2071567894 hasOpenAccess W2071567894 @default.
- W2071567894 hasPrimaryLocation W20715678941 @default.
- W2071567894 hasRelatedWork W1528933814 @default.
- W2071567894 hasRelatedWork W1904803855 @default.
- W2071567894 hasRelatedWork W2028109223 @default.
- W2071567894 hasRelatedWork W2071567894 @default.
- W2071567894 hasRelatedWork W2118828191 @default.
- W2071567894 hasRelatedWork W2139569078 @default.
- W2071567894 hasRelatedWork W2182398074 @default.
- W2071567894 hasRelatedWork W3013792460 @default.
- W2071567894 hasRelatedWork W3023652529 @default.
- W2071567894 hasRelatedWork W3117015220 @default.
- W2071567894 hasVolume "153" @default.
- W2071567894 isParatext "false" @default.
- W2071567894 isRetracted "false" @default.
- W2071567894 magId "2071567894" @default.
- W2071567894 workType "article" @default.