发明名称 A method for proving logic circuits and the device using the method
摘要
申请公布号 KR100800471(B1) 申请公布日期 2008.02.01
申请号 KR20060004878 申请日期 2006.01.17
申请人 发明人
分类号 G06F11/26;G06F11/00 主分类号 G06F11/26
代理机构 代理人
主权项
地址