bdd论文

时序逻辑电路的形式验证方法研究
吕毅[1]2000年在《时序逻辑电路的形式验证方法研究》文中认为近年来，由于电路规模不断增大和电路功能日趋复杂，使得大规模集成电路的设计很难保证逻辑设计的正确无误。为了设计和建立高可靠性的VLSI系统，必须对VLSI的设计和实现进行有效的验证。目前主要的验证方法有模拟验证和形式验证两种，模拟验证是当...