Matches in SemOpenAlex for { <https://semopenalex.org/work/W2625893047> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2625893047 abstract "This technical report presents current results and experiencesof the formal verification of VHDL design of Combo6 hardwareaccelerator card. Information about formal verification itselfis enriched by description of transformation from VHDL to theCadence SMV specification language and the system of assertionsestablished as a compact way of communication with VHDLdesigners." @default.
- W2625893047 created "2017-06-23" @default.
- W2625893047 creator A5005344877 @default.
- W2625893047 creator A5023843672 @default.
- W2625893047 creator A5090097391 @default.
- W2625893047 date "2003-01-01" @default.
- W2625893047 modified "2023-10-18" @default.
- W2625893047 title "Verification of COMBO6 VHDL Design" @default.
- W2625893047 hasPublicationYear "2003" @default.
- W2625893047 type Work @default.
- W2625893047 sameAs 2625893047 @default.
- W2625893047 citedByCount "0" @default.
- W2625893047 crossrefType "journal-article" @default.
- W2625893047 hasAuthorship W2625893047A5005344877 @default.
- W2625893047 hasAuthorship W2625893047A5023843672 @default.
- W2625893047 hasAuthorship W2625893047A5090097391 @default.
- W2625893047 hasConcept C111498074 @default.
- W2625893047 hasConcept C115903868 @default.
- W2625893047 hasConcept C127413603 @default.
- W2625893047 hasConcept C149635348 @default.
- W2625893047 hasConcept C186846655 @default.
- W2625893047 hasConcept C199360897 @default.
- W2625893047 hasConcept C24326235 @default.
- W2625893047 hasConcept C2777125575 @default.
- W2625893047 hasConcept C2777904410 @default.
- W2625893047 hasConcept C3406870 @default.
- W2625893047 hasConcept C36941000 @default.
- W2625893047 hasConcept C41008148 @default.
- W2625893047 hasConcept C42935608 @default.
- W2625893047 hasConcept C529173508 @default.
- W2625893047 hasConcept C75606506 @default.
- W2625893047 hasConcept C96654402 @default.
- W2625893047 hasConceptScore W2625893047C111498074 @default.
- W2625893047 hasConceptScore W2625893047C115903868 @default.
- W2625893047 hasConceptScore W2625893047C127413603 @default.
- W2625893047 hasConceptScore W2625893047C149635348 @default.
- W2625893047 hasConceptScore W2625893047C186846655 @default.
- W2625893047 hasConceptScore W2625893047C199360897 @default.
- W2625893047 hasConceptScore W2625893047C24326235 @default.
- W2625893047 hasConceptScore W2625893047C2777125575 @default.
- W2625893047 hasConceptScore W2625893047C2777904410 @default.
- W2625893047 hasConceptScore W2625893047C3406870 @default.
- W2625893047 hasConceptScore W2625893047C36941000 @default.
- W2625893047 hasConceptScore W2625893047C41008148 @default.
- W2625893047 hasConceptScore W2625893047C42935608 @default.
- W2625893047 hasConceptScore W2625893047C529173508 @default.
- W2625893047 hasConceptScore W2625893047C75606506 @default.
- W2625893047 hasConceptScore W2625893047C96654402 @default.
- W2625893047 hasLocation W26258930471 @default.
- W2625893047 hasOpenAccess W2625893047 @default.
- W2625893047 hasPrimaryLocation W26258930471 @default.
- W2625893047 hasRelatedWork W1501405968 @default.
- W2625893047 hasRelatedWork W1502854982 @default.
- W2625893047 hasRelatedWork W1505685495 @default.
- W2625893047 hasRelatedWork W2034480089 @default.
- W2625893047 hasRelatedWork W2096666413 @default.
- W2625893047 hasRelatedWork W2097146789 @default.
- W2625893047 hasRelatedWork W2101931376 @default.
- W2625893047 hasRelatedWork W2104099278 @default.
- W2625893047 hasRelatedWork W2107442073 @default.
- W2625893047 hasRelatedWork W2115390567 @default.
- W2625893047 hasRelatedWork W2143091636 @default.
- W2625893047 hasRelatedWork W2154208589 @default.
- W2625893047 hasRelatedWork W2159627717 @default.
- W2625893047 hasRelatedWork W2159645698 @default.
- W2625893047 hasRelatedWork W2340490059 @default.
- W2625893047 hasRelatedWork W2533938830 @default.
- W2625893047 hasRelatedWork W2586839430 @default.
- W2625893047 hasRelatedWork W2586950573 @default.
- W2625893047 hasRelatedWork W2623944342 @default.
- W2625893047 hasRelatedWork W320293699 @default.
- W2625893047 isParatext "false" @default.
- W2625893047 isRetracted "false" @default.
- W2625893047 magId "2625893047" @default.
- W2625893047 workType "article" @default.