Codasip
Codasip
Codasip is een bedrijf voor halfgeleider-IP en processorontwerp dat zich richt op RISC-V-technologie, veilige chips en functionele veiligheid. Het portfolio omvat CHERI-compatibele 64-bits RISC-V-applicatiekernen, embedded- en automotiveprocessoren en ontwerptools zoals Codasip Studio en de CodAL-taal. Het bedrijf ontwikkelt zowel standaardprocessor-IP als op maat gemaakte platforms voor veeleisende markten, waaronder de automotive-industrie, defensie, luchtvaart, industriële systemen en kritieke infrastructuur. Met teams op het gebied van hardware en cybersecurity ontwikkelt Codasip processortechnologieën die zijn ontworpen om te voldoen aan de beveiligings- en betrouwbaarheidsbehoeften van gereguleerde toepassingen.

Verificatie-engineer – RISC-V-CPU's (Hybride, Tsjechië)

Word onderdeel van Codasip en verifieer RISC-V-processors en uitbreidingen binnen een veilig bedrijf voor halfgeleiderarchitecturen. Bouw geautomatiseerde verificatieworkflows voor geavanceerde CPU-ontwerpen.

Beschrijving

  • RISC-V-processors en processoruitbreidingen valideren
  • Verificatieoplossingen creëren voor testbenches, testbenchcomponenten, stimulusgeneratie en formele omgevingen
  • Samenwerken met engineers om verificatieactiviteiten voor componenten en subsystemen af te ronden
  • Verificatiestrategieën voor blokken en subsystemen opstellen en geschikte tools kiezen
  • Technische specificaties beoordelen en gerichte feedback over verificatie geven
  • Simulaties uitvoeren, defecten onderzoeken en de grondoorzaken van complexe problemen vaststellen
  • Toegewezen werk plannen, inschatten, prioriteren en bewaken
  • Prestatiemaatstaven voor verificatie meten en rapporteren
  • Geautomatiseerde verificatieworkflows ontwikkelen
  • Geavanceerde CPU's verifiëren, waaronder complexe out-of-order-processorontwerpen
  • Verantwoordelijkheid nemen voor aangewezen ontwerpgebieden en meerdere verificatiebenaderingen toepassen

Vereisten

  • Momenteel in Tsjechië wonen en gerechtigd zijn om daar te werken
  • Commerciële ervaring hebben met functionele verificatiemethoden voor processors voor CPU's of andere ASIC's, waaronder simulatie, testgeneratie, coverage-analyse en gate-level-simulatie
  • Verificatie van CPU-architecturen of andere intellectuele eigendom begrijpen
  • Duidelijke, beknopte code schrijven in SystemVerilog, Python, C++, Rust of een vergelijkbare taal
  • Eerder verantwoordelijk zijn geweest voor de verificatie van een ontwerpblok
  • Linux gebruiken om routinetaken te automatiseren
  • Versiebeheertools zoals Git en SVN kennen
  • De RISC-V-architectuur begrijpen
  • Een grondig begrip hebben van computersystemen en computerarchitectuur
  • Analytisch denken en sterke samenwerkingsvaardigheden in een team tonen
  • Effectief over teams heen samenwerken om problemen te debuggen en grondoorzaken vast te stellen

Voordelen

  • De vacature vermeldt geen arbeidsvoorwaarden, extra's of aanvullende compensatie.

Gerelateerde vacatures

SPERTON - Where Great People Meet

Businessdevelopmentmanager Smart Home-automatisering

SPERTON - Where Great People Meet
51 – 200 Medewerkers

Stimuleer de verkoop van de smart home-automatiseringsproducten van Smartwitz Marketing Solutions in Navi Mumbai. Beheer klantrelaties, demonstraties, offertes en verkoopkansen tot en met de installatie.

Openen