職位描述
職位描述
我們正在尋找一位積極進(jìn)取且注重細(xì)節(jié)的RTL設(shè)計(jì)和驗(yàn)證工程師加入我們公司。該角色將專注于實(shí)現(xiàn)和驗(yàn)證基于斯坦福大學(xué)多年研究的創(chuàng)新驗(yàn)證技術(shù)的產(chǎn)品，我們正在擴(kuò)展并將其轉(zhuǎn)變?yōu)楣I(yè)用途。 您將負(fù)責(zé)開發(fā)、調(diào)試和維護(hù)啄木鳥驗(yàn)證IP的代碼，驗(yàn)證IP將在形式化驗(yàn)證環(huán)境中進(jìn)行測試。 這是一個(gè)很好的機(jī)會(huì)，可以加入一個(gè)精英團(tuán)隊(duì)，在一個(gè)具有挑戰(zhàn)的領(lǐng)域?qū)W習(xí)，貢獻(xiàn)和創(chuàng)新。 個(gè)人還將與客戶合作，將IP集成到他們的驗(yàn)證流程中。
啄木鳥為選定的候選人提供有競爭力的薪酬，并具有公平性。工作地點(diǎn)可議，工作薪資可議。
主要職責(zé)
這些職責(zé)將根據(jù)候選人的技能和專業(yè)知識來定，并將包括以下幾項(xiàng)，但不限于：
深入了解 啄木鳥的IP和產(chǎn)品。
為我們的驗(yàn)證解決方案創(chuàng)新新的功能和技術(shù)。
編寫規(guī)范文檔并對其進(jìn)行維護(hù)。
與驗(yàn)證工程師合作 制定測試計(jì)劃。
編寫 RTL 和 PSL 或 SVA 代碼。
確保邏輯設(shè)計(jì)符合架構(gòu)規(guī)范。
設(shè)置 RTL 設(shè)計(jì)環(huán)境、工具、方法和基礎(chǔ)結(jié)構(gòu)。
驗(yàn)證覆蓋率和調(diào)試失敗率。
通過目標(biāo)設(shè)計(jì)的微架構(gòu)功能來擴(kuò)展我們的IP的功能列表。
資格
具有電機(jī)/電子/計(jì)算機(jī)的本科,碩士,博士學(xué)位。

資深工程師：年資7+（本科）或5+（碩士,博士）具ASIC/IP/SoC設(shè)計(jì)驗(yàn)證相關(guān)經(jīng)驗(yàn)
工程師: 年資2~5 (本科, 碩士,博士 ) 具ASIC/IP/SoC設(shè)計(jì)驗(yàn)證相關(guān)經(jīng)驗(yàn)

熟悉計(jì)算機(jī)體系結(jié)構(gòu)和先進(jìn)的CPU知識。
在參數(shù)化和可配置的Verilog/SystemVerilog編碼方面擁有豐富的經(jīng)驗(yàn)。
熟悉芯片前端設(shè)計(jì)流程，包括相關(guān)的第三方RTL驗(yàn)證工具，形式化驗(yàn)證和版本控制方法/系統(tǒng)，如Perforce或GIT。
精通Linux用戶，具有至少一種編程語言（如C，C++或Java）的經(jīng)驗(yàn)，以及一種用于設(shè)置前端設(shè)計(jì)基礎(chǔ)架構(gòu)和構(gòu)建環(huán)境的腳本語言（如 shell, Perl, Tcl）。
通過形式化模型檢查工具和概念證明的知識和經(jīng)驗(yàn)。
熟悉使用云計(jì)算平臺(tái)，如AWS或GCP。
較強(qiáng)的 分析和 解決問題的能力。
能夠在各種抽象級別上獨(dú)立工作。
良好的溝通，人際交往和團(tuán)隊(duì)合作。
強(qiáng)烈希望學(xué)習(xí)創(chuàng)業(yè)環(huán)境中所需的各種技能。
能夠與內(nèi)部和外部團(tuán)隊(duì)/客戶有效合作。
首選技能
具有 SoC架構(gòu)、集成和/或驗(yàn)證方面的經(jīng)驗(yàn)。
熟悉 IP 加密方法和實(shí)施。
具有ACE，AHB，AXI等片上總線協(xié)議的經(jīng)驗(yàn)。
了解DFT（測試設(shè)計(jì)），DFD（調(diào)試設(shè)計(jì)）和 CP/FT測試流程。 
具有硅后驗(yàn)證/調(diào)試經(jīng)驗(yàn)。
對高級語言編譯器技術(shù)的基本了解。