@JasperDA1

Jasper Design Automation - Leader in verification solutions based on formal technology

 Mountain View, CA
jasper-da.com
Joined May 2012
  • Tweets175
  • Following0
  • Followers90
20Media
At #51DAC today? Join @JasperDA1 for our tutorials on Using Formal to Achieve Coverage Closure & Verify HW Security
1
1
#51DAC now: the show floor may be quieting down, but people keep coming in to @JasperDA1's low power D&V seminar
1
1
Right after #51DAC lunch at 1pm today #NVIDIA presents their "Formal Verification Journey &Success with @JasperDA1
1
#51DAC now: @JasperDA1's Kathryn Kranen interviews young innovator Avi Agarwal about "Musical Movement" HW controller
1
#51DAC now: @JasperDA1's Tom Weiss introducing the top 5 ways formal analysis can offload & even displace simulation
1
Coming back to #DAC51 from #JasperFTRally. Awesome views!
#51DAC now: congrats to Debasish Panigrahi of #intel winning the raffle for the Phantom drone and GoPro
1
#51DAC now: the sun is shinning, the birds are singing, the bees are being at @JasperDA1 lunch event on TI
1
#51DAC now: @JasperDA1 customers&partners enjoy the view from TI
1
Getting ready for a great #JasperFTRally @ #51DAC
Too Much Verification? @JasperDA1 CEO Kathryn Kranen Responds #51DAC chipdesignmag.com/sld/blog/2…
#51DAC now: @JasperDA1 low power verification expert Antonio Caldeira shares proven formal-based apps&methodologies
1
#DAC2014 now: Tom Weiss explains @JasperDA1's SEC app straightforward work flow
1
Syed Suhaib of @nvidia on the effectiveness of @JasperDA1 formal: 40% of bugs found by 5 engrs vs 60% found by 110 sim engrs #DAC2014
1
Suhaib of @nvidia: "After months&months of simulation, @JasperDA1 formal found many serious the sims missed" #DAC2014
1
At #DAC2014 now: Syed Suhaib of @nvidia notes how @JasperDA1 "Quiet Trace" waveform minimization speeds debug
1
#DAC2014 now: Syed Suhaib of @nvidia describing how they leverage @JasperDA1 formal apps
1
Come visit us at #51DAC and get your tickets for our #JasperFTRally Booth #2033
Attending #51DAC tomorrow? Do not forgot to register for one of our Seminars. Stop by Booth 2033 or visit jasper-da.com/Seminars2014 to register
Read the Semiwiki Article on @JasperDA1 at #51DAC #JasperFTRally semiwiki.com/forum/content/3…
Load more