随着超大规模集成电路工艺的发展，电路规模越来越大、电路设计的复杂度越来越高，系统芯片成为微电子技术的发展方向。其中的一项关键技术就是基于IP核的设计及重用技术。 本文研究了集成电路技术的发展与SOC、IP复用技术的重要性，以及集成电路验证技发展。详细地讨论了基于IP核的SOC多媒体解调芯片的后端技术。论文的主要工作包括以下三个部分： 1.采用自下而上的设计方法，制定了系统芯片的逻辑综合策略和综合设计约束，以及设计中所采用的可测性设计-扫描测试、存储器内建自测技术。 2.为了保证超大规模数字电路中的关键问题-检查设计的正确性，设计中引入了形式验证，根据形式验证原理，使用等价性验证方法保证后端设计过程的正确性。 3.根据静态时序分析技术的原理。制定了在布局布线后的对各种模式和各种PVT条件下的时序的分析约束。 在本设计中本人主要工作是对整个芯片的逻辑综合，以及综合之后对所产生的网表与RTL代码进行等价性验证；同时对于布局布线之后的网表和综合后的网表进行等价性验证，以及对布局布线之后的结果进行静态时序分析。在综合过程中完整的时序约束达到了对芯片全面约束的要求；在综合和布局布线之后的对设计的等价性验证保证了设计的正确性；对各种模式下的静态时序分析方案成功模拟和分析了芯片工作时的时序，从而实现了芯片的成功流片。 逻辑综合过程使用synopsys公司的Design Compiler工具。采用onespin公司的CVE工具对产生的结果进行了等价性验证。最后使用Design Compiler公司的Prime Time工具完成了整个芯片的静态时序分析。 该多媒体解调器芯片己于2007年12月生产流片成功，目前通过测试，处于进一步SOC系统开发阶段。