Austin, TXFunctional verification expert with over 16 years of verification experience. Background in assertions and formal verification techniques. Experience with high... Functional verification expert with over 16 years of verification experience. Background in assertions and formal verification techniques. Experience with high level testbench languages and class libraries. Verified microprocessors, DSP's, ASIC's and SoC's. Focus on constrained random testing and...