Matches in SemOpenAlex for { <https://semopenalex.org/work/W2071937826> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2071937826 abstract "The basis for RTL-development and verification system is functional device specification. More often bugs are produced when informal transitions from this specification to RTL and verification environment- code are taken by design and validation engineers. In contrast to this traditional approach the formal transition method to RTL-code and verification environment development is introduced, based on device C- model Control-DataFlow Graph (CDFG) analysis. As an example, in this article the introduced formal approach is applied for JPEG2000 model for getting RTL SystemC-code." @default.
- W2071937826 created "2016-06-24" @default.
- W2071937826 creator A5052160806 @default.
- W2071937826 date "2007-02-01" @default.
- W2071937826 modified "2023-09-27" @default.
- W2071937826 title "Formal methods of algorithm analysis for decreasing RTL-verification complexity" @default.
- W2071937826 cites W2100418757 @default.
- W2071937826 doi "https://doi.org/10.1109/cadsm.2007.4297489" @default.
- W2071937826 hasPublicationYear "2007" @default.
- W2071937826 type Work @default.
- W2071937826 sameAs 2071937826 @default.
- W2071937826 citedByCount "0" @default.
- W2071937826 crossrefType "proceedings-article" @default.
- W2071937826 hasAuthorship W2071937826A5052160806 @default.
- W2071937826 hasConcept C110251889 @default.
- W2071937826 hasConcept C111498074 @default.
- W2071937826 hasConcept C11413529 @default.
- W2071937826 hasConcept C116253237 @default.
- W2071937826 hasConcept C118524514 @default.
- W2071937826 hasConcept C149635348 @default.
- W2071937826 hasConcept C177264268 @default.
- W2071937826 hasConcept C186846655 @default.
- W2071937826 hasConcept C187250869 @default.
- W2071937826 hasConcept C199360897 @default.
- W2071937826 hasConcept C2776760102 @default.
- W2071937826 hasConcept C2776928060 @default.
- W2071937826 hasConcept C2777904410 @default.
- W2071937826 hasConcept C3406870 @default.
- W2071937826 hasConcept C41008148 @default.
- W2071937826 hasConcept C42935608 @default.
- W2071937826 hasConcept C529173508 @default.
- W2071937826 hasConcept C58013763 @default.
- W2071937826 hasConcept C62460635 @default.
- W2071937826 hasConcept C75606506 @default.
- W2071937826 hasConcept C96324660 @default.
- W2071937826 hasConcept C96654402 @default.
- W2071937826 hasConceptScore W2071937826C110251889 @default.
- W2071937826 hasConceptScore W2071937826C111498074 @default.
- W2071937826 hasConceptScore W2071937826C11413529 @default.
- W2071937826 hasConceptScore W2071937826C116253237 @default.
- W2071937826 hasConceptScore W2071937826C118524514 @default.
- W2071937826 hasConceptScore W2071937826C149635348 @default.
- W2071937826 hasConceptScore W2071937826C177264268 @default.
- W2071937826 hasConceptScore W2071937826C186846655 @default.
- W2071937826 hasConceptScore W2071937826C187250869 @default.
- W2071937826 hasConceptScore W2071937826C199360897 @default.
- W2071937826 hasConceptScore W2071937826C2776760102 @default.
- W2071937826 hasConceptScore W2071937826C2776928060 @default.
- W2071937826 hasConceptScore W2071937826C2777904410 @default.
- W2071937826 hasConceptScore W2071937826C3406870 @default.
- W2071937826 hasConceptScore W2071937826C41008148 @default.
- W2071937826 hasConceptScore W2071937826C42935608 @default.
- W2071937826 hasConceptScore W2071937826C529173508 @default.
- W2071937826 hasConceptScore W2071937826C58013763 @default.
- W2071937826 hasConceptScore W2071937826C62460635 @default.
- W2071937826 hasConceptScore W2071937826C75606506 @default.
- W2071937826 hasConceptScore W2071937826C96324660 @default.
- W2071937826 hasConceptScore W2071937826C96654402 @default.
- W2071937826 hasLocation W20719378261 @default.
- W2071937826 hasOpenAccess W2071937826 @default.
- W2071937826 hasPrimaryLocation W20719378261 @default.
- W2071937826 hasRelatedWork W1982763467 @default.
- W2071937826 hasRelatedWork W2071937826 @default.
- W2071937826 hasRelatedWork W2079703175 @default.
- W2071937826 hasRelatedWork W2086810569 @default.
- W2071937826 hasRelatedWork W2106035292 @default.
- W2071937826 hasRelatedWork W2106507440 @default.
- W2071937826 hasRelatedWork W2115968267 @default.
- W2071937826 hasRelatedWork W2135756607 @default.
- W2071937826 hasRelatedWork W2141443374 @default.
- W2071937826 hasRelatedWork W2062674085 @default.
- W2071937826 isParatext "false" @default.
- W2071937826 isRetracted "false" @default.
- W2071937826 magId "2071937826" @default.
- W2071937826 workType "article" @default.