从发现NP-Complete与NP-Hard世纪难题的算法突破, 到研发全球首个”硬件芯片电路病毒自动侦测扫除工具”

企业名称：Easy-Logic Technology Limited（奇捷科技）

项目名称：从发现NP-Complete与NP-Hard世纪难题的算法突破, 到研发全球首个”硬件芯片电路病毒自动侦测扫除工具”

项目及团队简介：

电子病毒有两种: 软件程序病毒与藏在硬件芯片里的电路病毒。 电路病毒可定义为第三方所偷植入, 且具特定恶意之非原设计电路。其中尤以”功能性病毒”(Functional Hardware Trojan) 最为可怕! 因其目的是改变原有的设定功能，比方把发射后的飞弹从打敌方变成打己方。美国DARPA 多年前即已发现此潜伏问题的严重性, 然而不像软件扫毒工具的普遍, 电路病毒的侦除工具竟然至今仍然完全付之阙如. 所以DARPA特设了个US$49M之IRIS项目鼓励研发，其实此工具的研发在民用上也越来越迫切了。由于EDA的年使用权利金(license charge)高达数百万美金, 而且如不是一年到头都在使用等同形成浪费. 所以对许多IC设计公司, 就如芯片制程的外包给台积电或中芯, EDA程序的外包是走向共享经济较省钱的大趋势 (已有提供此类服务的公司如GUC)。而EDA外包回来的IC设计 (试想5G自动驾驶芯片), 肯定就有做电路病毒侦除的必要. 硬件病毒的侦测可以使用Logic Equivalence Checking (LEC), 扫毒可用Functional ECO (FECO) 的技术。

为解决此两样分别是NPC与NPH的难题, 我团队发展的“耦对互补算法”已被证明除了国际竞赛的优胜, 延伸而成的商用产品也能大幅超越其他市面相关产品.目前已在国内开始试用推广中. 除未来国际市场估计应有数十亿美元, 亦深切期盼此新算法的推广亦可抛砖引玉打开NP解法的新一轮研究方向。Easy-Logic: 提出世界第一個芯片掃毒的可行技術, 可以對硬體安全性帶來龐大贡献。受邀於ASPDAC-2016國際會議發表。安全無價: 芯片掃毒(已申美/中專利)市場潛力龐大。

夢想目標: 就像互聯網的谷歌, 成為未來全球硬體安全技術供應者的谷歌。

“兩岸三地”聯手團隊：

Prof. Yu-Liang  (David) WU 吳有亮教授

(CEO) PhD of ECE

超十年工業經驗 (大同, Bell Labs, Amdahl, Cadence..),獲大同公司自動機構設計發明獎, 多項美中專利, 多次國際最佳論文獎

18年香港中文大學電腦工程教授研發經驗

國際 ICCAD CAD 三次冠軍 指導教授

創 NP-Hard (Stock cutting)至今最佳P結果記錄

創 NP-Complete (LEC) 至今最佳P結果記錄"

Dr. Datong Chen

陳大同 博士

中國首位兩家科技公司在美國 NASDAQ上市 創始人

 (Spreadtrum 展讯通信公司, OmniVision 豪威科技)

Xing WEI 魏星博士 (CTO)

清華學碩士,

PhD of Computer Engineering

14歲起連獲北京資訊奧林匹克少年組冠軍, 一等獎

國際 ICCAD CAD 三次冠軍

团队/企业图片：