AMD 上海 图形处理器 Formal Verification Engineer
时间：12-12
整理：3721RD
点击：
AMD上海GFXIP，招一个形式化功能验证工程师。
希望有形式化验证的学术或者工业背景。
jefwa at $MY_COMPANY dot com
Job: Formal Verification Engineer
Location : Shanghai
Apartment: AMD SRDC Graphics, Verification Methodology team
Job Description:
1. Research on state-of-art formal verification methodologies and adopt them to local verification applications.
2. Provide technical expertise and guidance on formal verification tools to conquer very complex verification problems. Provide heuristics to break through the limitations of nowadays industry formal tools in complex application.
3. Apply Formal property checking, Formal equivalence checking and Formal coverage analysis etc. on designs with very large scale.
4. Provide training on concepts, methodology and simple applications in local verification team.
5. Embed Formal verification solutions to design verification flows.
Requirements:
1. Ms or PhD degree on CS or EE
2. Sound knowledge of formal methods, have research or industry experience on formal methods
3. Good understanding on Model Checking, SAT, BDD, SMT and other formal techniques
4. Understanding on Front-end IC design flows.
5. Skills on C and RTL debugging
希望有形式化验证的学术或者工业背景。
jefwa at $MY_COMPANY dot com
Job: Formal Verification Engineer
Location : Shanghai
Apartment: AMD SRDC Graphics, Verification Methodology team
Job Description:
1. Research on state-of-art formal verification methodologies and adopt them to local verification applications.
2. Provide technical expertise and guidance on formal verification tools to conquer very complex verification problems. Provide heuristics to break through the limitations of nowadays industry formal tools in complex application.
3. Apply Formal property checking, Formal equivalence checking and Formal coverage analysis etc. on designs with very large scale.
4. Provide training on concepts, methodology and simple applications in local verification team.
5. Embed Formal verification solutions to design verification flows.
Requirements:
1. Ms or PhD degree on CS or EE
2. Sound knowledge of formal methods, have research or industry experience on formal methods
3. Good understanding on Model Checking, SAT, BDD, SMT and other formal techniques
4. Understanding on Front-end IC design flows.
5. Skills on C and RTL debugging
AMD股价翻了三倍果然不是盖的，新时代来临了，666
！