随着芯片工艺尺寸的减小,功耗问题变得越来越重要,在传统芯片设计的基础上,低功耗的设计方法被越来越多地应用到设计当中。低功耗的设计贯穿于芯片设计的整个流程。验证是基带芯片设计中的重要环节。验证中关电电压域在上电时电压域间的隔离失效,关电电压域边界可能存在不定状态的传输。不定状态在信号传输上会造成信号状态紊乱,物理实现时会导致pn节导通,系统漏电的隐患,因此在上电过程中需要检查关电电压域的边界不能有不定状态的传输。通过在仿真中加入检查机制来验证这一验证点。本文在低功耗理论知识研究的基础上,通过一个简单模块的低功耗设计和验证介绍了低功耗设计和验证的具体过程,包括代码设计,仿真验证,检查脚本的设计和实现。当设计较为复杂和针对于不同的设计时,通过人工写检查程序存在人力浪费和准确性的问题,而且验证的方法学要求检查的自动化实现。为了满足这些需求,对基带芯片3G模块的低功耗验证中关电电压域上电时的边界检查进行了自动化流程的设计。自动化流程的设计包括编写程序收集低功耗信息,对信息进行分析处理和设计边界检查函数。自动化流程的设计在低功耗验证中关电电压域上电时,根据隔离使能信号触发自动检查机制,定位到该隔离使能信号所控制的电压域的边界,自动检查边界信号是否存在不定状态,生成检查报告。另外,为了保证设计的自动化流程的正确性,通过了大量低功耗理论的研究,并且在不同类型设计上进行测试分析。本文介绍的低功耗验证中关电电压域边界检查的自动化实现流程是对低功耗验证中的验证点之一的上电边界检查过程的优化,这个自动化流程不仅针对于文中提到的基带芯片的3G模块,还可以应用到不同类型芯片的低功耗设计的验证中,分析设计结构,生成边界检查机制,在仿真过程中,定位需要检查边界的模块,生成边界检查程序,检查不定状态是否存在。这种自动化检查的机制适用于大部分低功耗设计的验证,满足了验证方法学对检查自动化的要求,大大减少了人工写程序带来的人力浪费,提高了验证的准确度问题。