An approach to test synthesis from higher level

DOI10.1016/S0167-9260(98)00023-6zbMATH Open0908.68073WikidataQ127279380 ScholiaQ127279380MaRDI QIDQ4225366FDOQ4225366

Authors: Michiko Inoue, Hideo Fujiwara 

Publication date: 12 January 1999

Published in: Integration (Search for Journal in Brave)

Recommendations

• High-level test synthesis: a survey
• scientific article; zbMATH DE number 1015110
• scientific article; zbMATH DE number 994147

zbMATH Keywords

testabilityhigh-level synthesisnon-scan designsequential ATPG

Mathematics Subject Classification ID

Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35) Computer system organization (68M99)

Cited In (6)

• Synthesis for testability: Binary Decision Diagrams
• Test-design through abstraction: A systematic approach based on the refinement calculus
• High-level test synthesis: a survey
• High-level synthesis techniques for functional test pattern execution
• Functional Level Primitives in Test Generation
• High level synthesis for loop-based BIST

This page was built for publication: An approach to test synthesis from higher level

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4225366)