Matches in SemOpenAlex for { <https://semopenalex.org/work/W2154393287> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2154393287 endingPage "400" @default.
- W2154393287 startingPage "395" @default.
- W2154393287 abstract "At the Philips Research Laboratories there is a large research effort on silicon compilation for DSP applications. The PIRAMID system is a prototype compiler which is capable of going from specification to layout within a few hours. The input language for PIRAMID has an applicative nature and is called SILAGE. In order to reduce the number of mistakes made during specification a good formal semantics of SILAGE is an absolute necessity. A study into the feasibility of denoting the formal semantics of SILAGE in the mathematical notation of higher order logic revealed several weak points of SILAGE. This paper shows that using mathematical methods one can define a better (with respect to specification/verification purposes) version of SILAGE (SILAGE+) without really adding to the complexity of the PIRAMID compiler. >" @default.
- W2154393287 created "2016-06-24" @default.
- W2154393287 creator A5011941511 @default.
- W2154393287 date "1991-02-25" @default.
- W2154393287 modified "2023-09-26" @default.
- W2154393287 title "Formal methods for silicon compilation" @default.
- W2154393287 cites W1518675260 @default.
- W2154393287 cites W1565996669 @default.
- W2154393287 doi "https://doi.org/10.5555/951513.951599" @default.
- W2154393287 hasPublicationYear "1991" @default.
- W2154393287 type Work @default.
- W2154393287 sameAs 2154393287 @default.
- W2154393287 citedByCount "3" @default.
- W2154393287 crossrefType "proceedings-article" @default.
- W2154393287 hasAuthorship W2154393287A5011941511 @default.
- W2154393287 hasConcept C116253237 @default.
- W2154393287 hasConcept C146499914 @default.
- W2154393287 hasConcept C169590947 @default.
- W2154393287 hasConcept C184337299 @default.
- W2154393287 hasConcept C199360897 @default.
- W2154393287 hasConcept C201677973 @default.
- W2154393287 hasConcept C2776544680 @default.
- W2154393287 hasConcept C33923547 @default.
- W2154393287 hasConcept C41008148 @default.
- W2154393287 hasConcept C45357846 @default.
- W2154393287 hasConcept C6557445 @default.
- W2154393287 hasConcept C75606506 @default.
- W2154393287 hasConcept C80444323 @default.
- W2154393287 hasConcept C86803240 @default.
- W2154393287 hasConcept C94375191 @default.
- W2154393287 hasConceptScore W2154393287C116253237 @default.
- W2154393287 hasConceptScore W2154393287C146499914 @default.
- W2154393287 hasConceptScore W2154393287C169590947 @default.
- W2154393287 hasConceptScore W2154393287C184337299 @default.
- W2154393287 hasConceptScore W2154393287C199360897 @default.
- W2154393287 hasConceptScore W2154393287C201677973 @default.
- W2154393287 hasConceptScore W2154393287C2776544680 @default.
- W2154393287 hasConceptScore W2154393287C33923547 @default.
- W2154393287 hasConceptScore W2154393287C41008148 @default.
- W2154393287 hasConceptScore W2154393287C45357846 @default.
- W2154393287 hasConceptScore W2154393287C6557445 @default.
- W2154393287 hasConceptScore W2154393287C75606506 @default.
- W2154393287 hasConceptScore W2154393287C80444323 @default.
- W2154393287 hasConceptScore W2154393287C86803240 @default.
- W2154393287 hasConceptScore W2154393287C94375191 @default.
- W2154393287 hasLocation W21543932871 @default.
- W2154393287 hasOpenAccess W2154393287 @default.
- W2154393287 hasPrimaryLocation W21543932871 @default.
- W2154393287 hasRelatedWork W1539695139 @default.
- W2154393287 hasRelatedWork W1600692339 @default.
- W2154393287 hasRelatedWork W1704954824 @default.
- W2154393287 hasRelatedWork W1862864466 @default.
- W2154393287 hasRelatedWork W2043858766 @default.
- W2154393287 hasRelatedWork W2044813061 @default.
- W2154393287 hasRelatedWork W2045513957 @default.
- W2154393287 hasRelatedWork W2092677761 @default.
- W2154393287 hasRelatedWork W2096666413 @default.
- W2154393287 hasRelatedWork W2107442073 @default.
- W2154393287 hasRelatedWork W2108500631 @default.
- W2154393287 hasRelatedWork W2109067132 @default.
- W2154393287 hasRelatedWork W2110156811 @default.
- W2154393287 hasRelatedWork W2120819183 @default.
- W2154393287 hasRelatedWork W2145917566 @default.
- W2154393287 hasRelatedWork W2146276986 @default.
- W2154393287 hasRelatedWork W2170422875 @default.
- W2154393287 hasRelatedWork W2492634748 @default.
- W2154393287 hasRelatedWork W2538844384 @default.
- W2154393287 hasRelatedWork W3141277648 @default.
- W2154393287 isParatext "false" @default.
- W2154393287 isRetracted "false" @default.
- W2154393287 magId "2154393287" @default.
- W2154393287 workType "article" @default.