参考答案：

元件的延迟模型和信号模型

元件的延迟模型：检查时序关系、反映竞争和冒险等现象；调用的门单元中已含有不同延迟模型信息。

零延迟：认为所有元件的延迟都为0，检查逻辑关系正确性，适合于组合逻辑和同步时序。

单位延迟：认为所有元件的延迟都相同，仅用于检查逻辑关系正确性。

指定延迟：不同元件或不同的元件类型指定不同的延迟；指定上升、下降时间；可用于尖峰分析。

最大-最小延迟：对每种元件指定最大和最小延迟时间，可用于分析电路出现竞争的条件。

惯性延迟：可抑制尖峰。