模型Debug方法

在模型声明中去掉system里所有template instantiation，挨个将instantiation添加到system里，跑SMC看哪个template出现了问题，对该template单独进行bug排查后再一起排查。

1. 要给每个location命名，不然对某个location报错，会看不出来具体是哪个location。
2. 遇见其他bug请及时评论反馈，为后面同学积累宝贵经验。

deadlock有可能导致一些问题，可以验证一下deadlock看看是否能发现一些bug。但是二者没有必然联系，详细请看Time-Locked报错分析第一个例子。

代码Debug方法

类似上面“模型Debug方法”，把代码大段删除，然后逐渐把代码添加进去，看一下代码报错的位置到底在哪，然后再进一步讨论。