jhupcey

12 subscribers

12,709 video views

"Drive For Innovation" Finds It At Every Turn

116 views

by jhupcey 1 month ago

Uploaded videos

1-10 of 55

5:57 Video Tech Tip: Data Path Verification Using A Formal Scoreboard jhupcey 83 views 2 weeks ago As proud member of Team Verify, I'm delighted to host this video demo of the powerful Formal Scoreboarding app supported by Incisive Formal Verifier (IFV) and Incisive Ente...
4:03 "Drive For Innovation" Finds It At Every Turn jhupcey 116 views 1 month ago With some notable exceptions, too often technology trade press reporting has been as dour as the general world news. However, to EETimes editor Brian Fuller this negativit...
4:19 CDNLive Silicon Valley 2012: Mirit Fromovich on automating ARM "ACE" verification jhupcey 99 views 1 month ago Mirit Fromovich, Solutions Engineer in Cadence's Verification IP group, shares some background information on her 2012 CDNLive Silicon Valley paper, "Verifying Cache Cohere...
0:56 CDNLive San Jose 2012: Man vs Machine ... and the better Rubik's Cube solver is ... jhupcey 95 views 2 months ago In this video two competing "verification" methodologies do battle: a Lego Mindstorms robot programmed by Cadence's Incisive Formal Verifier works to solve a Rubik's cube, ...
3:02 DVCon 2012: Interview with Rob Meyer on Low Power Verification Strategy jhupcey 43 views 2 months ago In this interview, Rob Meyer of Medtronic talks about his DVCon 2012 paper, "Creating a Complete Low Power Verification Strategy Using the Common Power Format and UVM". Th...
2:14 DVCon 2012: Oski Technology announces a unique verification challenge for DAC 2012 jhupcey 96 views 2 months ago In this interview at DVCon 2012, Vigyan Singhal of Oski Technology announces a truly unique challenge -- they pledge to take a sight-unseen design and produce meaningful re...
6:00 DVCon 2012: Hardware-Assisted Verification - Build or Buy panelist Frank Schirrmeister jhupcey 34 views 2 months ago In this video Cadence's Frank Schirrmeister recaps the highlights of the DVCon 2012 panel titled, "Build or Buy: Which is the Best Practice for Hardware-Assisted Verificati...
5:07 DVCon 2012: Don O'Riordan introduces his paper "PSL/SVA Assertions In SPICE" jhupcey 100 views 2 months ago Don O'Riordan, Sr. Architect in Virtuoso R&D, shares some background information on his DVCon 2012 paper, "PSL/SVA Assertions In SPICE". (Wait, aren't PSL and SVA digital ...
3:44 DVCon 2012: Pete Hardee recounts the panel on Low Power Design&Verification jhupcey 40 views 2 months ago In this interview Pete Hardee, the moderator of the DVCon 2012 panel "Earn Your Degree in the Low-Power Arts and Sciences", recaps the highlights of this forum. (For a wri...
2:25 DVCon 2012: Product Engineer Chris Komar reviews the tutorial on formal "apps" jhupcey 104 views 2 months ago In this interview Product Engineer Chris Komar recaps the tutorial on formal apps -- including the gist of the app methodology and some examples. More background on this e...

Advertisement

About jhupcey

cadence.com/community/posts/jvh3.aspx

by jhupcey

Latest Activity

May 28, 2012

Date Joined

Jan 28, 2009

Country

United States

Featured Playlists

55 videos Play all

Uploaded videos

by jhupcey

11 videos Play all

DVCon 2012

by jhupcey

5 videos Play all

Meet Incisive Formal R&D

by jhupcey

5 videos Play all

DAC 2011

by jhupcey

6 videos Play all

DVCon 2011

by jhupcey

2 videos Play all

UVM book interview - July 2010

by jhupcey

4 videos Play all

Rubik's cube solving Lego robots

by jhupcey

0 / 00Unsaved Playlist Return to active list

Your queue is empty. Add videos to your queue using this button:
or sign in to load a different list.

Loading...Saving...