公开(公告)号：CN111399913A

公开(公告)日：2020-07-10

申请号：CN202010505312.3

申请日：2020-06-05

Applicant: 浙江大学

Inventor： 黄凯 ,  金琳莉 ,  蒋小文 ,  王轲

IPC: G06F9/38

Abstract: 本发明涉及存储器领域，公开了一种基于预取的处理器加速取指方法，首先确定Buffer的位宽和数量，再通过Buffer实现预取，以使存储器在未被访问，即空闲时，Buffer能自动改变地址，发起对存储器的读请求，进而将新的未来可能用到的数据读入Buffer，减少未来处理器取指的等待时间。本发明简单高效，与一般利用Buffer的做法相比，本发明的Buffer还能实现位宽协调的作用。

公开(公告)号：CN115879172A

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

申请号：CN202211480339.7

申请日：2022-11-24

Applicant: 浙江大学

Inventor： 金琳莉 ,  黄凯 ,  王轲 ,  蒋小文 ,  刘智力

IPC: G06F21/72 ,  H03M13/01 ,  H03M7/28

Abstract: 本发明属于集成电路技术领域，公开了一种集成电路加密电路状态机的破解方法，包括步骤1：对网表施加激励，提取信息；步骤2：将求解密钥的过程视为状态机重构的过程，并将此问题转化为约束编程问题；步骤3：若CP‑SAT solver解得的key的数量为1，攻击结束，得到唯一正确key，否则用Synopsys VC Formal SEQ Application进行时序等价性检查，并结合Oracles进一步排除错误的key，直到得到唯一正确的key或多个等价的key。本发明攻击时长主要取决于状态机的规模及其内部固有的跳转关系，攻击时间短，效率高。

公开(公告)号：CN111399913B

公开(公告)日：2020-09-01

申请号：CN202010505312.3

申请日：2020-06-05

Applicant: 浙江大学

Inventor： 黄凯 ,  金琳莉 ,  蒋小文 ,  王轲

IPC: G06F9/38

Abstract: 本发明涉及存储器领域，公开了一种基于预取的处理器加速取指方法，首先确定Buffer的位宽和数量，再通过Buffer实现预取，以使存储器在未被访问，即空闲时，Buffer能自动改变地址，发起对存储器的读请求，进而将新的未来可能用到的数据读入Buffer，减少未来处理器取指的等待时间。本发明简单高效，与一般利用Buffer的做法相比，本发明的Buffer还能实现位宽协调的作用。