Design Verification in ARM processor and Software Engineer for in-house tools and modeling. My idea for processor design/verification is combining both hardware and software point of view: why does architecture design in this way, why does OS kernel behave in this way, how does compiler generate the code to gain performance.
Specialties: ARM processor verification, Random verification, Architecture verification, Modeling, C/C++, Verilog/SystemVerilog, Scripts, Makefile, Co-simulation methodology, out-of-core algorithm