-
公开(公告)号：CN107798203A
公开(公告)日：2018-03-13
申请号：CN201711136173.6
申请日：2017-11-16
Applicant: 宁波大学
IPC: G06F17/50
CPC classification number: G06F17/505
Abstract: 本发明公开了一种组合逻辑电路等效性检测方法，通过扩展余子式概念，将逻辑覆盖等效性检测问题分成分解成电路包含检测子问题,逐一求取其中一个电路表达式对另一个电路表达式各乘积项的余子式，然后在建立各乘积项余子式的香农结构图基础上判断其是否重言式，最后根据重言式判别结果确定两电路间是否覆盖等效关系；优点是通过求取乘积项余子式对逻辑函数进行分解和降阶处理,从而加快了覆盖等效性验证速度，可操作性和检测效率均较高，且不会出现内存爆炸问题，实验结构表明，本发明的方法稳定有效的，对EXPRESSO软件集成的三种算法所得电路的测试结果表明,与基于真值表和BDD的两种检测算法相比,具有明显的速度优势。
-
公开(公告)号：CN105138742B
公开(公告)日：2017-10-17
申请号：CN201510469355.X
申请日：2015-08-03
Applicant: 宁波大学
IPC: G06F17/50
Abstract: 本发明公开了一种二值FPRM电路面积最佳极性搜索方法，首先建立二值FPRM电路的面积估计模型，然后建立二值FPRM电路和人口迁移算法对应关系，再根据二值FPRM电路的面积估计模型得到人口迁移算法中用于计算人口所在地点的吸引力的吸引力函数，然后设置人口迁移算法与二值FPRM电路面积优化的对应关系，人口迁移算法相关参数后采用人口迁移算法计算得到吸引力最大地点和最大吸引力，其中吸引力最大地点即为二值FPRM电路的面积最佳极性，最大吸引力即为二值FPRM电路的最小面积，由此通过人口迁移算法得到二值FPRM电路面积优化结果；优点是可以快速搜索到面积最佳极性，面积优化效果明显。
-
公开(公告)号：CN106067807A
公开(公告)日：2016-11-02
申请号：CN201610392435.4
申请日：2016-06-03
Applicant: 宁波大学
IPC: H03K23/00
CPC classification number: H03K23/002
Abstract: 本发明公开了一种基于CNFET的三值加法计数器，包括脉冲信号发生器、n个加法记数单元和n输入与门，脉冲信号发生器具有输入端和输出端，加法记数单元具有输入端、输出端、时钟控制端和进位输出端，n输入与门具有n个输入端和输出端，脉冲信号发生器的输出端分别与n个加法记数单元的时钟控制端连接，n个加法记数单元的进位端与n输入与门的n个输入端一一对应连接，n输入与门的输出端为三值加法记数器的进位输出端，第k个加法记数单元的进位输出端和第k+1个加法记数单元的输入端连接，k＝1,2，…，n‑1，第j个加法记数单元的输出端为三值加法计数器的第j位输出端，j＝1,2，…，n；优点是减少了无效操作，降低了电路功耗与延时，具有高速低功耗特性。
-
公开(公告)号：CN105306075A
公开(公告)日：2016-02-03
申请号：CN201510532191.0
申请日：2015-08-27
Applicant: 宁波大学
IPC: H03M13/13
Abstract: 本发明公开了一种三值FPRM电路功耗最佳极性搜索方法，首先将三值FPRM电路采用p极性下的三值FPRM逻辑函数进行表示，然后分解三值FPRM逻辑函数中含有的多输入运算，得到p极性下的多个二输入模3加门和多个二输入模3乘门，将二输入模3加门和二输入模3乘门引起的功耗作为p极性下的三值FPRM电路的功耗，构建得到三值FPRM电路的功耗估计模型，最后采用模拟退火遗传算法对三值FPRM电路进行功耗最佳极性搜索，得到功耗最佳极性搜索及最小功耗；优点是实现三值FPRM电路功耗最佳极性搜索，从而实现三值FPRM电路功耗优化；随机采用13个MCNC Benchmark电路进行仿真验证，本发明搜索到的功耗最佳极性与0极性比较，模3加门数量平均节省57.64％，模3乘门数量平均节省46.25％，功耗平均节省73.98％。
-
公开(公告)号：CN105205534A
公开(公告)日：2015-12-30
申请号：CN201510552955.2
申请日：2015-09-01
Applicant: 宁波大学
CPC classification number: Y02D10/45
Abstract: 本发明公开了一种三值FPRM电路面积与功耗最佳极性搜索方法，构建人口迁移遗传算法，然后建立三值FPRM电路的面积估计模型和功耗估计模型，设定人口迁移算法中用于计算人口所在地点的吸引力的吸引力函数，建立三值FPRM电路和人口迁移遗传算法的对应关系，接着设定设置人口迁移遗传算法相关参数，最后采用人口迁移遗传算法得到吸引力最大地点和最大吸引力，吸引力最大地点即为三值FPRM电路的最佳极性；最大吸引力即为三值FPRM电路的最小面积和功耗之和；优点是可以同时优化三值FPRM电路的面积与功耗性能，提高三值FPRM电路的综合性能；采用10个测试电路进行仿真验证，本发明的优化方法相对于整体退火遗传算法，面积平均节省13.33％，功耗平均节省20.00％，时间平均节省64.96％。
-
Patent Agency Ranking
公开(公告)号：CN105138742A
公开(公告)日：2015-12-09
申请号：CN201510469355.X
申请日：2015-08-03
Applicant: 宁波大学
IPC: G06F17/50
Abstract: 本发明公开了一种二值FPRM电路面积最佳极性搜索方法，首先建立二值FPRM电路的面积估计模型，然后建立二值FPRM电路和人口迁移算法对应关系，再根据二值FPRM电路的面积估计模型得到人口迁移算法中用于计算人口所在地点的吸引力的吸引力函数，然后设置人口迁移算法与二值FPRM电路面积优化的对应关系，人口迁移算法相关参数后采用人口迁移算法计算得到吸引力最大地点和最大吸引力，其中吸引力最大地点即为二值FPRM电路的面积最佳极性，最大吸引力即为二值FPRM电路的最小面积，由此通过人口迁移算法得到二值FPRM电路面积优化结果；优点是可以快速搜索到面积最佳极性，面积优化效果明显。
-
-
公开(公告)号：CN109783061B
公开(公告)日：2023-04-25
申请号：CN201910041882.9
申请日：2019-01-16
Applicant: 宁波大学
IPC: G06F7/58
Abstract: 本发明公开了一种利用振荡器采样的真随机数发生器，包括热噪声发生器、环路振荡器、压控振荡器、D触发器和后处理电路，D触发器具有时钟端、输入端和输出端，热噪声发生器的输出端和压控振荡器的输入端连接，压控振荡器的输出端和D触发器的时钟端连接，环路振荡器的输出端和D触发器的输入端连接，D触发器的输出端和后处理电路的输入端连接，热噪声发生器的输入端用于接入参考电平，热噪声发生器包括数模转换器、运算放大器、第一电阻、第二电阻、第三电阻和第四电阻；优点是输出序列具有较高的比特率，可以满足高速电路的应用需求，且能够根据应用场景在比特率与随机性之间平衡，灵活性高。
-
公开(公告)号：CN115511066A
公开(公告)日：2022-12-23
申请号：CN202211108086.0
申请日：2022-09-13
Applicant: 宁波大学
Abstract: 本发明公开了一种基于氧化锌忆阻器的储备池计算系统，包括主控模块、脉冲累计发放模块、跨阻放大模块、信号反向模块和时分复用模块，脉冲累计发放模块包括196个脉冲累计发放子模块，跨阻放大模块包括196个跨阻放大子模块，信号反向模块包括98个信号反向子模块，每个脉冲累计发放子模块分别包括第一反相器、第二反相器、第一与门、第一二极管、第一忆阻器、第一PMOS管、第一NMOS管、第二NMOS管和第三NMOS管，每个跨阻放大子模块分别包括第一运算放大器和第一电阻，每个信号反向子模块分别包括第二运算放大器，时分复用模块包括第二忆阻器和第二电阻；优点是处理速度较快，识别精度较高，且训练消耗资源较低。
-
公开(公告)号：CN110784312B
公开(公告)日：2022-05-20
申请号：CN201910911035.3
申请日：2019-09-25
Applicant: 宁波大学
Abstract: 本发明公开了一种PUF器件的制备方法及其密钥生成方法，通过物质硫S、二氯化铅PbCl2、油胺OLA、甲醇、甲苯等现有廉价的基本化学物质来合成得到PbS量子点，且在合成得到PbS量子点过程中使用基本的化学实验仪器，PUF器件中PbS量子点的分布来源于纳米微粒在溶液中的布朗运动，PbS量子点的分布具有较高的唯一性和随机性，利用MATLAB软件中graythresh函数和im2bw函数将PUF器件内部PbS量子点的分布图TEM转化黑白图像，再对像素点进行识别得到初始密钥钥，对初始密钥进行冯·诺依曼处理后分组得到最终的密钥；优点是PUF器件制备原料容易获取，可以生成随机性和唯一性较高的密钥。
-
-
-
-
-
-
-
-
-
Search Results
85
records
(took 0.03 seconds)
