GPU-suunnittelun varmistusinsinööri
Samsung on maailman johtava edistyneessä puolijohdeteknologiassa ja sen perusperiaatteena on pyrkimys erinomaisuuteen. Samsungin Austinin tutkimus- ja kehityskeskus (SARC) ja Advanced Computing Lab (ACL) rakentavat IP-osaamiskeskuksen, jota sovelletaan huippuluokan laskentateknologiaan. Tule rakentamaan kanssamme! Rooli ja vastuut Staff GPU Design Verification Engineer – Formal Verification -tehtävässä osallistut lohko- ja alijärjestelmän formaaliin varmennukseen seuraavan sukupolven mobiiligPU:lle. Tehtävässä suoritat formaalin varmistuksen arkkitehtuuri- ja RTL-tiimien kanssa varmistaaksesi toiminnallisen oikeellisuuden, virrasyötön hallinnan ja arkkitehtonisen tarkoituksenmukaisuuden. Sinulla on vankka osaaminen formaaleista menetelmistä ja GPU-/puolijohdealan verifioinnista. Kehität lohko-tason formaalin verifiointistrategian määrittelemällä varmennustavoitteet, ominaisuudet ja kattavuustavoitteet. Rakennat formaalisia verifiointiympäristöjä ja kehität todistuksia, ominaisuuksia ja formaaleja malleja. Varmistat toiminnallisen oikeellisuuden tarkastelemalla reuna-tapauksia ja turvallisuusominaisuuksia. Autat virheiden analyysissä ja konvergenssissa sekä käytät Confluencea ja JIRAa projektinhallintaan ja ylläpidät dokumentaatiota.
Työn tiedot
Vastuualueet
- Osallistua lohko- ja alijärjestelmän formaaliin varmennukseen seuraavan sukupolven mobiiligPU:lle.
- Suorittaa formaalin varmennuksen yhteistyössä arkkitehtuuri- ja RTL-tiimien kanssa varmistaakseen toiminnallisen oikeellisuuden ja arkkitehtonisen tarkoituksenmukaisuuden.
- Määrittele varmennustavoitteet, ominaisuudet, kattavuustavoitteet ja allekirjoitusperusteet kriittisille GPU-ominaisuuksille mukaan lukien kellon ja virtahallinnan.
- Suunnittele ja toteuta formaalivarmennusympäristöt sekä kehitä osoittajat, ominaisuudet ja formaaliset mallit teollisuuden standardityökaluilla.
- Varmista monimutkaisen grafiikka- ja laskentakäyttäytymisen oikeellisuus ja kattavuus reunatapauksissa sekä tilakuvissa.
- Toteuta virheiden analyysiä, seuraa vastesijoituksia ja tee yhteistyötä suunnittelun/arkkitehtuurin kanssa juurisyiden ratkaisemiseksi.
- Sovella todistuksen syvyyttä, rajattua todistamista ja konvergensianalyysiä varmennuksen lopputuleman saavuttamiseksi.
- Ylläpidä dokumentaatiota ja tue projektin toteutusta Confluence- ja JIRA-työkaluilla.
- Osallistua tiedonjakoon ja omistajuuden sekä teknisen kurinalaisuuden kulttuurin edistämiseen.
Vaatimukset
- 6+ years of experience with a Bachelor’s Degree in Computer Science/Engineering, or 4+ years of experience with a Master’s Degree, or 2+ years of experience with a Ph.D.
- 5+ years of hands-on experience in GPU, CPU, or advanced semiconductor design verification with a focus in formal verification.
- Solid understanding of computer architecture and graphics pipelines.
- Strong programming and scripting skills in Python, Perl, C/C++, or equivalent.
- Proficiency in SystemVerilog and SystemVerilog Assertions (SVA).
- Working knowledge of formal verification methodologies, including property verification, data path checking, model checking, register verification, connectivity checking, and coverage analysis.
- Hands-on experience with industry-standard formal verification EDA tools and methodologies.
- Strong debugging, analytical, and problem-solving skills with the ability to propose and execute solutions independently.
- Effective communication and collaboration skills, with the ability to work across RTL, architecture, and design teams in a fast-paced global environment.
- Nice to Have Knowledge of memory subsystems or coherent interconnects.
- Experience with constrained random verification using UVM (IEEE 1800 Universal Verification Methodology).
- Exposure to developing or improving formal verification flows, methodologies, or tooling.
- Exposure to low-power design techniques and verification of power intent (e.g., UPF concepts).
- Interest in advancing the state of formal verification practices.
Taidot ja teknologiat
Koulutustaso
Alempi korkeakoulututkintoEdut ja etuudet
Aiheeseen liittyvät mahdollisuudet
Löydä lisää kiinnostuksen kohteisiisi ja taitoihisi sopivia mahdollisuuksia