Ich schreibe SystemVerilog, Verilog-Testbenches und verifiziere dein RTL-Design
RTL-Design-Verifikationsingenieur
Über diesen Service
Hast du RTL, das eine echte Verifikation braucht, nicht nur eine schnelle Simulation? Ich schreibe selbstüberprüfende Testbenches und Verifikationsumgebungen in Verilog/SystemVerilog, die Fehler finden sollen, nicht nur den Happy Path bestätigen.
So arbeite ich:
Testbenches vergleichen automatisch mit erwarteten Ergebnissen, nicht nur per Augenschein in einem Wellenform-Viewer. Bei arithmetischen oder datenpfadintensiven Modulen überprüfe ich gegen ein unabhängiges Referenzmodell (meist Python), um echtes Vertrauen in die Korrektheit der Logik zu haben.
Aktuelle Arbeiten:
CPU-Kern verifiziert anhand eines branchenüblichen Funktionstests (alle Opcodes, Adressierungsmodi, Interrupts)
Hardware-Beschleuniger verifiziert anhand eines Python-Golden-Modells, 896/896 Operationen übereinstimmend
Schnittstellen-/Protokoll-Module getestet mit Loopback und absichtlicher Fehlerinjektion
Ich kann Repos und Ergebnisse vor deiner Bestellung teilen.
Gut geeignet für:
- RTL, das eine unabhängige Testbench braucht
- Coverage- und Edge-Case-Tests über die Grundtests hinaus
- Verifikations-Sanity-Check vor Synthese/Tapeout
- Akademische oder persönliche Projekte, die echte Strenge erfordern
Tools: ModelSim/Questa, Verilator, Python, grundlegendes SVA/formal (SymbiYosys)
Unsicher, welches Paket passt? Schick dein RTL und das gewünschte Verhalten, ich schätze den Umfang gern ein.
Plattform:
FPGA

