Matches in SemOpenAlex for { <https://semopenalex.org/work/W1500339996> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1500339996 endingPage "91" @default.
- W1500339996 startingPage "80" @default.
- W1500339996 abstract "Working at system level is attracting increasing interest. New issues must be taken into account, such as validation and verification at all steps. This paper presents a system-level design methodology that supports verification. Starting from a description in a proper subset of VHDL, a Petri Net description is obtained and used for validation purposes and for building the corresponding automaton. An efficient BDD-based tool for Process Algebra manipulation supports formal equivalence proofs. Experimental results show that the approach is feasible also for real-size industrial cases.KeywordsLabel Transition SystemHardware Description LanguageSymbolic Model CheckElementary Building BlockVHDL DescriptionThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1500339996 created "2016-06-24" @default.
- W1500339996 creator A5036258272 @default.
- W1500339996 creator A5060510787 @default.
- W1500339996 creator A5082103190 @default.
- W1500339996 date "2005-11-23" @default.
- W1500339996 modified "2023-09-26" @default.
- W1500339996 title "A methodology for system-level design for verifiability" @default.
- W1500339996 cites W1607877490 @default.
- W1500339996 cites W2034476614 @default.
- W1500339996 cites W2085912345 @default.
- W1500339996 cites W2096039823 @default.
- W1500339996 cites W2111851443 @default.
- W1500339996 cites W2113251992 @default.
- W1500339996 cites W2157144873 @default.
- W1500339996 cites W2176296250 @default.
- W1500339996 cites W2486699035 @default.
- W1500339996 cites W4241866165 @default.
- W1500339996 doi "https://doi.org/10.1007/bfb0021716" @default.
- W1500339996 hasPublicationYear "2005" @default.
- W1500339996 type Work @default.
- W1500339996 sameAs 1500339996 @default.
- W1500339996 citedByCount "4" @default.
- W1500339996 crossrefType "book-chapter" @default.
- W1500339996 hasAuthorship W1500339996A5036258272 @default.
- W1500339996 hasAuthorship W1500339996A5060510787 @default.
- W1500339996 hasAuthorship W1500339996A5082103190 @default.
- W1500339996 hasBestOaLocation W15003399961 @default.
- W1500339996 hasConcept C108710211 @default.
- W1500339996 hasConcept C111498074 @default.
- W1500339996 hasConcept C112505250 @default.
- W1500339996 hasConcept C118615104 @default.
- W1500339996 hasConcept C149635348 @default.
- W1500339996 hasConcept C161771561 @default.
- W1500339996 hasConcept C199360897 @default.
- W1500339996 hasConcept C2524010 @default.
- W1500339996 hasConcept C2780069185 @default.
- W1500339996 hasConcept C33923547 @default.
- W1500339996 hasConcept C36941000 @default.
- W1500339996 hasConcept C38677869 @default.
- W1500339996 hasConcept C41008148 @default.
- W1500339996 hasConcept C42935608 @default.
- W1500339996 hasConcept C75606506 @default.
- W1500339996 hasConcept C80444323 @default.
- W1500339996 hasConcept C96654402 @default.
- W1500339996 hasConceptScore W1500339996C108710211 @default.
- W1500339996 hasConceptScore W1500339996C111498074 @default.
- W1500339996 hasConceptScore W1500339996C112505250 @default.
- W1500339996 hasConceptScore W1500339996C118615104 @default.
- W1500339996 hasConceptScore W1500339996C149635348 @default.
- W1500339996 hasConceptScore W1500339996C161771561 @default.
- W1500339996 hasConceptScore W1500339996C199360897 @default.
- W1500339996 hasConceptScore W1500339996C2524010 @default.
- W1500339996 hasConceptScore W1500339996C2780069185 @default.
- W1500339996 hasConceptScore W1500339996C33923547 @default.
- W1500339996 hasConceptScore W1500339996C36941000 @default.
- W1500339996 hasConceptScore W1500339996C38677869 @default.
- W1500339996 hasConceptScore W1500339996C41008148 @default.
- W1500339996 hasConceptScore W1500339996C42935608 @default.
- W1500339996 hasConceptScore W1500339996C75606506 @default.
- W1500339996 hasConceptScore W1500339996C80444323 @default.
- W1500339996 hasConceptScore W1500339996C96654402 @default.
- W1500339996 hasLocation W15003399961 @default.
- W1500339996 hasOpenAccess W1500339996 @default.
- W1500339996 hasPrimaryLocation W15003399961 @default.
- W1500339996 hasRelatedWork W1491656079 @default.
- W1500339996 hasRelatedWork W206281402 @default.
- W1500339996 hasRelatedWork W2123461258 @default.
- W1500339996 hasRelatedWork W2140312540 @default.
- W1500339996 hasRelatedWork W2163915384 @default.
- W1500339996 hasRelatedWork W2334376961 @default.
- W1500339996 hasRelatedWork W2407327079 @default.
- W1500339996 hasRelatedWork W3147623613 @default.
- W1500339996 hasRelatedWork W4312254064 @default.
- W1500339996 hasRelatedWork W4317837918 @default.
- W1500339996 isParatext "false" @default.
- W1500339996 isRetracted "false" @default.
- W1500339996 magId "1500339996" @default.
- W1500339996 workType "book-chapter" @default.