Matches in SemOpenAlex for { <https://semopenalex.org/work/W76555569> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W76555569 endingPage "160" @default.
- W76555569 startingPage "151" @default.
- W76555569 abstract "The paper presents our approach of using a formal verification method, the model checking, to verify whether a particular component of hardware design matches its specification. We have applied this approach in the Liberouter project, which is aimed to develop an FPGA based high-speed network monitoring and routing hardware. In the paper, we focus on a FIFO component - the process of its verification, detected errors, and the way of their correction." @default.
- W76555569 created "2016-06-24" @default.
- W76555569 creator A5023843672 @default.
- W76555569 creator A5061586199 @default.
- W76555569 creator A5090097391 @default.
- W76555569 date "2006-01-01" @default.
- W76555569 modified "2023-10-18" @default.
- W76555569 title "Formal Verification of a FIFO Component in Design of Network Monitoring Hardware" @default.
- W76555569 hasPublicationYear "2006" @default.
- W76555569 type Work @default.
- W76555569 sameAs 76555569 @default.
- W76555569 citedByCount "1" @default.
- W76555569 crossrefType "journal-article" @default.
- W76555569 hasAuthorship W76555569A5023843672 @default.
- W76555569 hasAuthorship W76555569A5061586199 @default.
- W76555569 hasAuthorship W76555569A5090097391 @default.
- W76555569 hasConcept C110251889 @default.
- W76555569 hasConcept C111498074 @default.
- W76555569 hasConcept C120665830 @default.
- W76555569 hasConcept C121332964 @default.
- W76555569 hasConcept C142284323 @default.
- W76555569 hasConcept C149091818 @default.
- W76555569 hasConcept C149635348 @default.
- W76555569 hasConcept C168167062 @default.
- W76555569 hasConcept C186846655 @default.
- W76555569 hasConcept C187250869 @default.
- W76555569 hasConcept C192209626 @default.
- W76555569 hasConcept C199360897 @default.
- W76555569 hasConcept C202973057 @default.
- W76555569 hasConcept C2777145635 @default.
- W76555569 hasConcept C2777904410 @default.
- W76555569 hasConcept C3406870 @default.
- W76555569 hasConcept C41008148 @default.
- W76555569 hasConcept C42935608 @default.
- W76555569 hasConcept C48721391 @default.
- W76555569 hasConcept C62460635 @default.
- W76555569 hasConcept C74172769 @default.
- W76555569 hasConcept C75606506 @default.
- W76555569 hasConcept C9390403 @default.
- W76555569 hasConcept C96654402 @default.
- W76555569 hasConcept C97355855 @default.
- W76555569 hasConcept C98045186 @default.
- W76555569 hasConceptScore W76555569C110251889 @default.
- W76555569 hasConceptScore W76555569C111498074 @default.
- W76555569 hasConceptScore W76555569C120665830 @default.
- W76555569 hasConceptScore W76555569C121332964 @default.
- W76555569 hasConceptScore W76555569C142284323 @default.
- W76555569 hasConceptScore W76555569C149091818 @default.
- W76555569 hasConceptScore W76555569C149635348 @default.
- W76555569 hasConceptScore W76555569C168167062 @default.
- W76555569 hasConceptScore W76555569C186846655 @default.
- W76555569 hasConceptScore W76555569C187250869 @default.
- W76555569 hasConceptScore W76555569C192209626 @default.
- W76555569 hasConceptScore W76555569C199360897 @default.
- W76555569 hasConceptScore W76555569C202973057 @default.
- W76555569 hasConceptScore W76555569C2777145635 @default.
- W76555569 hasConceptScore W76555569C2777904410 @default.
- W76555569 hasConceptScore W76555569C3406870 @default.
- W76555569 hasConceptScore W76555569C41008148 @default.
- W76555569 hasConceptScore W76555569C42935608 @default.
- W76555569 hasConceptScore W76555569C48721391 @default.
- W76555569 hasConceptScore W76555569C62460635 @default.
- W76555569 hasConceptScore W76555569C74172769 @default.
- W76555569 hasConceptScore W76555569C75606506 @default.
- W76555569 hasConceptScore W76555569C9390403 @default.
- W76555569 hasConceptScore W76555569C96654402 @default.
- W76555569 hasConceptScore W76555569C97355855 @default.
- W76555569 hasConceptScore W76555569C98045186 @default.
- W76555569 hasLocation W765555691 @default.
- W76555569 hasOpenAccess W76555569 @default.
- W76555569 hasPrimaryLocation W765555691 @default.
- W76555569 hasRelatedWork W1493466221 @default.
- W76555569 hasRelatedWork W1533288443 @default.
- W76555569 hasRelatedWork W1680428368 @default.
- W76555569 hasRelatedWork W1917325995 @default.
- W76555569 hasRelatedWork W1981499043 @default.
- W76555569 hasRelatedWork W2004507334 @default.
- W76555569 hasRelatedWork W2041785864 @default.
- W76555569 hasRelatedWork W2105710452 @default.
- W76555569 hasRelatedWork W2109821323 @default.
- W76555569 hasRelatedWork W2115240397 @default.
- W76555569 hasRelatedWork W2118572231 @default.
- W76555569 hasRelatedWork W2119463768 @default.
- W76555569 hasRelatedWork W2151449640 @default.
- W76555569 hasRelatedWork W2156116570 @default.
- W76555569 hasRelatedWork W2166538840 @default.
- W76555569 hasRelatedWork W2542209384 @default.
- W76555569 hasRelatedWork W2569487446 @default.
- W76555569 hasRelatedWork W2946033754 @default.
- W76555569 hasRelatedWork W87240014 @default.
- W76555569 hasRelatedWork W2123277242 @default.
- W76555569 isParatext "false" @default.
- W76555569 isRetracted "false" @default.
- W76555569 magId "76555569" @default.
- W76555569 workType "article" @default.