Matches in SemOpenAlex for { <https://semopenalex.org/work/W2363553670> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2363553670 abstract "In Bus-based on-chip system(SOC),kinds of IP cores are interconnected by On-chip-bus(OCB) and the data interactive is to comply with the bus protocol.As a core technology in SOC,the chip bus protocol greatly determines reliability in SOC.The characteristic and complexity bring great challenge for formal analysis and verification.In this paper,the Avalon Onchip-bus was used as an example,and an efficient way for formal analysis of the system on a programmable bus protocol was developed.Firstly,the information was abstractly extracted according to the protocol specification,and the mode of finite state machine for Avalon bus protocol was created.At the same time the interrelated properties of the protocol was strictly described by computation tree logic.Finally,the properties were analyzed and verified by the mode checking tool of SMV.The result of verification shows that the basic properties of the Avalon bus protocol were well kept and the potential flaws in design were not to arise in the multi-task system of Avalon bus." @default.
- W2363553670 created "2016-06-24" @default.
- W2363553670 creator A5036224495 @default.
- W2363553670 date "2009-01-01" @default.
- W2363553670 modified "2023-09-23" @default.
- W2363553670 title "Formal Modeling and Model Checking Analysis of the Avalon System-on-Chip Bus Protocol" @default.
- W2363553670 hasPublicationYear "2009" @default.
- W2363553670 type Work @default.
- W2363553670 sameAs 2363553670 @default.
- W2363553670 citedByCount "0" @default.
- W2363553670 crossrefType "journal-article" @default.
- W2363553670 hasAuthorship W2363553670A5036224495 @default.
- W2363553670 hasConcept C110251889 @default.
- W2363553670 hasConcept C111919701 @default.
- W2363553670 hasConcept C118021083 @default.
- W2363553670 hasConcept C121013533 @default.
- W2363553670 hasConcept C121332964 @default.
- W2363553670 hasConcept C12269588 @default.
- W2363553670 hasConcept C136321198 @default.
- W2363553670 hasConcept C142724271 @default.
- W2363553670 hasConcept C149635348 @default.
- W2363553670 hasConcept C163258240 @default.
- W2363553670 hasConcept C167822520 @default.
- W2363553670 hasConcept C199360897 @default.
- W2363553670 hasConcept C201762086 @default.
- W2363553670 hasConcept C202015219 @default.
- W2363553670 hasConcept C203315745 @default.
- W2363553670 hasConcept C204787440 @default.
- W2363553670 hasConcept C2780385302 @default.
- W2363553670 hasConcept C41008148 @default.
- W2363553670 hasConcept C43214815 @default.
- W2363553670 hasConcept C54609922 @default.
- W2363553670 hasConcept C62520636 @default.
- W2363553670 hasConcept C71924100 @default.
- W2363553670 hasConcept C80444323 @default.
- W2363553670 hasConcept C90690999 @default.
- W2363553670 hasConcept C9390403 @default.
- W2363553670 hasConceptScore W2363553670C110251889 @default.
- W2363553670 hasConceptScore W2363553670C111919701 @default.
- W2363553670 hasConceptScore W2363553670C118021083 @default.
- W2363553670 hasConceptScore W2363553670C121013533 @default.
- W2363553670 hasConceptScore W2363553670C121332964 @default.
- W2363553670 hasConceptScore W2363553670C12269588 @default.
- W2363553670 hasConceptScore W2363553670C136321198 @default.
- W2363553670 hasConceptScore W2363553670C142724271 @default.
- W2363553670 hasConceptScore W2363553670C149635348 @default.
- W2363553670 hasConceptScore W2363553670C163258240 @default.
- W2363553670 hasConceptScore W2363553670C167822520 @default.
- W2363553670 hasConceptScore W2363553670C199360897 @default.
- W2363553670 hasConceptScore W2363553670C201762086 @default.
- W2363553670 hasConceptScore W2363553670C202015219 @default.
- W2363553670 hasConceptScore W2363553670C203315745 @default.
- W2363553670 hasConceptScore W2363553670C204787440 @default.
- W2363553670 hasConceptScore W2363553670C2780385302 @default.
- W2363553670 hasConceptScore W2363553670C41008148 @default.
- W2363553670 hasConceptScore W2363553670C43214815 @default.
- W2363553670 hasConceptScore W2363553670C54609922 @default.
- W2363553670 hasConceptScore W2363553670C62520636 @default.
- W2363553670 hasConceptScore W2363553670C71924100 @default.
- W2363553670 hasConceptScore W2363553670C80444323 @default.
- W2363553670 hasConceptScore W2363553670C90690999 @default.
- W2363553670 hasConceptScore W2363553670C9390403 @default.
- W2363553670 hasLocation W23635536701 @default.
- W2363553670 hasOpenAccess W2363553670 @default.
- W2363553670 hasPrimaryLocation W23635536701 @default.
- W2363553670 hasRelatedWork W1968543050 @default.
- W2363553670 hasRelatedWork W2032570700 @default.
- W2363553670 hasRelatedWork W2046261490 @default.
- W2363553670 hasRelatedWork W2047870111 @default.
- W2363553670 hasRelatedWork W2130435747 @default.
- W2363553670 hasRelatedWork W2352922170 @default.
- W2363553670 hasRelatedWork W2363547422 @default.
- W2363553670 hasRelatedWork W2364490062 @default.
- W2363553670 hasRelatedWork W2373693399 @default.
- W2363553670 hasRelatedWork W2379955064 @default.
- W2363553670 hasRelatedWork W2912891518 @default.
- W2363553670 hasRelatedWork W3141383821 @default.
- W2363553670 hasRelatedWork W2401041774 @default.
- W2363553670 hasRelatedWork W2811908921 @default.
- W2363553670 hasRelatedWork W2821861215 @default.
- W2363553670 hasRelatedWork W2823840671 @default.
- W2363553670 hasRelatedWork W2862295499 @default.
- W2363553670 hasRelatedWork W2881712003 @default.
- W2363553670 hasRelatedWork W2986933123 @default.
- W2363553670 hasRelatedWork W3180210691 @default.
- W2363553670 isParatext "false" @default.
- W2363553670 isRetracted "false" @default.
- W2363553670 magId "2363553670" @default.
- W2363553670 workType "article" @default.