随着集成电路设计规模的不断增长和功能复杂度的不断增加，验证尤其是功能性验证已经成为制约设计效率提高的一个瓶颈。据统计，目前验证作为IC设计的一部分，已经占到设计工作量的70％。提高功能性验证的效率并同时减少其工作量的方法就是，在功能性验证中采用新的验证方法学，并且使用基于新的方法学上的验证技术。　　 本文讨论了断言验证思想，约束随机的激励产生方式以及事务模型的层次化验证模型，提出了基于事务的断言验证平台的设计方案。文中使用了synopsys公司的VCS验证工具、openvera验证语言和断言验证语言OVA(openvera assertions)。论文的主要工作和取得的成果如下：　　 1.介绍了功能验证的几种主要方法和当前的发展方向；讨论了断言验证的理论基础和断言的语法实现。确定了断言监控器的两种数据类型，并定义断言描述方式。提出了两种事务层次断言监控器的实现方法：基于有限状态机的监控器模块和基于总线(协议)的监控器模块。　　 2.结合定向测试、约束随机激励的思想和DD模型提出常规激励的生成方式和针对断言目标属性的测试例生成技术。　　 3.采用事务验证的思想实现基于事务库模式的事务处理器。结合事务处理器和断言监控器模块提出了使用层次化模型、基于事务的断言验证平台的实现方案。并详细规划了平台中各个层次，以及层次中每个功能模块。　　 4.分析了LDPC的几种译码算法的实现过程和译码性能。详细讨论了采用efficient编码算法和归一化的BP算法，在窄带高斯信道条件下LDPC译码能力；分析了全并行结构、部分并行结构、串行结构的硬件特点。根据DMB-TH系统的LDPC码特点选用了部分并行结构，以完成3种不同码率的译码。　　 5.将基于事务的断言验证平台的设计方案，运用于基于DMB-TH协议的LDPC译码器模块中。通过仿真测试，统计了验证平台的执行效率，验证了该方案的实用性和有效性。同时证明了LDPC译码器设计正确。