一种快速验证FPGA互连线连接正确的方法

    公开(公告)号:CN110874517A

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

    申请号:CN201810906785.7

    申请日:2018-08-10

    Applicant: 北京大学

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

    一种实时变焦光线追踪渲染引擎

    公开(公告)号:CN107665501A

    公开(公告)日:2018-02-06

    申请号:CN201610618848.X

    申请日:2016-07-29

    Applicant: 北京大学

    Inventor: 严伟 袁诗明

    CPC classification number: G06T15/06 G06T15/005 G06T15/506 G06T2200/04

    Abstract: 本专利发明了一种实时变焦光线追踪渲染引擎。该引擎使用光线追踪渲染技术,将三维场景模型的数据通过计算转换为二维数字图像,图像中的每一个像素的颜色值都根据三维场景中的物体的几何结构、物体表面及内部的光学特性等参数决定。本专利通过对虚拟摄像机模型的建模,实现了虚拟摄像头对焦距等参数变化的实时处理。通过对同光口径、焦距等参数的动态配置,用户使用本专利发明的虚拟摄像机数据结构,可以实时地观察并获得有背景虚化效果的渲染结果。

    一种坐标变换并行计算方法和装置

    公开(公告)号:CN107102841A

    公开(公告)日:2017-08-29

    申请号:CN201710221361.2

    申请日:2017-04-06

    CPC classification number: G06F7/5446 G06F7/548

    Abstract: 本发明公开一种新型的低z通路判断,低延迟,高精度的并行CORDIC计算方法和装置,方法步骤为:(1)对输入的XIN,YIN,ZIN进行变换,使输入角度值调整到区间内,对调整后的弧度拆分成三个部分:高位,中位,低位;(2)对的高m位进行预测得出前m次旋转方向值,对前m次旋转的目标角度进行量化,产生新的旋转矩阵,将前m次旋转误差累计到低位,得到新的Z值,对剩余的角度Z分段采用不同的预测方法,可同时得出后面所有的旋转方向值;(3)对m到N/2次旋转采用传统矩阵,对N/2到N次旋转利用乘法直接求得,最后进行象限恢复输出计算得到的三角函数值。

    一种乘除法器及运算方法
    64.
    发明公开

    公开(公告)号:CN104375802A

    公开(公告)日:2015-02-25

    申请号:CN201410490083.7

    申请日:2014-09-23

    Abstract: 本发明公开一种乘除法器,用于实现任意位数无符号或有符号数除法运算和任意位数的无符号乘法运算,该乘除法器包括:一数据预处理器,该数据预处理器与一第一、第二操作数、一乘除法运算选择信号以及一除法模式选择信号连接,根据该一乘除法运算选择信号以及一除法模式选择信号对该第一、第二操作数进行处理;一迭代运算单元,用于根据该乘除法运算选择信号,进行余数补零及除数移位,或者进行乘数移位及被乘数扩展;一除法运算单元,用于生成一两位商和一余数;一乘法运算单元,用于生成一乘积结果;一运算控制计数器,用于控制该迭代运算单元的运算位数;一结果寄存器,用于存放该商、余数和/或乘积结果。

    一种基于道路车辆网络的多信道分配方法

    公开(公告)号:CN102137402A

    公开(公告)日:2011-07-27

    申请号:CN201110106905.3

    申请日:2011-04-27

    Applicant: 北京大学

    Abstract: 本发明提供了一种基于道路车辆网络的多信道分配方法,属于计算机无线通讯和移动网络技术领域。该方法包括:根据可用的信道数确定划分数;根据车辆通讯半径的大小确定划分路段的长度;以一个划分单位相交错的方式划分路段;按照规则对每个划分好的路段进行信道的分配;对道路的交叉口和形成环形的道路分别进行相应的特殊处理。本发明从车辆网络中道路约束这个角度出发,将车辆网络中的多信道分配问题由动态的二维空间的问题转化为静态的一维空间为主的问题,大大降低了问题的复杂性,并达到降低干扰、降低通信开销及保持网络连通性的优良性能。

    无线网状网络的骨干节点相对定位方法

    公开(公告)号:CN101110732A

    公开(公告)日:2008-01-23

    申请号:CN200710119650.8

    申请日:2007-07-27

    Applicant: 北京大学

    Abstract: 本发明提供一种无线网状网络的骨干节点相对定位方法,属于无线Mesh网络技术领域。该方法包括:每个节点都设置各自的HELLO消息时序、距离信息时序、局部坐标系运算时序、选取中心节点时序和生成全局坐标时序;节点按照各自的HELLO消息时序、距离信息时序和局部坐标系运算时序周期性将HELLO消息、DISTANCE消息和CALCOOR消息发送给自己所有的邻居节点,并启动选取中心节点时序,选举出一中心节点;中心节点按照生成全局坐标时序向外发送MERGE消息,当其他节点接收到该消息,将本节点已生成的局部坐标系旋转为全局坐标系,并构建新的全局坐标系计算信息向外扩散,逐步将所有骨干节点的局部坐标系合并为一个全局坐标系。采用本发明可使WMN网络骨干节点准确定位。

    一种仿真移动自组织网络的方法

    公开(公告)号:CN101051874A

    公开(公告)日:2007-10-10

    申请号:CN200710099382.8

    申请日:2007-05-18

    Applicant: 北京大学

    Abstract: 本发明公开了一种仿真移动自组织网络的方法,属于移动自组织网络技术。该方法利用应用-接口分离技术,将被仿真节点与实验节点映射关系固定,实验节点根据该节点映射关系对应用程序的数据包进行调度,实现移动自组织网络的仿真。本发明将采样时刻的节点映射关系部署在仿真平台中的不同无线节点上,保持了移动自组织网络中应用分布运行的特点,同时将该技术与射频信号衰减控制相结合,可获得对移动自组织网络中无线链路传输特性和节点移动两大特点的高仿真有效性,既保证了较好的无线链路传输特性仿真有效性,又降低了部署成本。

    一种乘除法器
    68.
    实用新型

    公开(公告)号:CN204143432U

    公开(公告)日:2015-02-04

    申请号:CN201420548842.6

    申请日:2014-09-23

    Abstract: 本实用新型公开一种乘除法器,用于实现任意位数无符号或有符号数除法运算和任意位数的无符号乘法运算,该乘除法器包括:一数据预处理器,该数据预处理器与一第一、第二操作数、一乘除法运算选择信号以及一除法模式选择信号连接,根据该一乘除法运算选择信号以及一除法模式选择信号对该第一、第二操作数进行处理;一迭代运算单元用于根据该乘除法运算选择信号,进行余数补零及除数移位,或者进行乘数移位及被乘数扩展;一除法运算单元,用于生成一两位商和一余数;一乘法运算单元,用于生成一乘积结果;一运算控制计数器,用于控制该迭代运算单元的运算位数;一结果寄存器,用于存放该商、余数和/或乘积结果。

    一种基于BP神经网络调节PI控制器参数的电路

    公开(公告)号:CN204695010U

    公开(公告)日:2015-10-07

    申请号:CN201520253493.X

    申请日:2015-04-22

    Abstract: 本实用新型公开一种基于BP神经网络调节PI控制器参数的电路,用于根据一状态参数输出该PI控制器的输入参数,包括:一输入层单元,用于根据该状态参数生成一输入层输出;一隐含层单元,用于根据该输入层输出以及一输入-隐含权值生成一隐含层输出;一输出层单元,用于根据该隐含层输出以及一隐含-输出权值生成该PI控制器的输入参数;一隐含-输出权值调整单元,用于根据该隐含层输出、该PI控制器的输入参数以及该状态参数生成该隐含-输出权值;一输入-隐含权值调整单元,用于根据该输入层输出、该隐含层输出以及该隐含-输出权值生成该输入-隐含权值。

    一种环形振荡器电路
    70.
    实用新型

    公开(公告)号:CN204633751U

    公开(公告)日:2015-09-09

    申请号:CN201520286559.5

    申请日:2015-05-06

    Abstract: 本实用新型公开一种环形振荡器电路,用于实现温度补偿以稳定时钟频率,其特征在于,包括:一基准带隙单元,用于接收一电源电压并输出一与温度成反比的负温度系数电压以及一偏置电压;一线性稳压单元,用于接收该负温度系数电压以及该偏置电压,输出一放大后的负温度系数电压;一环形振荡单元,该环形振荡单元接收该放大后的负温度系数电压作为工作电压,并输出稳定的该时钟频率;一电平转换单元,该电平转换单元接收该偏置电压用于将该环形振荡单元的工作电压由该放大后的负温度系数电压转换为该电源电压。

Patent Agency Ranking