随着信息技术的深入发展,研发自主可控的高性能微处理器具有非常重要的意义。FT-MX处理器是国防科技大学微电子所自主研发的一款高性能低功耗的32位多核DSP芯片,芯片采用VLIW结构设计,支持16/32位变长指令集,每周期最大可以支持11条标/向量指令混合并行发射。由于FT-MX每周期指令流出数较大,并且支持可变长指令集的设计,使得设计实现高效的指令派发部件的难度增大。随着集成电路规模的越来越大,设计复杂度越来越高,集成电路的验证难度因此也越来越大,为了解决集成电路设计复杂度与验证能力之间的不匹配,集成电路验证技术已经成为研究的重点,得到了越来越多的重视。本文以高性能FT-MX处理器开发研制为背景,主要的工作内容包括以下几点:1)针对TI公司的DSP的示例数字信号领域的程序进行模拟,结合模拟结果以及分析结果,对FT-MX处理器的指令集进行了设计与优化,并对FT-MX处理器指令集进行了性能评估;2)结合FT-MX处理器的VLIW结构与处理器的指令集设计,实现了高效的并行指令派发部件设计,并对指令派发部件进行性能评估;3)对FT-MX处理器指控通路进行功能点总结,搭建基于模拟的系统级验证平台,对指控通路进行了模拟验证,并分析了模拟验证结果。对FT-MX处理器指控通路进行形式验证,采用等价性检查验证技术,将等价性检查与断言验证相结合,约束验证空间,建立黄金模型,搭建等价性检查的验证平台,对指控通路进行等价性检查。对两种验证进行分析与对比,为集成电路功能验证提供理论与实践的经验。