Matches in SemOpenAlex for { <https://semopenalex.org/work/W2542800803> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2542800803 abstract "Inherent imperfections in the VLSI fabrication processes mean that even logically correct designs may be fabricated as faulty chips. Testing of devices is therefore essential. The author considers the use of CCS to deduce testability features of VLSI. He shows first that a natural correspondence exists between circuit designs and a certain class of processes in CCS (a popular abstract language for reasoning about concurrent systems), and then use this correspondence to show how standard faults can economically be represented, and reasoned about. Questions considered include: given such and such a fault, when can it be detected? If a fault is detectable, to what extent can its location be identified? And given a design, can one construct a logically equivalent process of improved testability?. >" @default.
- W2542800803 created "2016-11-04" @default.
- W2542800803 creator A5030831284 @default.
- W2542800803 date "1991-05-16" @default.
- W2542800803 modified "2023-09-27" @default.
- W2542800803 title "An abstract approach to VLSI test" @default.
- W2542800803 hasPublicationYear "1991" @default.
- W2542800803 type Work @default.
- W2542800803 sameAs 2542800803 @default.
- W2542800803 citedByCount "1" @default.
- W2542800803 crossrefType "journal-article" @default.
- W2542800803 hasAuthorship W2542800803A5030831284 @default.
- W2542800803 hasConcept C113775141 @default.
- W2542800803 hasConcept C11413529 @default.
- W2542800803 hasConcept C127313418 @default.
- W2542800803 hasConcept C127413603 @default.
- W2542800803 hasConcept C14580979 @default.
- W2542800803 hasConcept C149635348 @default.
- W2542800803 hasConcept C154945302 @default.
- W2542800803 hasConcept C165205528 @default.
- W2542800803 hasConcept C175551986 @default.
- W2542800803 hasConcept C199360897 @default.
- W2542800803 hasConcept C200601418 @default.
- W2542800803 hasConcept C2777212361 @default.
- W2542800803 hasConcept C41008148 @default.
- W2542800803 hasConcept C51234621 @default.
- W2542800803 hasConcept C98045186 @default.
- W2542800803 hasConceptScore W2542800803C113775141 @default.
- W2542800803 hasConceptScore W2542800803C11413529 @default.
- W2542800803 hasConceptScore W2542800803C127313418 @default.
- W2542800803 hasConceptScore W2542800803C127413603 @default.
- W2542800803 hasConceptScore W2542800803C14580979 @default.
- W2542800803 hasConceptScore W2542800803C149635348 @default.
- W2542800803 hasConceptScore W2542800803C154945302 @default.
- W2542800803 hasConceptScore W2542800803C165205528 @default.
- W2542800803 hasConceptScore W2542800803C175551986 @default.
- W2542800803 hasConceptScore W2542800803C199360897 @default.
- W2542800803 hasConceptScore W2542800803C200601418 @default.
- W2542800803 hasConceptScore W2542800803C2777212361 @default.
- W2542800803 hasConceptScore W2542800803C41008148 @default.
- W2542800803 hasConceptScore W2542800803C51234621 @default.
- W2542800803 hasConceptScore W2542800803C98045186 @default.
- W2542800803 hasLocation W25428008031 @default.
- W2542800803 hasOpenAccess W2542800803 @default.
- W2542800803 hasPrimaryLocation W25428008031 @default.
- W2542800803 hasRelatedWork W1488131971 @default.
- W2542800803 hasRelatedWork W152455353 @default.
- W2542800803 hasRelatedWork W1598807531 @default.
- W2542800803 hasRelatedWork W1633479429 @default.
- W2542800803 hasRelatedWork W1634597138 @default.
- W2542800803 hasRelatedWork W1637752092 @default.
- W2542800803 hasRelatedWork W1920743658 @default.
- W2542800803 hasRelatedWork W2015418572 @default.
- W2542800803 hasRelatedWork W2071152039 @default.
- W2542800803 hasRelatedWork W2077141387 @default.
- W2542800803 hasRelatedWork W2085266400 @default.
- W2542800803 hasRelatedWork W2131903474 @default.
- W2542800803 hasRelatedWork W2167759584 @default.
- W2542800803 hasRelatedWork W2404867036 @default.
- W2542800803 hasRelatedWork W2542877878 @default.
- W2542800803 hasRelatedWork W2544336587 @default.
- W2542800803 hasRelatedWork W2546115649 @default.
- W2542800803 hasRelatedWork W3140877430 @default.
- W2542800803 hasRelatedWork W3145695359 @default.
- W2542800803 hasRelatedWork W328492758 @default.
- W2542800803 isParatext "false" @default.
- W2542800803 isRetracted "false" @default.
- W2542800803 magId "2542800803" @default.
- W2542800803 workType "article" @default.