FRINK Linked Data Fragments server

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

• W2109648051 endingPage "195" @default.
• W2109648051 startingPage "185" @default.
• W2109648051 abstract "Testing of digital circuits seems to be a completely mastered part of the design flow, but Constrained Test Patterns Generation (CTPG) is still a highly evolving branch of digital circuits testing. Our previous research on CTPG proved that we can benefit from an implicit representation of test patterns set. The set of test patterns is implicitly represented as a Boolean formula satisfiability problem in CNF, like in common SAT-based ATPGs. However, the CTPG process can be much more memory or time consuming than common TPG, thus some techniques of speeding up the constrained SAT-based test patterns generation are described and analyzed into detail in this paper. These techniques are experimentally evaluated on a real SAT-based algorithm performing a test compression based on overlapping of test patterns. Experiments are performed on ISCAS’85, ’89 and ITC’99 benchmark circuits. Results of the experiments are discussed and recommendations for further development of similar SAT-based tools for CTPG are given." @default.
• W2109648051 created "2016-06-24" @default.
• W2109648051 creator A5010311094 @default.
• W2109648051 creator A5023119816 @default.
• W2109648051 creator A5042494873 @default.
• W2109648051 date "2013-03-01" @default.
• W2109648051 modified "2023-10-05" @default.
• W2109648051 title "Techniques for SAT-based constrained test pattern generation" @default.
• W2109648051 cites W1512520821 @default.
• W2109648051 cites W1994143452 @default.
• W2109648051 cites W2004472922 @default.
• W2109648051 cites W2006119235 @default.
• W2109648051 cites W2024316190 @default.
• W2109648051 cites W2024516243 @default.
• W2109648051 cites W2050697801 @default.
• W2109648051 cites W2091642815 @default.
• W2109648051 cites W2098298282 @default.
• W2109648051 cites W2101900253 @default.
• W2109648051 cites W2104107023 @default.
• W2109648051 cites W2106159358 @default.
• W2109648051 cites W2124618076 @default.
• W2109648051 cites W2131803874 @default.
• W2109648051 cites W2135613306 @default.
• W2109648051 cites W2146594632 @default.
• W2109648051 cites W2152406824 @default.
• W2109648051 cites W2160444875 @default.
• W2109648051 cites W2168873569 @default.
• W2109648051 cites W2173124859 @default.
• W2109648051 cites W3864895 @default.
• W2109648051 doi "https://doi.org/10.1016/j.micpro.2012.09.010" @default.
• W2109648051 hasPublicationYear "2013" @default.
• W2109648051 type Work @default.
• W2109648051 sameAs 2109648051 @default.
• W2109648051 citedByCount "16" @default.
• W2109648051 countsByYear W21096480512012 @default.
• W2109648051 countsByYear W21096480512013 @default.
• W2109648051 countsByYear W21096480512014 @default.
• W2109648051 countsByYear W21096480512015 @default.
• W2109648051 countsByYear W21096480512016 @default.
• W2109648051 countsByYear W21096480512018 @default.
• W2109648051 countsByYear W21096480512019 @default.
• W2109648051 countsByYear W21096480512023 @default.
• W2109648051 crossrefType "journal-article" @default.
• W2109648051 hasAuthorship W2109648051A5010311094 @default.
• W2109648051 hasAuthorship W2109648051A5023119816 @default.
• W2109648051 hasAuthorship W2109648051A5042494873 @default.
• W2109648051 hasBestOaLocation W21096480512 @default.
• W2109648051 hasConcept C11413529 @default.
• W2109648051 hasConcept C119599485 @default.
• W2109648051 hasConcept C127413603 @default.
• W2109648051 hasConcept C13280743 @default.
• W2109648051 hasConcept C134146338 @default.
• W2109648051 hasConcept C154945302 @default.
• W2109648051 hasConcept C168773769 @default.
• W2109648051 hasConcept C169903167 @default.
• W2109648051 hasConcept C17626397 @default.
• W2109648051 hasConcept C177264268 @default.
• W2109648051 hasConcept C17744445 @default.
• W2109648051 hasConcept C185798385 @default.
• W2109648051 hasConcept C199360897 @default.
• W2109648051 hasConcept C199539241 @default.
• W2109648051 hasConcept C205649164 @default.
• W2109648051 hasConcept C2776359362 @default.
• W2109648051 hasConcept C29652920 @default.
• W2109648051 hasConcept C41008148 @default.
• W2109648051 hasConcept C6943359 @default.
• W2109648051 hasConcept C80444323 @default.
• W2109648051 hasConcept C81843906 @default.
• W2109648051 hasConcept C94625758 @default.
• W2109648051 hasConceptScore W2109648051C11413529 @default.
• W2109648051 hasConceptScore W2109648051C119599485 @default.
• W2109648051 hasConceptScore W2109648051C127413603 @default.
• W2109648051 hasConceptScore W2109648051C13280743 @default.
• W2109648051 hasConceptScore W2109648051C134146338 @default.
• W2109648051 hasConceptScore W2109648051C154945302 @default.
• W2109648051 hasConceptScore W2109648051C168773769 @default.
• W2109648051 hasConceptScore W2109648051C169903167 @default.
• W2109648051 hasConceptScore W2109648051C17626397 @default.
• W2109648051 hasConceptScore W2109648051C177264268 @default.
• W2109648051 hasConceptScore W2109648051C17744445 @default.
• W2109648051 hasConceptScore W2109648051C185798385 @default.
• W2109648051 hasConceptScore W2109648051C199360897 @default.
• W2109648051 hasConceptScore W2109648051C199539241 @default.
• W2109648051 hasConceptScore W2109648051C205649164 @default.
• W2109648051 hasConceptScore W2109648051C2776359362 @default.
• W2109648051 hasConceptScore W2109648051C29652920 @default.
• W2109648051 hasConceptScore W2109648051C41008148 @default.
• W2109648051 hasConceptScore W2109648051C6943359 @default.
• W2109648051 hasConceptScore W2109648051C80444323 @default.
• W2109648051 hasConceptScore W2109648051C81843906 @default.
• W2109648051 hasConceptScore W2109648051C94625758 @default.
• W2109648051 hasIssue "2" @default.
• W2109648051 hasLocation W21096480511 @default.
• W2109648051 hasLocation W21096480512 @default.
• W2109648051 hasOpenAccess W2109648051 @default.
• W2109648051 hasPrimaryLocation W21096480511 @default.
• W2109648051 hasRelatedWork W1588361197 @default.
• W2109648051 hasRelatedWork W1979305473 @default.

• next