公开(公告)号：CN110874517A

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

申请号：CN201810906785.7

申请日：2018-08-10

Applicant: 北京大学

Inventor： 严伟 ,  胡凯 ,  范继聪 ,  徐彦峰 ,  惠锋

IPC: G06F30/34

Abstract: 本发明为一种快速验证FPGA互连线连接正确的方法，基于形式验证思想，采用拓扑结构比对，来验证互连线的连接正确。具体从两个方面出发，一是在FPGA设计初期，制定完善的互连线规格说明，根据规格说明，定制互连资源生成工具，生成互连资源文件。二是在芯片设计过程中，采用层次化的设计方法，对所有INSTANCE进行规则命名，使FPGA中每一个SWB都有唯一的标识，电路设计成功后，开发网表解析工具来解析得到实际电路的互连资源。将上述两个互连资源文件进行比对，即可发现设计中存在的问题，实现互连线连接正确性的验证。本发明所提方法可以快速完成FPGA互连线连接正确的验证，覆盖率高达100％，极大的缩短了设计时间。

公开(公告)号：CN203954738U

公开(公告)日：2014-11-26

申请号：CN201420394032.X

申请日：2014-07-16

Applicant: 北京大学第三医院

Inventor： 胡凯

IPC: B01D17/02 ,  B01D21/00

Abstract: 本实用新型属于医学设备技术领域，所公开的分离装置，用于分离血液和骨髓颗粒，包括载玻片，所述分离装置还包括：第一支撑件，位于水平面，且设置有多个限位件；第二支撑件，相对于所述水平面倾斜延伸，所述第二支撑件较低的一端与所述第一支撑件铰接，所述载玻片沿着所述第二支撑件所在的平面倾斜布置；第三支撑件，用于支撑所述第二支撑件处于倾斜状态，所述第三支撑件的顶端铰接在所述第二支撑件高于所述第二支撑件较低的一端的部位上，所述第三支撑件的底端用于与多个所述限位件限位配合以调节所述第二支撑件的倾斜角度。本实用新型提供的分离装置能够解决目前的分离装置适用范围较窄的问题。