
Sintezės arba formaliojo verifikavimo kūrėjas — YosysHQ, nuotolinis darbas Austrijoje
YosysHQPrisijunkite prie YosysHQ kaip atvirojo kodo EDA kūrėjas ir dirbkite su sintezės arba formaliojo verifikavimo įrankiais. Šis darbas apima savarankišką kūrimą C++, Rust ir Python kalbomis aparatinės įrangos projektavimo bei verifikavimo projektuose.

















