本文的研究主要是针对HDTV-SoC平台的仿真和验证工作。为了达到对SoC平台进行高效而准确的仿真的目的，在论文中采用SmartModel仿真模型来搭建系统仿真架构。SmartModel是由MIPS提供的、由Synopsys开发的标准集成电路的二进制行为模型库。在HDTV-SoC平台中采用了MIPS的4Kc处理器作为系统的CPU内核，SmartModel针对4Kc内核有BFM和VMC两种类型的仿真模型。文章中分别针对BFM模型和VMC模型提出了各自的验证方案，并通过仿真实验，验证了其有效性和准确性。随后，文章提出了系统总线接口模块即HIF模块的设计方案。在HDTV-SoC平台中集成了一部分已经开发完成的外部IP模块，如DeMux、VD、VTP等模块，HIF模块是系统总线与这些外部模块之间的接口。在HDTV-SoC平台的系统仿真中，可以使用HIF模块将外部模块挂接在系统总线上。同时，借用MIPS提供的X-bus总线架构，可以将SmartModel仿真模型与HIF模块及外部模块等放在一起进行总体仿真。HIF模块作为X-bus外围总线上的一个模块挂接在X-bus总线架构上。这样就可以实现一个基于X-bus架构的HDTV-SoC平台的系统仿真及验证。