Hi ,
Hope everyone having a good time!!
I have an exciting job opportunity.
Job Title: Formal Verification Engineer
Location: Sunnyvale, CA
Direct Client
•Knowledge of Formal verification applications including Datapath, sequential equivalence, Xprop, Clock Gating,
connectivity etc
•5+ years of experience in Formal Verification
•Proven understanding of formal verification methodologies, complexity reduction techniques and abstraction
techniques
•Proven analytical skills to craft novel and creative solutions to tackle industry-level complex designs
•Proven communication skills to ensure effective collaboration with cross functional teams
•Fluency in hardware description languages, such as System Verilog and SVA
•Proficiency in scripting languages such as Python, Perl, or Tcl
•Experience with JasperGold or VC-Formal
Ankit Gautam
+1 (678-659-9420)
ankit.gau...@expediteinc.com
Expedite Technology Solutions, LLC│11785 Northfall Lane, Alpharetta, GA - 30009
If you would prefer to no longer receive any emails from this Company, you may opt out at anytime by clicking unsubscribe.Hope everyone having a good time!!
I have an exciting job opportunity.
Job Title: Formal Verification Engineer
Location: Sunnyvale, CA
Direct Client
•Knowledge of Formal verification applications including Datapath, sequential equivalence, Xprop, Clock Gating,
connectivity etc
•5+ years of experience in Formal Verification
•Proven understanding of formal verification methodologies, complexity reduction techniques and abstraction
techniques
•Proven analytical skills to craft novel and creative solutions to tackle industry-level complex designs
•Proven communication skills to ensure effective collaboration with cross functional teams
•Fluency in hardware description languages, such as System Verilog and SVA
•Proficiency in scripting languages such as Python, Perl, or Tcl
•Experience with JasperGold or VC-Formal
Ankit Gautam
+1 (678-659-9420)
ankit.gau...@expediteinc.com
Expedite Technology Solutions, LLC│11785 Northfall Lane, Alpharetta, GA - 30009
You received this message because you are subscribed to "rtc-linux".
Membership options at http://groups.google.com/group/rtc-linux .
Please read http://groups.google.com/group/rtc-linux/web/checklist
before submitting a driver.
---
You received this message because you are subscribed to the Google Groups "rtc-linux" group.
To unsubscribe from this group and stop receiving emails from it, send an email to rtc-linux+unsubscr...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/rtc-linux/1874679818.131374.1686840043982%40emailmerge25.jobdiva.com.
