數位IC驗證工程師

Verification for ARM Cortex/MCU/DSP design project, which includes:
1. Responsibility for test planning, testbench documentation and development
2. Use SystemVerilog, C, assembly, SVA and UVM methodology for block and top level verification
3. Develop automation script with Shell/Perl/Python/Tcl etc.
4. Apply formal property checking/formal verification methodologies