Matches in SemOpenAlex for { <https://semopenalex.org/work/W2121497215> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2121497215 endingPage "21" @default.
- W2121497215 startingPage "16" @default.
- W2121497215 abstract "Presents a new interactive tool for the guided synthesis of digital signal processing hardware. The tool is driven from a HDL. It will suggest different ways of implementing different architectures for the same specification, maintaining the correctness of implementations during the design process. The tool will automatically generate input for the Boyer Moore theorem prover from the HDL specification in order to verify the correctness of the implementations. >" @default.
- W2121497215 created "2016-06-24" @default.
- W2121497215 creator A5031537306 @default.
- W2121497215 creator A5069324833 @default.
- W2121497215 creator A5087712542 @default.
- W2121497215 date "1991-02-25" @default.
- W2121497215 modified "2023-09-28" @default.
- W2121497215 title "Correct interactive transformational synthesis of DSP hardware" @default.
- W2121497215 cites W2074537610 @default.
- W2121497215 cites W2093032919 @default.
- W2121497215 cites W2099078002 @default.
- W2121497215 cites W2105998540 @default.
- W2121497215 cites W2145618033 @default.
- W2121497215 cites W49954648 @default.
- W2121497215 cites W2483882276 @default.
- W2121497215 doi "https://doi.org/10.5555/951513.951517" @default.
- W2121497215 hasPublicationYear "1991" @default.
- W2121497215 type Work @default.
- W2121497215 sameAs 2121497215 @default.
- W2121497215 citedByCount "2" @default.
- W2121497215 crossrefType "proceedings-article" @default.
- W2121497215 hasAuthorship W2121497215A5031537306 @default.
- W2121497215 hasAuthorship W2121497215A5069324833 @default.
- W2121497215 hasAuthorship W2121497215A5087712542 @default.
- W2121497215 hasConcept C114614502 @default.
- W2121497215 hasConcept C118524514 @default.
- W2121497215 hasConcept C149635348 @default.
- W2121497215 hasConcept C199360897 @default.
- W2121497215 hasConcept C26713055 @default.
- W2121497215 hasConcept C33923547 @default.
- W2121497215 hasConcept C41008148 @default.
- W2121497215 hasConcept C42143788 @default.
- W2121497215 hasConcept C42935608 @default.
- W2121497215 hasConcept C55439883 @default.
- W2121497215 hasConcept C58013763 @default.
- W2121497215 hasConcept C74193536 @default.
- W2121497215 hasConcept C84462506 @default.
- W2121497215 hasConcept C9390403 @default.
- W2121497215 hasConcept C98045186 @default.
- W2121497215 hasConceptScore W2121497215C114614502 @default.
- W2121497215 hasConceptScore W2121497215C118524514 @default.
- W2121497215 hasConceptScore W2121497215C149635348 @default.
- W2121497215 hasConceptScore W2121497215C199360897 @default.
- W2121497215 hasConceptScore W2121497215C26713055 @default.
- W2121497215 hasConceptScore W2121497215C33923547 @default.
- W2121497215 hasConceptScore W2121497215C41008148 @default.
- W2121497215 hasConceptScore W2121497215C42143788 @default.
- W2121497215 hasConceptScore W2121497215C42935608 @default.
- W2121497215 hasConceptScore W2121497215C55439883 @default.
- W2121497215 hasConceptScore W2121497215C58013763 @default.
- W2121497215 hasConceptScore W2121497215C74193536 @default.
- W2121497215 hasConceptScore W2121497215C84462506 @default.
- W2121497215 hasConceptScore W2121497215C9390403 @default.
- W2121497215 hasConceptScore W2121497215C98045186 @default.
- W2121497215 hasLocation W21214972151 @default.
- W2121497215 hasOpenAccess W2121497215 @default.
- W2121497215 hasPrimaryLocation W21214972151 @default.
- W2121497215 hasRelatedWork W1528726807 @default.
- W2121497215 hasRelatedWork W1641129812 @default.
- W2121497215 hasRelatedWork W1894614703 @default.
- W2121497215 hasRelatedWork W1966659353 @default.
- W2121497215 hasRelatedWork W1988432297 @default.
- W2121497215 hasRelatedWork W2014168931 @default.
- W2121497215 hasRelatedWork W2037781273 @default.
- W2121497215 hasRelatedWork W2044813061 @default.
- W2121497215 hasRelatedWork W2107442073 @default.
- W2121497215 hasRelatedWork W2109067132 @default.
- W2121497215 hasRelatedWork W2111166277 @default.
- W2121497215 hasRelatedWork W2122000255 @default.
- W2121497215 hasRelatedWork W2127058216 @default.
- W2121497215 hasRelatedWork W2129873456 @default.
- W2121497215 hasRelatedWork W2130116292 @default.
- W2121497215 hasRelatedWork W2157235056 @default.
- W2121497215 hasRelatedWork W2157431263 @default.
- W2121497215 hasRelatedWork W2170422875 @default.
- W2121497215 hasRelatedWork W3141277648 @default.
- W2121497215 hasRelatedWork W2115348053 @default.
- W2121497215 isParatext "false" @default.
- W2121497215 isRetracted "false" @default.
- W2121497215 magId "2121497215" @default.
- W2121497215 workType "article" @default.