第7章 逻辑模拟和数模混合模拟