responsibilities：1. work closely with architecture and rtl designers on verifying the functionality correctness of the design2. develop test plans and test environments3. develop tests in assembly, c, or vectors according to test plans4. develop coverage monitors and analyze coverage to ensure all the test cases in the plans are covered5. develop checkers or transactors to verify the design6. write assertions and apply formal verification to the designqualifications：1. in-depth knowledge of digital logic design, chip architecture and microarchitecture.2. experience with expertise in developing testplans/testbenches, transactors, and writing/debugging assembly based tests.3. experience with advanced verification techniques such as formal and assertions a plus.4. experience in silicon bringup a plus.5. should be a team player with excellent communication skills, be able to work independently on the verification efforts for a block/area of the design.