FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116438538> ?p ?o ?g. }

• W2116438538 abstract "Owing to the recent trend of using application-specific instruction-set processors (ASIP), many architecture description languages (ADLs) have been created. They specify architectures or microarchitectures of processors, and automate tasks including circuit implementation, simulation, retargetable compilation and formal verification. This paper first gives an overview of the existing ADLs. This paper argues that for an ADL to be capable of rigorously specifying a processor, it must be based on a solid foundation which we call the architecture model. The existing ADLs feature a wide variety of formal and ad-hoc architecture models which confines the flexibility and analyzability of the ADLs in one way or another. This paper then discusses the operation state machine (OSM) model, the result of our first attempt to create high-level processor models. The model has features balanced flexibility and analyzability for use in architecture space exploration frameworks for ASIPs. This paper also describes the use of the OSM model in the Mescal architecture description language (MADL), an open-source ADL framework that we developed. Lastly, it points out the potential application of formal verification techniques on OSM" @default.
• W2116438538 created "2016-06-24" @default.
• W2116438538 creator A5044155921 @default.
• W2116438538 creator A5085975362 @default.
• W2116438538 date "2005-11-01" @default.
• W2116438538 modified "2023-09-23" @default.
• W2116438538 title "A Study of Architecture Description Languages from a Model-based Perspective" @default.
• W2116438538 cites W1608252846 @default.
• W2116438538 cites W1639923106 @default.
• W2116438538 cites W1823084595 @default.
• W2116438538 cites W1996109622 @default.
• W2116438538 cites W2004148575 @default.
• W2116438538 cites W2013359497 @default.
• W2116438538 cites W2060461359 @default.
• W2116438538 cites W2089507843 @default.
• W2116438538 cites W2097117297 @default.
• W2116438538 cites W2104225326 @default.
• W2116438538 cites W2116608881 @default.
• W2116438538 cites W2119583160 @default.
• W2116438538 cites W2141930736 @default.
• W2116438538 cites W2146147106 @default.
• W2116438538 cites W2166358385 @default.
• W2116438538 cites W2402419031 @default.
• W2116438538 cites W4230144752 @default.
• W2116438538 cites W4231517789 @default.
• W2116438538 cites W4232825727 @default.
• W2116438538 cites W4234669735 @default.
• W2116438538 cites W4238404753 @default.
• W2116438538 cites W4239829442 @default.
• W2116438538 cites W4244687505 @default.
• W2116438538 cites W4246347036 @default.
• W2116438538 cites W4249267688 @default.
• W2116438538 cites W4251325601 @default.
• W2116438538 doi "https://doi.org/10.1109/mtv.2005.2" @default.
• W2116438538 hasPublicationYear "2005" @default.
• W2116438538 type Work @default.
• W2116438538 sameAs 2116438538 @default.
• W2116438538 citedByCount "7" @default.
• W2116438538 countsByYear W21164385382012 @default.
• W2116438538 countsByYear W21164385382015 @default.
• W2116438538 countsByYear W21164385382016 @default.
• W2116438538 crossrefType "proceedings-article" @default.
• W2116438538 hasAuthorship W2116438538A5044155921 @default.
• W2116438538 hasAuthorship W2116438538A5085975362 @default.
• W2116438538 hasConcept C105795698 @default.
• W2116438538 hasConcept C115903868 @default.
• W2116438538 hasConcept C118524514 @default.
• W2116438538 hasConcept C123657996 @default.
• W2116438538 hasConcept C136197465 @default.
• W2116438538 hasConcept C142362112 @default.
• W2116438538 hasConcept C149635348 @default.
• W2116438538 hasConcept C153349607 @default.
• W2116438538 hasConcept C154240960 @default.
• W2116438538 hasConcept C154945302 @default.
• W2116438538 hasConcept C177264268 @default.
• W2116438538 hasConcept C185245429 @default.
• W2116438538 hasConcept C199360897 @default.
• W2116438538 hasConcept C202491316 @default.
• W2116438538 hasConcept C2776221188 @default.
• W2116438538 hasConcept C2777904410 @default.
• W2116438538 hasConcept C2780598303 @default.
• W2116438538 hasConcept C33923547 @default.
• W2116438538 hasConcept C35869016 @default.
• W2116438538 hasConcept C41008148 @default.
• W2116438538 hasConcept C55356503 @default.
• W2116438538 hasConcept C73219336 @default.
• W2116438538 hasConceptScore W2116438538C105795698 @default.
• W2116438538 hasConceptScore W2116438538C115903868 @default.
• W2116438538 hasConceptScore W2116438538C118524514 @default.
• W2116438538 hasConceptScore W2116438538C123657996 @default.
• W2116438538 hasConceptScore W2116438538C136197465 @default.
• W2116438538 hasConceptScore W2116438538C142362112 @default.
• W2116438538 hasConceptScore W2116438538C149635348 @default.
• W2116438538 hasConceptScore W2116438538C153349607 @default.
• W2116438538 hasConceptScore W2116438538C154240960 @default.
• W2116438538 hasConceptScore W2116438538C154945302 @default.
• W2116438538 hasConceptScore W2116438538C177264268 @default.
• W2116438538 hasConceptScore W2116438538C185245429 @default.
• W2116438538 hasConceptScore W2116438538C199360897 @default.
• W2116438538 hasConceptScore W2116438538C202491316 @default.
• W2116438538 hasConceptScore W2116438538C2776221188 @default.
• W2116438538 hasConceptScore W2116438538C2777904410 @default.
• W2116438538 hasConceptScore W2116438538C2780598303 @default.
• W2116438538 hasConceptScore W2116438538C33923547 @default.
• W2116438538 hasConceptScore W2116438538C35869016 @default.
• W2116438538 hasConceptScore W2116438538C41008148 @default.
• W2116438538 hasConceptScore W2116438538C55356503 @default.
• W2116438538 hasConceptScore W2116438538C73219336 @default.
• W2116438538 hasLocation W21164385381 @default.
• W2116438538 hasOpenAccess W2116438538 @default.
• W2116438538 hasPrimaryLocation W21164385381 @default.
• W2116438538 hasRelatedWork W1985747777 @default.
• W2116438538 hasRelatedWork W2090017508 @default.
• W2116438538 hasRelatedWork W2116438538 @default.
• W2116438538 hasRelatedWork W2152218510 @default.
• W2116438538 hasRelatedWork W2390860431 @default.
• W2116438538 hasRelatedWork W2398195945 @default.
• W2116438538 hasRelatedWork W2469341032 @default.
• W2116438538 hasRelatedWork W2481263641 @default.
• W2116438538 hasRelatedWork W2550108858 @default.

• next