2019年6月18日下午“旋極FPGA驗證及軟件安全性測試技術研討會”于北京長峰假日酒店成功舉辦。會議吸引了眾多來自FPGA與軟件行業的開發測試技術人員,旨在為行業搭建專業化的合作交流平臺,幫助大家更好的了解FPGA軟件測試領域的測試技術和解決方案等內容。
北京旋極銷售總監宋玉平先生參加本次會議并致辭。熱情歡迎各位嘉賓的到來,介紹了多年來旋極在FPGA軟件安全測試領域積累的研發經驗,經過不斷專研與磨礪,當前旋極已達到業內領先水平。希望借助平臺能夠促進各方交流,加強合作,共同推動FPGA軟件領域的技術發展與應用。
研討會開幕致辭
上海旋極技術總監馬翔代表技術團隊就“FPGA功能測試驗證”的主題做了精彩演講,為用戶提供了兩種高效能的FPGA測試解決方案,OneSpin提供最先進、最強大的驗證平臺,使設計團隊能夠創建功能正確、安全、可靠且值得信賴的SoC,而EXOSTIV主要是FPGA板的創新分析,驗證和調試解決方案。針對以上產品與聽眾進行了深度交流與互動,并于會后通過設置獨立展臺為大家進一步演示了方案操作流程,使在場嘉賓感受到更為直觀的產品功能體驗。
“FPGA專用的RTL-Netlist等效性檢查”的主題演講
技術交流環節
會后產品演示引來嘉賓關注
FPGA資深工程師史龍飛發表了“基于模型庫的FPGA仿真測試”的主題演講,其中包含的HDLSimTP軟件是一款針對 FPGA軟件仿真測試平臺進行環境建模的工具,通過可視化來管理平臺、模型和組件,對FPGA軟件開展仿真測試。
“基于模型庫的FPGA仿真測試”的主題演講
北京旋極技術工程師張新杰發表了關于“軟件安全性測試”的主題演講,他由軟件安全—safety和security的兩個概念介紹,引入到嵌入式軟件行業更加關注代碼的內部安全,目前主要利用自動化的靜態分析或者代碼審查去發現不合規代碼以及軟件缺陷,如何修復這些潛在的缺陷,從而保證代碼質量,提高代碼安全,他提供了四種解決方案,CodeSonar基于SAST和DAST的一款靜態代碼分析工具;DefenseCode依托和覆蓋OWASP TOP10缺陷列表的主流解決方案,以及WhiteSource開源庫的安全性檢測解決方案和Julia針對二進制代碼的安全分析。
“軟件安全性測試”的主題演講
技術交流環節
會議精彩瞬間
抽獎環節
一等獎幸運嘉賓
嘉賓領取伴手禮
FPGA驗證及軟件安全測試工具咨詢請Mail至:
info@softtest.cn
— 感謝您的關注 —