Matches in SemOpenAlex for { <https://semopenalex.org/work/W1551175499> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1551175499 abstract "Recent advances in fabrication technology have pushed the digital designers' perspective towards higher levels of abstraction. Previous work has shown that attribute grammars, used in traditional compiler construction, can also be effectively adopted to describe in a formal and uniform way high-level hardware compilation heuristics, their main advantages being modularity and declarative notation. In this paper, a more abstract form of attribute grammars, relational attribute grammars, are further applied as a framework over which formal hardware verification is performed along with synthesis. The overall hardware design methodology proposed is a novel idea that supports provable correct designs." @default.
- W1551175499 created "2016-06-24" @default.
- W1551175499 creator A5012894628 @default.
- W1551175499 creator A5089110665 @default.
- W1551175499 date "1999-01-01" @default.
- W1551175499 modified "2023-09-26" @default.
- W1551175499 title "Refinement and Property Checking in High-Level Synthesis Using Attribute Grammars" @default.
- W1551175499 cites W1488707042 @default.
- W1551175499 cites W1964071625 @default.
- W1551175499 cites W1965444518 @default.
- W1551175499 cites W2043548135 @default.
- W1551175499 cites W2060116609 @default.
- W1551175499 cites W2121367682 @default.
- W1551175499 cites W2134354173 @default.
- W1551175499 cites W2134963129 @default.
- W1551175499 cites W2138092512 @default.
- W1551175499 cites W2166705961 @default.
- W1551175499 cites W2493328864 @default.
- W1551175499 doi "https://doi.org/10.1007/3-540-48153-2_27" @default.
- W1551175499 hasPublicationYear "1999" @default.
- W1551175499 type Work @default.
- W1551175499 sameAs 1551175499 @default.
- W1551175499 citedByCount "0" @default.
- W1551175499 crossrefType "book-chapter" @default.
- W1551175499 hasAuthorship W1551175499A5012894628 @default.
- W1551175499 hasAuthorship W1551175499A5089110665 @default.
- W1551175499 hasBestOaLocation W15511754991 @default.
- W1551175499 hasConcept C111472728 @default.
- W1551175499 hasConcept C111919701 @default.
- W1551175499 hasConcept C124304363 @default.
- W1551175499 hasConcept C127705205 @default.
- W1551175499 hasConcept C138885662 @default.
- W1551175499 hasConcept C154945302 @default.
- W1551175499 hasConcept C169590947 @default.
- W1551175499 hasConcept C186644900 @default.
- W1551175499 hasConcept C189950617 @default.
- W1551175499 hasConcept C199360897 @default.
- W1551175499 hasConcept C2779478453 @default.
- W1551175499 hasConcept C41008148 @default.
- W1551175499 hasConcept C53893814 @default.
- W1551175499 hasConcept C54355233 @default.
- W1551175499 hasConcept C67621940 @default.
- W1551175499 hasConcept C80444323 @default.
- W1551175499 hasConcept C86803240 @default.
- W1551175499 hasConcept C97212296 @default.
- W1551175499 hasConceptScore W1551175499C111472728 @default.
- W1551175499 hasConceptScore W1551175499C111919701 @default.
- W1551175499 hasConceptScore W1551175499C124304363 @default.
- W1551175499 hasConceptScore W1551175499C127705205 @default.
- W1551175499 hasConceptScore W1551175499C138885662 @default.
- W1551175499 hasConceptScore W1551175499C154945302 @default.
- W1551175499 hasConceptScore W1551175499C169590947 @default.
- W1551175499 hasConceptScore W1551175499C186644900 @default.
- W1551175499 hasConceptScore W1551175499C189950617 @default.
- W1551175499 hasConceptScore W1551175499C199360897 @default.
- W1551175499 hasConceptScore W1551175499C2779478453 @default.
- W1551175499 hasConceptScore W1551175499C41008148 @default.
- W1551175499 hasConceptScore W1551175499C53893814 @default.
- W1551175499 hasConceptScore W1551175499C54355233 @default.
- W1551175499 hasConceptScore W1551175499C67621940 @default.
- W1551175499 hasConceptScore W1551175499C80444323 @default.
- W1551175499 hasConceptScore W1551175499C86803240 @default.
- W1551175499 hasConceptScore W1551175499C97212296 @default.
- W1551175499 hasLocation W15511754991 @default.
- W1551175499 hasOpenAccess W1551175499 @default.
- W1551175499 hasPrimaryLocation W15511754991 @default.
- W1551175499 hasRelatedWork W1485162873 @default.
- W1551175499 hasRelatedWork W1501086567 @default.
- W1551175499 hasRelatedWork W1541268280 @default.
- W1551175499 hasRelatedWork W1643671240 @default.
- W1551175499 hasRelatedWork W168800062 @default.
- W1551175499 hasRelatedWork W17627856 @default.
- W1551175499 hasRelatedWork W1992184515 @default.
- W1551175499 hasRelatedWork W2000137537 @default.
- W1551175499 hasRelatedWork W2012373058 @default.
- W1551175499 hasRelatedWork W2021137769 @default.
- W1551175499 hasRelatedWork W2040266445 @default.
- W1551175499 hasRelatedWork W2046666535 @default.
- W1551175499 hasRelatedWork W2051895080 @default.
- W1551175499 hasRelatedWork W2053312945 @default.
- W1551175499 hasRelatedWork W2112185798 @default.
- W1551175499 hasRelatedWork W2116970824 @default.
- W1551175499 hasRelatedWork W2169961956 @default.
- W1551175499 hasRelatedWork W2217148334 @default.
- W1551175499 hasRelatedWork W2580520424 @default.
- W1551175499 hasRelatedWork W86717647 @default.
- W1551175499 isParatext "false" @default.
- W1551175499 isRetracted "false" @default.
- W1551175499 magId "1551175499" @default.
- W1551175499 workType "book-chapter" @default.