DFT-ATPG 怎么产生有don't care bits的test pattern?

HOLLYSMOKE

我想对ISCAS‘89 benchmark产生含有x（don't care bit）的test pattern。我用Fastscan是不行的，因为根据它的Process Guide, Fastscan会自动compact test patterns. 我还试了ATALANTA, 它可以产生带x的pattern, 但是那是“ n test patterns for each fault （n>=1） ”，因此数量巨大！我该怎么样才能产生数量不大，但又含有x的pattern呢？
谢谢了！

sunyuanxin

我一般都不设计don't care bit.你不是做FPGA吧？是做ASIC的？

sunyuanxin

你这是ASIC的？

HOLLYSMOKE

回复 2# sunyuanxin

嗯，是做DFT(Design for Testability)的，有什么法子么？求教。

wrhwindboy

有专门的add false path指令在tetraMAX里面，保证让你满意

ahlijin

不知道算不算挖坟。。。还是写出来给需要的人参考：
ATALANTA选项：
-A
诊断模式
Atalanta为每个故障产生所有的测试模式。
在这个选项中，所有的未指定的输入都未知，故障模拟也没执行。

-D n  诊断模式
Atalanta为每个故障产生n个测试模式

依照楼主的要求，可以用-D 1来产生激励，附上s27结果：

1. * Name of circuit:  s27.scan
   
2. * Primary inputs :
   
3.   G0 G1 G2 G3 G5 G6 G7
   
4.   
   
5. * Primary outputs:
   
6.   G17 G10 G11_EXTRA G13
   
7. 
   
8. * Test patterns and fault free responses:
   
9. 
   
10. G13 /0
    
11.       1: x10xxxx xxx1
    
12. G2 /0
    
13.       1: x11xxxx xxx0
    
14. G12->G13 /0
    
15.       1: x00xxx0 xxx0
    
16. G13 /1
    
17.       1: xx1xxxx xxx0
    
18. G11_EXTRA /1
    
19.       1: xxxx1xx 1x0x
    
20. G11_EXTRA /0
    
21.       1: x0x10x0 0010
    
22. G10 /0
    
23.       1: 1xxx1xx 110x
    
24. G11->G10 /0
    
25.       1: 10x10x0 0010
    
26. G14->G10 /0
    
27.       1: 0xxx1xx 100x
    
28. G10 /1
    
29.       1: 0xxxxxx x0xx
    
30. G12 /0
    
31.       1: x00xxx0 xxx0
    
32. G1 /0
    
33.       1: x10xxx0 xxx1
    
34. G7 /0
    
35.       1: x00xxx1 xxx1
    
36. G12 /1
    
37.       1: x10xxxx xxx1
    
38. G14 /0
    
39.       1: 0xxx1xx 100x
    
40. G14 /1
    
41.       1: 1xxx1xx 110x
    
42. G6 /1
    
43.       1: 01x100x 100x
    
44. G8 /0
    
45.       1: 01x101x 001x
    
46. G14->G8 /1
    
47.       1: 11x101x 110x
    
48. G8 /1
    
49.       1: x1x100x 1x0x
    
50. G16 /1
    
51.       1: x0x0000 1x00
    
52. G15 /1
    
53.       1: x1x100x 1x0x
    
54. G9 /0
    
55.       1: xxx000x 1x0x
    
56. G11 /0
    
57.       1: x0x10x0 0x10
    
58. G5 /0
    
59.       1: x0x11x0 1x00
    
60. G3 /0
    
61.       1: x0x1000 0x10
    
62. G8->G16 /0
    
63.       1: 0xx001x 001x
    
64. G8->G15 /0
    
65.       1: 01xx01x 001x
    
66. G12->G15 /0
    
67.       1: x0x1000 0x10
    
68. G11 /1
    
69.       1: xxxx1xx 1x0x
    
70. G17 /0
    
71.       1: xxxx1xx 1x0x
    
72. G17 /1
    
73.       1: x0x10x0 0010
    
74. 
    

复制代码

fckum

回复 6# ahlijin
你好，对于采用ATALANAT ATPG工具产生ITC’99大电路测试向量怎么设置呢？比如b17-b22，我每次用都会报错，好像溢出了。。。。求助哈