29、不可靠纳米器件的大规模纳米系统验证

不可靠纳米器件的大规模纳米系统验证

1. 经典系统与纳米系统验证数据

在对经典系统与纳米系统进行验证时，随着不确定性约束的增加，相关的验证数据呈现出一定的规律。以下是不同电路在不同约束条件下的验证数据：
| Ckt. # | ModTime (sec.) | BCTime (sec.) | Mem (MB) | Constr |
| — | — | — | — | — |
| c880 | | | | |
| 0 | 0.00 | 0.40 | 3.12 | |
| 1 | 0.05 | 0.47 | 3.28 | |
| 2 | 0.08 | 0.50 | 3.36 | |
| 3 | 0.10 | 0.43 | 3.37 | |
| 4 | 0.28 | 5.06 | 5.37 | |
| c1355 | | | | |
| 0 | 0.00 | 3.88 | 3.89 | |
| 1 | 0.32 | 5.11 | 5.35 | |
| 2 | 0.37 | 12.33 | 7.21 | |
| 3 | 0.33 | 11.31 | 6.56 | |
| 4 | 0.28 | 8.86 | 6.66 | |
| c1908 | | | | |
| 0 | 0.00 | 1.21 | 3.87 | |
| 1 | 0.50 | 1.05 | 6.42 | |
| 2 | 0.22 | 1.61 | 4.64 | |
| 3 | 0.23 | 2.19 | 4.69 | |
| 4 | 0.57 | 0.96 | 5.9