FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2135756607> ?p ?o ?g. }

• W2135756607 endingPage "5" @default.
• W2135756607 startingPage "2" @default.
• W2135756607 abstract "Due to increasing design complexity and intensive reuse of components, verifying the correctness of circuits and systems becomes a more and more important factor. In the meantime, in many projects up to 80% of the overall design costs are caused by verification and by this, checking the correct behavior becomes the dominating factor. Formal verification has been proposed as a promising alternative to simulation and has become a standard in many flows. In this paper, existing approaches are reviewed and recent trends for system level verification are outlined. To demonstrate the techniques SystemC is used as a system level description language. Beside the successful applications a list of challenging problems is provided. This gives a better understanding of current problems in hardware verification and shows directions for future research." @default.
• W2135756607 created "2016-06-24" @default.
• W2135756607 creator A5071742136 @default.
• W2135756607 date "2004-06-28" @default.
• W2135756607 modified "2023-09-28" @default.
• W2135756607 title "Towards formal verification on the system level" @default.
• W2135756607 cites W1481825323 @default.
• W2135756607 cites W1508918024 @default.
• W2135756607 cites W1511234963 @default.
• W2135756607 cites W1578592046 @default.
• W2135756607 cites W1582385421 @default.
• W2135756607 cites W1592819458 @default.
• W2135756607 cites W1593935583 @default.
• W2135756607 cites W1600310469 @default.
• W2135756607 cites W1602612484 @default.
• W2135756607 cites W1797377815 @default.
• W2135756607 cites W1873191171 @default.
• W2135756607 cites W1976597924 @default.
• W2135756607 cites W1988316905 @default.
• W2135756607 cites W2024148935 @default.
• W2135756607 cites W2045081730 @default.
• W2135756607 cites W2110737535 @default.
• W2135756607 cites W2110804891 @default.
• W2135756607 cites W2115207428 @default.
• W2135756607 cites W2123843480 @default.
• W2135756607 cites W21388859 @default.
• W2135756607 cites W2139907818 @default.
• W2135756607 cites W2150119568 @default.
• W2135756607 cites W2152154822 @default.
• W2135756607 cites W2153604137 @default.
• W2135756607 cites W2158966008 @default.
• W2135756607 cites W2159817137 @default.
• W2135756607 cites W2161314693 @default.
• W2135756607 cites W2169163007 @default.
• W2135756607 cites W3151969339 @default.
• W2135756607 cites W34381828 @default.
• W2135756607 cites W566355769 @default.
• W2135756607 cites W67485690 @default.
• W2135756607 doi "https://doi.org/10.1109/rsp.2004.43" @default.
• W2135756607 hasPublicationYear "2004" @default.
• W2135756607 type Work @default.
• W2135756607 sameAs 2135756607 @default.
• W2135756607 citedByCount "4" @default.
• W2135756607 countsByYear W21357566072020 @default.
• W2135756607 crossrefType "proceedings-article" @default.
• W2135756607 hasAuthorship W2135756607A5071742136 @default.
• W2135756607 hasConcept C110251889 @default.
• W2135756607 hasConcept C111498074 @default.
• W2135756607 hasConcept C115903868 @default.
• W2135756607 hasConcept C142284323 @default.
• W2135756607 hasConcept C149091818 @default.
• W2135756607 hasConcept C149635348 @default.
• W2135756607 hasConcept C169571997 @default.
• W2135756607 hasConcept C186846655 @default.
• W2135756607 hasConcept C187250869 @default.
• W2135756607 hasConcept C18903297 @default.
• W2135756607 hasConcept C199360897 @default.
• W2135756607 hasConcept C202973057 @default.
• W2135756607 hasConcept C206588197 @default.
• W2135756607 hasConcept C2776928060 @default.
• W2135756607 hasConcept C2777904410 @default.
• W2135756607 hasConcept C2781039887 @default.
• W2135756607 hasConcept C33054407 @default.
• W2135756607 hasConcept C3406870 @default.
• W2135756607 hasConcept C41008148 @default.
• W2135756607 hasConcept C42143788 @default.
• W2135756607 hasConcept C42935608 @default.
• W2135756607 hasConcept C55439883 @default.
• W2135756607 hasConcept C62460635 @default.
• W2135756607 hasConcept C75606506 @default.
• W2135756607 hasConcept C77495112 @default.
• W2135756607 hasConcept C86803240 @default.
• W2135756607 hasConcept C96654402 @default.
• W2135756607 hasConceptScore W2135756607C110251889 @default.
• W2135756607 hasConceptScore W2135756607C111498074 @default.
• W2135756607 hasConceptScore W2135756607C115903868 @default.
• W2135756607 hasConceptScore W2135756607C142284323 @default.
• W2135756607 hasConceptScore W2135756607C149091818 @default.
• W2135756607 hasConceptScore W2135756607C149635348 @default.
• W2135756607 hasConceptScore W2135756607C169571997 @default.
• W2135756607 hasConceptScore W2135756607C186846655 @default.
• W2135756607 hasConceptScore W2135756607C187250869 @default.
• W2135756607 hasConceptScore W2135756607C18903297 @default.
• W2135756607 hasConceptScore W2135756607C199360897 @default.
• W2135756607 hasConceptScore W2135756607C202973057 @default.
• W2135756607 hasConceptScore W2135756607C206588197 @default.
• W2135756607 hasConceptScore W2135756607C2776928060 @default.
• W2135756607 hasConceptScore W2135756607C2777904410 @default.
• W2135756607 hasConceptScore W2135756607C2781039887 @default.
• W2135756607 hasConceptScore W2135756607C33054407 @default.
• W2135756607 hasConceptScore W2135756607C3406870 @default.
• W2135756607 hasConceptScore W2135756607C41008148 @default.
• W2135756607 hasConceptScore W2135756607C42143788 @default.
• W2135756607 hasConceptScore W2135756607C42935608 @default.
• W2135756607 hasConceptScore W2135756607C55439883 @default.
• W2135756607 hasConceptScore W2135756607C62460635 @default.
• W2135756607 hasConceptScore W2135756607C75606506 @default.
• W2135756607 hasConceptScore W2135756607C77495112 @default.

• next