一个介于代码和硬件之间的模型，如果过于抽象则失去实用价值，过于具体则退化为另一种形式的仿真器。