Jasper Design Automation
Loading...
8
subscribers
3,007
video views
Uploaded videos
1-10 of 14-
Brian Bailey on Jasper Design Automation
JasperDesignAuto
212 views
Brian Bailey, verification guru and industry savant, comments on the advantages of Jasper Design Automation for formal verification.
See more on verification from Brian a...
-
Scott Meeth on Jasper Formal Verification
JasperDesignAuto
400 views
Scott Meeth, formal verification engineer with NVIDIA, previously with Sun Microsystems, discusses formal verification with Jasper Design Automation, and key applications.
-
Matt Hsu on Jasper Formal Verification
JasperDesignAuto
177 views
Matt Hsu discusses formal verification and how Jasper has helped in a wide variety of verification contracts with major electronics companies. Matt Hsu Consulting.
-
Kathryn Kranen on Jasper Design Automation
JasperDesignAuto
382 views
Kathryn Kranen, CEO of Jasper Design Automation, gives a brief overview of Jasper Design Automation
-
DAC 2010 User Track: Oracle on Jasper Formal Verification
JasperDesignAuto
249 views
DAC 2010: "For Better Results: Establish Closer Ties Between Formal Verification and Simulation Teams." Here is a quick overview!
Authors: Tom Thatcher from Oracle, Lawren...
-
Design and IP Leverage with JasperDesign Automation
JasperDesignAuto
123 views
IP blocks and the re-use of existing RTL blocks help manage today's design complexity. Jasper ActiveDesign with unique Behavioral Indexing allows designers to develop, comp...
-
SoC Integration with Jasper Design Automation
JasperDesignAuto
130 views
Jasper formal verification can quickly and easily verify SoC integration. Automate these potentially repetitious and error-prone tasks.
-
RTL Development with Jasper Design Automation
JasperDesignAuto
280 views
Formal verification accelerates RTL development and debug, preventing layered dependencies. Put the power of formal to work in the RTL design phase with Jasper Design.
-
Architectural Verification with Jasper Design Automation
JasperDesignAuto
165 views
Are you an architect responsible for the functionality and performance of SoC design architectures? If so, your work is highly leveraged! Jasper Design Automation formal ve...
-
RTL Block Verification with Jasper Design Automation
JasperDesignAuto
291 views
Jasper Design Automation formal verification accelerates RTL block verification and delivers positive ROI to design veriification engineers, as well as designers. Jasper pr...
Advertisement
About Jasper Design Automation
more
less
Play all(14)