论文部分内容阅读
介绍了TFT-LCD驱动芯片内置SRAM验证方法：（1）采用模拟验证和形式验证相结合的前端设计验证方法，完成各模块的功能验证及整个SRAM的功能和时序验证。模拟验证技术，利用模拟工具对被测试模块施加测试激励信号，检查输出信号是否符合预期要求；模拟方法可以同时检查被测试模块的功能及时序方面的响应情况，能够全面体现电路的行为。形式验证技术，在集成电路设计中，是通过算法的手段进行等价性检查，比较两种设计之间的功能等价性。（2）采用结构化抽取寄生参数和建立关键路径的方法，完成SRAM性能的评估，即后端设计验证。并