FRINK Linked Data Fragments server

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

• W1481736363 abstract "The complexity of designs continues to rise, driven by technology advances, while time-tomarket imposes always shorter time. Moreover, the increasing of design complexity implies that design verification becomes one of the most cost-dominating phase in design production. Functional Automatic Test Pattern Generators (ATPGs) based on simulation (Corno et al., 2001; Fin & Fummi, 2003a) are fast, but generally, they are unable to cover corner cases, and they cannot prove untestability. On the contrary, functional ATPGs exploiting formal methods (Ghosh & Fujita, 2001; Zhang et al., 2003; Xin et al., 2005a), are exhaustive and cover corner cases, but they tend to suffer of the state explosion problem when adopted for verifying large designs. In this context, a functional ATPG is presented, that relies on the joint use of pseudo-deterministic simulation and constraint logic programming (CLP) (Jaffar & Maher, 1994), to generate high-quality test sequences for solving complex problems. Thus, the advantages of both simulation-based and static-based verification techniques are preserved, while their respective drawbacks are limited. In particular, CLP, a form of constraint programming in which logic programming is extended to include concepts from constraint satisfaction, is well-suited to be jointly used with simulation. In fact, information learned during design exploration by simulation can be effectively exploited for guiding the search of a CLP solver towards design under verification (DUV) areas not covered yet. Therefore, this work is focused on the use of CLP for addressing corner cases during functional test pattern generation. In particular, a CLP-based fault-oriented ATPG engine is proposed to be adopted, after simulation, learning and random-walk/backjumping, as the last step of the incremental test generation flow showed in Figure 1. According to such a flow, the ATPG framework is composed of three functional ATPG engines working on three different models of the same DUV: the hardware description language (HDL) model of the DUV, the set of concurrent EFSMs extracted from the HDL description, and the set of logic constraints modelling the EFSMs. The EFSM paradigm has been selected since it allows a compact representation of the DUV state space (Lee & Yannakakis, 1992) that limits the state explosion problem typical of more traditional FSMs. In the proposed framework, the first engine is random-based, the second is transitionoriented, while the last is fault-oriented. This approach quickly covers the greater part of DUV faults, typically easy-to-detect faults. Then, the transition-oriented engine and fault-" @default.
• W1481736363 created "2016-06-24" @default.
• W1481736363 creator A5023565015 @default.
• W1481736363 creator A5025088388 @default.
• W1481736363 creator A5040302302 @default.
• W1481736363 creator A5079644832 @default.
• W1481736363 date "2009-12-01" @default.
• W1481736363 modified "2023-10-18" @default.
• W1481736363 title "Test Generation Based on CLP" @default.
• W1481736363 cites W1557270615 @default.
• W1481736363 cites W1569835212 @default.
• W1481736363 cites W1801221103 @default.
• W1481736363 cites W2011306767 @default.
• W1481736363 cites W2060461359 @default.
• W1481736363 cites W2063727779 @default.
• W1481736363 cites W2071152819 @default.
• W1481736363 cites W2078866600 @default.
• W1481736363 cites W2100958252 @default.
• W1481736363 cites W2101480270 @default.
• W1481736363 cites W2109134403 @default.
• W1481736363 cites W2110804891 @default.
• W1481736363 cites W2115180022 @default.
• W1481736363 cites W2122410182 @default.
• W1481736363 cites W2125746180 @default.
• W1481736363 cites W2127005882 @default.
• W1481736363 cites W2127936537 @default.
• W1481736363 cites W2132136363 @default.
• W1481736363 cites W2132210624 @default.
• W1481736363 cites W2132796821 @default.
• W1481736363 cites W2133860191 @default.
• W1481736363 cites W2134838513 @default.
• W1481736363 cites W2141412440 @default.
• W1481736363 cites W2150649896 @default.
• W1481736363 cites W2151723639 @default.
• W1481736363 cites W2152889194 @default.
• W1481736363 cites W2165339028 @default.
• W1481736363 cites W2167683537 @default.
• W1481736363 cites W2169528473 @default.
• W1481736363 cites W2607377900 @default.
• W1481736363 cites W2744443900 @default.
• W1481736363 cites W2912248191 @default.
• W1481736363 cites W2949974196 @default.
• W1481736363 cites W3010856131 @default.
• W1481736363 cites W2167632651 @default.
• W1481736363 doi "https://doi.org/10.5772/7023" @default.
• W1481736363 hasPublicationYear "2009" @default.
• W1481736363 type Work @default.
• W1481736363 sameAs 1481736363 @default.
• W1481736363 citedByCount "1" @default.
• W1481736363 countsByYear W14817363632013 @default.
• W1481736363 crossrefType "book-chapter" @default.
• W1481736363 hasAuthorship W1481736363A5023565015 @default.
• W1481736363 hasAuthorship W1481736363A5025088388 @default.
• W1481736363 hasAuthorship W1481736363A5040302302 @default.
• W1481736363 hasAuthorship W1481736363A5079644832 @default.
• W1481736363 hasBestOaLocation W14817363631 @default.
• W1481736363 hasConcept C127313418 @default.
• W1481736363 hasConcept C151730666 @default.
• W1481736363 hasConcept C2777267654 @default.
• W1481736363 hasConcept C41008148 @default.
• W1481736363 hasConceptScore W1481736363C127313418 @default.
• W1481736363 hasConceptScore W1481736363C151730666 @default.
• W1481736363 hasConceptScore W1481736363C2777267654 @default.
• W1481736363 hasConceptScore W1481736363C41008148 @default.
• W1481736363 hasLocation W14817363631 @default.
• W1481736363 hasLocation W14817363632 @default.
• W1481736363 hasOpenAccess W1481736363 @default.
• W1481736363 hasPrimaryLocation W14817363631 @default.
• W1481736363 hasRelatedWork W2096946506 @default.
• W1481736363 hasRelatedWork W2130043461 @default.
• W1481736363 hasRelatedWork W2350741829 @default.
• W1481736363 hasRelatedWork W2358668433 @default.
• W1481736363 hasRelatedWork W2376932109 @default.
• W1481736363 hasRelatedWork W2382290278 @default.
• W1481736363 hasRelatedWork W2390279801 @default.
• W1481736363 hasRelatedWork W2748952813 @default.
• W1481736363 hasRelatedWork W2899084033 @default.
• W1481736363 hasRelatedWork W3004735627 @default.
• W1481736363 isParatext "false" @default.
• W1481736363 isRetracted "false" @default.
• W1481736363 magId "1481736363" @default.
• W1481736363 workType "book-chapter" @default.