sescSpec 是已经用sesc编译好的测试程序,转在sesc模拟器上使用。 其中一些测试工具是需要有输入的。 具体我也想弄懂。