C engineer állások IV. 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...

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 issues...

Contribute to the specification, design, and verification of various compute subsystems Write micro-architecture specifications Develop RTL and run various design checks Work with the verification team to review test plans and help debug design issues...