Home > Community > Member Profile
 
Login with a Cadence account.
Not a member yet?
Create a permanent login account to make interactions with Cadence more conveniennt.

Register | Membership benefits
Get email delivery of the Cadence blog (individual posts).

Share

  • Email
  • Social Web
* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 Cadence Member: About FormalGuy 

FormalGuy   | 155 points
San Jose, CA
Incisive Formal, SAP
Member since: September, 2008
Bio In his various avatars as IP developer, independent consultant and formal verification evangelist, Abhishek has been intimately involved with Cadence verification offerings of the last decade. He remains convinced that his various adventures in HVLs, hardware acceleration and model-checking technology will connect in the very near future to that rarest of things in EDA - a sum that is greater than its constituent parts. Academic Background EE - Delhi Institute of Technology
Organization Affiliations No profile info has been provided Community Interests System Design and Verification
Functional Verification
Personal Interests No profile info has been provided Publications No profile info has been provided
My Friends

Formal Moment Of Zen
by FormalGuy


Top 5 Stumbling Blocks In FPV Adoption
by FormalGuy


An informal introduction
by FormalGuy