| Formal Verification Engineer : Sunnyvale, CA : Remote : Contract : Experience level: 8+ Years at Sunnyvale, California, USA |
| Email: [email protected] |
| From: Bhawesh kaushik, Tanisha Systems Inc. [email protected] Reply to: [email protected] Hi, Hope you are doing good, I have the below open position with our client, please find and let me know youre interested, please send me a copy of your updated resume ASAP. Formal Verification Engineer Location: Sunnyvale, CA : Remote Experience level: 8+ Years Contract Job Description: 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 Jasper Gold or VC-Formal bachelors degree in computer science, Computer Engineering, relevant technical field, or equivalent practical experience. Regards Bhawesh Kaushik Tanisha Systems Inc Phone : 212-729-6543 Ext 368 Email: [email protected] www.tanishasystems.com Address: 99 Wood Ave South Suite # 308,Iselin, NJ 08830 linkedin.com/in/bhawesh-kaushik-b36532161 Keywords: California New Jersey |
| [email protected] View all |
| Thu Aug 03 22:52:00 UTC 2023 |