A novel RTL behavioral description based ATPG method

DOI10.1007/BF02948900MaRDI QIDQ1415928zbMATH OpenFDO

Authors ZhiGang Yin, Yinghua Min, Xiaowei Li, Huawei Li

Publication date 9 December 2003

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02948900

zbMATH Keywords

automatic test pattern generationregister transfer level

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Recommendations

• Why RTL ATPG?
• scientific article; zbMATH DE number 1751921
• High Quality Test Pattern Generation and Boolean Satisfiability
• Test Pattern Generation using Boolean Proof Engines
• TG-Pro: A SAT-based ATPG system

Cited in

(1)

• Why RTL ATPG?

This page was built for publication: A novel RTL behavioral description based ATPG method

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