首页>
外国专利>
AUTOMATIC PATTERN GENERATION METHOD FOR FUNCTIONAL RTL CIRCUIT
AUTOMATIC PATTERN GENERATION METHOD FOR FUNCTIONAL RTL CIRCUIT
展开▼
机译:功能性rtl电路的自动模式生成方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
PROBLEM TO BE SOLVED: To provide a method which can automatically generate a high quality test pattern for a RTL digital circuit quickly.;SOLUTION: Producing an assignment decision diagram that represents the RTL digital circuit generates the test pattern. Nonary symbolic algebra is used to determine a target for each part identified within the assignment decision diagram. The target is justified and propagated by traversing the assignment decision diagram for which a test environment is found. When the test environment is not found in advance, a heuristic method is used. By using the test environment that is found out, a predetermined test vector is propagated to acquire a system level test set. The respective test sets for each part are combined to obtain a complete test set for the RTL digital circuit.;COPYRIGHT: (C)2002,JPO
展开▼