Automatic test pattern generation for functional register-transfer level circuits using assignment decision diagrams.

Automatic test pattern generation for functional register-transfer level circuits using assignment decision diagrams.

In this paper, we present an algorithm for generating test patterns automatically from functional register-transfer level (RTL) circuits that target detection of stuck-at faults in the circuit at the logic level. In order to do this, we utilize a data structure named assignment decision diagram that...

সম্পূর্ণ বিবরণ

গ্রন্থ-পঞ্জীর বিবরন
প্রকাশিত:IEEE Transactions on computer-aided design of integrated circuits and systems 20, 3 (2001).
প্রধান লেখক: Ghosh, I.
বিন্যাস: প্রবন্ধ
ভাষা:English
বিষয়গুলি:
RTL-RTL validation.
RTL-logic validation.
Assignment decision diagrams.
Automatic test pattern generation.
Backtracks.
Data structure.
Design style.
Design turn around time.
Fault coverage.
Functional register-transfer level circuits.
High-level synthesis.
Primitive elements.
Problem size.
Single-clock design.
Stuck-at faults.
Test-generation time.