High-level synthesis techniques for functional test pattern execution

DOI10.1016/S0167-9260(98)00012-1MaRDI QIDQ4225391zbMATH OpenOpenAlexFDO

Authors Inki Hong, Darko Kirovski, Kevin Kornegay, Miodrag Potkonjak

Publication date 12 January 1999

Published in Integration (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0167-9260(98)00012-1

Mathematics Subject Classification ID

Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35)

Recommendations

• High-level test synthesis: a survey
• scientific article; zbMATH DE number 1015110
• An approach to test synthesis from higher level
• Functional Level Primitives in Test Generation
• scientific article; zbMATH DE number 994147
• High Quality Test Pattern Generation and Boolean Satisfiability
• scientific article; zbMATH DE number 1956608

Cited in

(4)

• scientific article; zbMATH DE number 1844671 (Why is no real title available?)
• High-level test synthesis: a survey
• Functional Level Primitives in Test Generation
• High Quality Test Pattern Generation and Boolean Satisfiability

This page was built for publication: High-level synthesis techniques for functional test pattern execution

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