为使符号化模型检验技术适用于全部ω-正规性质，研究了ETL（extended temporal logic）的符号化模型检验方法．首先，扩展了LTL（linear tempo......

随着计算机软、硬件系统复杂性的日益增长,系统设计和实现的正确性越来越难以得到保证。因此,用以检验系统正确性的形式化方法亟待......

随着数字系统规模的不断增大,单时钟域设计会极大地限制数字系统性能,现代数字系统为了提升性能,常采用多时钟域的设计。跨时钟域......