发明名称 Design Verification Method Using Mixed Emulation, Simulation, and Formal Verification
摘要
申请公布号 KR100767957(B1) 申请公布日期 2007.10.17
申请号 KR20020052369 申请日期 2002.08.28
申请人 发明人
分类号 G06F11/26 主分类号 G06F11/26
代理机构 代理人
主权项
地址