基于PSL断言的宽带电路交换芯片验证

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于PSL断言的宽带电路交换芯片验证

张华;郭建;韩俊刚

Broadband Digital Cross Connection Chip Verification Based on PSL Assertion

ZHANG Hua; GUO Jian; HAN Jungang

计算机工程 . 2007, (14): 216 -218, . DOI: 10.3969/j.issn.1000-3428.2007.14.077