FRINK Linked Data Fragments server

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

• W2029488199 abstract "Functional verification of data dominated high-level designs is a major concern in modern integrated circuit production flow. On the one hand, the size and complexity of the input state-space prevent conventional validation strategies to check the behaviour of the design thoroughly using simulation. On the other hand, formal verification methods still face difficulties while verifying high-level designs, specially when complex data types and dynamically allocated data structures are used. This work presents a method based on guiding heuristics for dynamically checking temporal properties of high-level designs. The properties are translated into heuristic functions that are combined with the black-box model of the system in order to guide the validation effort to error prone regions of the design's input domain. The functions are designed in a way that their minimum points correspond to properties violations, if they exist. Optimization algorithms are used to evaluate the property under check by searching for input sequences that minimize the heuristic functions. Experiments indicate a significant improvement in the efficiency of the verification process when the proposed method is used, with respect to both random simulation and bounded model checking." @default.
• W2029488199 created "2016-06-24" @default.
• W2029488199 creator A5024306319 @default.
• W2029488199 creator A5031310744 @default.
• W2029488199 date "2013-08-01" @default.
• W2029488199 modified "2023-10-14" @default.
• W2029488199 title "Using guiding heuristics to improve the dynamic checking of temporal properties in data dominated high-level designs" @default.
• W2029488199 cites W1501731334 @default.
• W2029488199 cites W1593428110 @default.
• W2029488199 cites W1787074469 @default.
• W2029488199 cites W1887414450 @default.
• W2029488199 cites W1959882242 @default.
• W2029488199 cites W1977355585 @default.
• W2029488199 cites W1989210785 @default.
• W2029488199 cites W2011645538 @default.
• W2029488199 cites W2013029218 @default.
• W2029488199 cites W2013667310 @default.
• W2029488199 cites W2035401850 @default.
• W2029488199 cites W2055424026 @default.
• W2029488199 cites W2072445059 @default.
• W2029488199 cites W2089141542 @default.
• W2029488199 cites W2095226306 @default.
• W2029488199 cites W2102573546 @default.
• W2029488199 cites W2103094862 @default.
• W2029488199 cites W2116990643 @default.
• W2029488199 cites W2117044368 @default.
• W2029488199 cites W2117213416 @default.
• W2029488199 cites W2129089616 @default.
• W2029488199 cites W2129538349 @default.
• W2029488199 cites W2132796821 @default.
• W2029488199 cites W2134404335 @default.
• W2029488199 cites W2135056756 @default.
• W2029488199 cites W2142453799 @default.
• W2029488199 cites W2986444891 @default.
• W2029488199 doi "https://doi.org/10.1109/isvlsi.2013.6654617" @default.
• W2029488199 hasPublicationYear "2013" @default.
• W2029488199 type Work @default.
• W2029488199 sameAs 2029488199 @default.
• W2029488199 citedByCount "2" @default.
• W2029488199 countsByYear W20294881992015 @default.
• W2029488199 countsByYear W20294881992016 @default.
• W2029488199 crossrefType "proceedings-article" @default.
• W2029488199 hasAuthorship W2029488199A5024306319 @default.
• W2029488199 hasAuthorship W2029488199A5031310744 @default.
• W2029488199 hasConcept C110251889 @default.
• W2029488199 hasConcept C111472728 @default.
• W2029488199 hasConcept C111498074 @default.
• W2029488199 hasConcept C111919701 @default.
• W2029488199 hasConcept C11413529 @default.
• W2029488199 hasConcept C127705205 @default.
• W2029488199 hasConcept C134306372 @default.
• W2029488199 hasConcept C138885662 @default.
• W2029488199 hasConcept C149635348 @default.
• W2029488199 hasConcept C154945302 @default.
• W2029488199 hasConcept C173801870 @default.
• W2029488199 hasConcept C189950617 @default.
• W2029488199 hasConcept C2776221188 @default.
• W2029488199 hasConcept C33923547 @default.
• W2029488199 hasConcept C34388435 @default.
• W2029488199 hasConcept C41008148 @default.
• W2029488199 hasConcept C62460635 @default.
• W2029488199 hasConcept C80444323 @default.
• W2029488199 hasConcept C94966114 @default.
• W2029488199 hasConceptScore W2029488199C110251889 @default.
• W2029488199 hasConceptScore W2029488199C111472728 @default.
• W2029488199 hasConceptScore W2029488199C111498074 @default.
• W2029488199 hasConceptScore W2029488199C111919701 @default.
• W2029488199 hasConceptScore W2029488199C11413529 @default.
• W2029488199 hasConceptScore W2029488199C127705205 @default.
• W2029488199 hasConceptScore W2029488199C134306372 @default.
• W2029488199 hasConceptScore W2029488199C138885662 @default.
• W2029488199 hasConceptScore W2029488199C149635348 @default.
• W2029488199 hasConceptScore W2029488199C154945302 @default.
• W2029488199 hasConceptScore W2029488199C173801870 @default.
• W2029488199 hasConceptScore W2029488199C189950617 @default.
• W2029488199 hasConceptScore W2029488199C2776221188 @default.
• W2029488199 hasConceptScore W2029488199C33923547 @default.
• W2029488199 hasConceptScore W2029488199C34388435 @default.
• W2029488199 hasConceptScore W2029488199C41008148 @default.
• W2029488199 hasConceptScore W2029488199C62460635 @default.
• W2029488199 hasConceptScore W2029488199C80444323 @default.
• W2029488199 hasConceptScore W2029488199C94966114 @default.
• W2029488199 hasLocation W20294881991 @default.
• W2029488199 hasOpenAccess W2029488199 @default.
• W2029488199 hasPrimaryLocation W20294881991 @default.
• W2029488199 hasRelatedWork W149652946 @default.
• W2029488199 hasRelatedWork W1498641176 @default.
• W2029488199 hasRelatedWork W1579785802 @default.
• W2029488199 hasRelatedWork W1982898730 @default.
• W2029488199 hasRelatedWork W2014955827 @default.
• W2029488199 hasRelatedWork W2017876432 @default.
• W2029488199 hasRelatedWork W2039060906 @default.
• W2029488199 hasRelatedWork W2080229561 @default.
• W2029488199 hasRelatedWork W2105361678 @default.
• W2029488199 hasRelatedWork W2383859537 @default.
• W2029488199 hasRelatedWork W2396495791 @default.
• W2029488199 hasRelatedWork W2495349330 @default.
• W2029488199 hasRelatedWork W2537434015 @default.
• W2029488199 hasRelatedWork W3085909575 @default.
• W2029488199 hasRelatedWork W3092463438 @default.

• next