FRINK Linked Data Fragments server

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

• W2123962007 endingPage "1176" @default.
• W2123962007 startingPage "1171" @default.
• W2123962007 abstract "In this paper a comprehensive assertion-based verification methodology for the digital, analog and software domain of heterogeneous systems is presented. The proposed methodology combines a novel mixed-signal assertion language and the corresponding automatic verification algorithm. The algorithm translates the heterogeneous temporal properties into observer automata for a semi-formal verification. This enables automatic verification of complex heterogeneous properties that can not be verified by existing approaches. The experimental results show the integration of mixed-signal assertions into a simulation environment and demonstrate the broad applicability and the high value of the evolved solution." @default.
• W2123962007 created "2016-06-24" @default.
• W2123962007 creator A5038049766 @default.
• W2123962007 creator A5048020209 @default.
• W2123962007 creator A5051095305 @default.
• W2123962007 creator A5060297938 @default.
• W2123962007 creator A5069084799 @default.
• W2123962007 creator A5075009378 @default.
• W2123962007 creator A5087076980 @default.
• W2123962007 date "2010-03-08" @default.
• W2123962007 modified "2023-09-25" @default.
• W2123962007 title "Towards assertion-based verification of heterogeneous system designs" @default.
• W2123962007 cites W1002352093 @default.
• W2123962007 cites W1494737186 @default.
• W2123962007 cites W1797377815 @default.
• W2123962007 cites W2014385882 @default.
• W2123962007 cites W2051874670 @default.
• W2123962007 cites W2087184054 @default.
• W2123962007 cites W2116358561 @default.
• W2123962007 cites W2152154822 @default.
• W2123962007 cites W2152383599 @default.
• W2123962007 cites W2545172316 @default.
• W2123962007 cites W2913459036 @default.
• W2123962007 cites W3150324509 @default.
• W2123962007 doi "https://doi.org/10.5555/1870926.1871210" @default.
• W2123962007 hasPublicationYear "2010" @default.
• W2123962007 type Work @default.
• W2123962007 sameAs 2123962007 @default.
• W2123962007 citedByCount "4" @default.
• W2123962007 countsByYear W21239620072012 @default.
• W2123962007 countsByYear W21239620072014 @default.
• W2123962007 countsByYear W21239620072018 @default.
• W2123962007 crossrefType "proceedings-article" @default.
• W2123962007 hasAuthorship W2123962007A5038049766 @default.
• W2123962007 hasAuthorship W2123962007A5048020209 @default.
• W2123962007 hasAuthorship W2123962007A5051095305 @default.
• W2123962007 hasAuthorship W2123962007A5060297938 @default.
• W2123962007 hasAuthorship W2123962007A5069084799 @default.
• W2123962007 hasAuthorship W2123962007A5075009378 @default.
• W2123962007 hasAuthorship W2123962007A5087076980 @default.
• W2123962007 hasConcept C111498074 @default.
• W2123962007 hasConcept C112505250 @default.
• W2123962007 hasConcept C11413529 @default.
• W2123962007 hasConcept C134306372 @default.
• W2123962007 hasConcept C149091818 @default.
• W2123962007 hasConcept C186846655 @default.
• W2123962007 hasConcept C187250869 @default.
• W2123962007 hasConcept C199360897 @default.
• W2123962007 hasConcept C202973057 @default.
• W2123962007 hasConcept C2777904410 @default.
• W2123962007 hasConcept C33923547 @default.
• W2123962007 hasConcept C3406870 @default.
• W2123962007 hasConcept C36503486 @default.
• W2123962007 hasConcept C40422974 @default.
• W2123962007 hasConcept C41008148 @default.
• W2123962007 hasConcept C62460635 @default.
• W2123962007 hasConcept C80444323 @default.
• W2123962007 hasConceptScore W2123962007C111498074 @default.
• W2123962007 hasConceptScore W2123962007C112505250 @default.
• W2123962007 hasConceptScore W2123962007C11413529 @default.
• W2123962007 hasConceptScore W2123962007C134306372 @default.
• W2123962007 hasConceptScore W2123962007C149091818 @default.
• W2123962007 hasConceptScore W2123962007C186846655 @default.
• W2123962007 hasConceptScore W2123962007C187250869 @default.
• W2123962007 hasConceptScore W2123962007C199360897 @default.
• W2123962007 hasConceptScore W2123962007C202973057 @default.
• W2123962007 hasConceptScore W2123962007C2777904410 @default.
• W2123962007 hasConceptScore W2123962007C33923547 @default.
• W2123962007 hasConceptScore W2123962007C3406870 @default.
• W2123962007 hasConceptScore W2123962007C36503486 @default.
• W2123962007 hasConceptScore W2123962007C40422974 @default.
• W2123962007 hasConceptScore W2123962007C41008148 @default.
• W2123962007 hasConceptScore W2123962007C62460635 @default.
• W2123962007 hasConceptScore W2123962007C80444323 @default.
• W2123962007 hasLocation W21239620071 @default.
• W2123962007 hasOpenAccess W2123962007 @default.
• W2123962007 hasPrimaryLocation W21239620071 @default.
• W2123962007 hasRelatedWork W101710534 @default.
• W2123962007 hasRelatedWork W1479987225 @default.
• W2123962007 hasRelatedWork W1547304883 @default.
• W2123962007 hasRelatedWork W1862832709 @default.
• W2123962007 hasRelatedWork W2008416362 @default.
• W2123962007 hasRelatedWork W2016626678 @default.
• W2123962007 hasRelatedWork W2060070465 @default.
• W2123962007 hasRelatedWork W2066403336 @default.
• W2123962007 hasRelatedWork W2087184054 @default.
• W2123962007 hasRelatedWork W2094686007 @default.
• W2123962007 hasRelatedWork W2105182891 @default.
• W2123962007 hasRelatedWork W2106507440 @default.
• W2123962007 hasRelatedWork W2150647866 @default.
• W2123962007 hasRelatedWork W2278083245 @default.
• W2123962007 hasRelatedWork W2346833256 @default.
• W2123962007 hasRelatedWork W2625446501 @default.
• W2123962007 hasRelatedWork W2660131917 @default.
• W2123962007 hasRelatedWork W3033412143 @default.
• W2123962007 hasRelatedWork W3143043686 @default.
• W2123962007 hasRelatedWork W3209368512 @default.
• W2123962007 isParatext "false" @default.

• next