-
公开(公告)号：CN102063371A
公开(公告)日：2011-05-18
申请号：CN201010612762.9
申请日：2010-12-29
Applicant: 大唐微电子技术有限公司
IPC: G06F11/36
Abstract: 本发明提供一种验证芯片处理器逻辑设计的方法和系统，涉及计算机应用领域；所述系统中所述芯片包括输入接口、输出接口和处理器，其特征在于，所述处理器加载有虚拟机程序，其中：所述输入接口，用于读取以所述虚拟机程序可识别的语言开发的用于验证所述处理器逻辑设计的验证用例；所述处理器，用于调用所述虚拟机程序执行所述输入接口读取的验证用例，得到执行结果，并根据所述执行结果，生成逻辑设计的验证结果；所述输出接口，与所述处理器相连，用于输出所述逻辑设计的验证结果。
Search Results
1
records
(took 0.031 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
