公开(公告)号：CN101894063B

公开(公告)日：2012-09-26

申请号：CN201010201216.6

申请日：2010-06-13

Applicant: 北京北大众志微系统科技有限责任公司 ,  济南众志信息技术有限公司 ,  北京大学

Inventor： 程旭 ,  佟冬 ,  张良

IPC: G06F11/26 ,  G06F11/36

Abstract: 一种用于微处理器功能验证的测试程序生成方法及装置；方法包括：A、随机生成μ+λ个个体并保存成原始生成种群；将所述原始生成种群作为当前种群；B、结合指令库，将当前种群中的个体转化为测试程序；C、仿真执行当前种群中的各个体转化得到的测试程序，生成功能覆盖报告；D、如果当前种群是原始生成种群，则直接进行步骤E；否则选择当前种群中的个体进行λ次交叉、变异操作，产生的新个体也保存进当前种群，然后进行步骤E；E、根据功能覆盖报告，从当前种群中选出至少μ个个体作为新一代种群；F、如果满足停止条件，则输出该新一代种群中个体对应的测试程序集；否则将该新一代种群作为当前种群，返回步骤B。

公开(公告)号：CN101894063A

公开(公告)日：2010-11-24

申请号：CN201010201216.6

申请日：2010-06-13

Applicant: 北京北大众志微系统科技有限责任公司

Inventor： 程旭 ,  佟冬 ,  张良

IPC: G06F11/26 ,  G06F11/36

Abstract: 一种用于微处理器功能验证的测试程序生成方法及装置；方法包括：A、随机生成μ+λ个个体并保存成原始生成种群；将所述原始生成种群作为当前种群；B、结合指令库，将当前种群中的个体转化为测试程序；C、仿真执行当前种群中的各个体转化得到的测试程序，生成功能覆盖报告；D、如果当前种群是原始生成种群，则直接进行步骤E；否则选择当前种群中的个体进行λ次交叉、变异操作，产生的新个体也保存进当前种群，然后进行步骤E；E、根据功能覆盖报告，从当前种群中选出至少μ个个体作为新一代种群；F、如果满足停止条件，则输出该新一代种群中个体对应的测试程序集；否则将该新一代种群作为当前种群，返回步骤B。

公开(公告)号：CN101685386A

公开(公告)日：2010-03-31

申请号：CN200910163703.5

申请日：2009-08-14

Applicant: 北京北大众志微系统科技有限责任公司

Inventor： 程旭 ,  张良 ,  佟冬 ,  李险峰

IPC: G06F7/57

Abstract: 本发明公开了一种用于处理任意宽度数据的算术逻辑单元及其处理方法，该逻辑单元包括通用算术逻辑单元，还包括：第一移位器A，用于对第一源操作数进行预处理，并将预处理结果输出至通用算术逻辑单元的输入端口A；第二移位器B，用于对第二源操作数进行预处理，并将预处理结果输出至通用算术逻辑单元的输入端口B；第三移位器C，用于通用算术逻辑单元的输出数据进行后处理；通用算术逻辑单元对第一移位器A、第二移位器B的预处理结果执行算术逻辑运算。本发明可以处理操作数位宽小于通用算术逻辑单元数据宽度的任意操作数。