Cloud engineer állások X. kerületben (elektromérnök)

Use formal verification algorithms to formally prove the correctness of complicated logic problems Identify key behaviors for verification to write clear testplans for complex designs Implement testplans using innovative formal techniques Drive tools to realize their best performance Develop flow...

Develop and execute test plans and verification methodologies for SoC-level designs. Complete functional verification to the required quality standards and schedules. Collaborate with project leads and management on planning, scheduling, and quality checkpoints. Ensure progress and quality of SoC...

Review SoC solution architectures and develop micro-architecture specifications. Implement RTL designs, identify and fix bugs, perform design checks, generate power intent, and support implementation constraint creation. Collaborate with verification teams to review test plans and debug design...

Contribute to System IP microarchitecture specification and design Contribute in SystemVerilog, C and C++ to verification, modelling and debug to achieve required quality levels (SystemVerilog/UVM, C, C++, scripting) Propose and prototype new ways and define methodologies to reach goals more...

Contribute in SystemVerilog RTL verification and debug; formal bring-up of non-trivial IP blocks to achieve required quality levels (SystemVerilog/UVM, Formal, scripting) Work closely with engineers across design, performance modelling, validation, and implementation to meet all functional...

Be involved in System IP microarchitecture specification and design Participate in SystemVerilog RTL verification and debug; formal bring-up of non-trivial IP blocks to achieve required quality levels (SystemVerilog/UVM, Formal, scripting) Work closely with engineers across design, performance...