 |
|
 |
|
|
|
|
| |
|
|
Jasper User Group
Enthusiasm For Formal Reigned At
Jasper User Group Meeting 2009: The sixth annual
Jasper Users Group meeting, November 2-3, was a
tremendous success, marked by both the quality and
quantity of user presentations: up 50% from last
year! User and Jasper exec presentations
highlighted all eight applications in the
“Spectrum of Applications” for formal. Designs
described by the presenters included very high-end
communications and processing chips - true
state-of-the-art designs from the leaders in their
field. | |
|
|
|
Applying Formal Methods to a
PCI-Express Transmit Retry Buffer
Sun
designers and architects now view formal as a tool
to understand and expose specification holes and
errors. Exploring corner case scenarios early
leads to cleaner, more robust implementations. And
formal verification can help promote design
leverage and reuse. | |
|
|
|
|
|
|
| | | |
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
Across the Great Divide
Are
design and verification teams doomed to be always
at odds? Across a great divide, even when they are
simply down the hall (which is often not the
case)? | |
|
|
|
| | | |
|
|
|
|
| |
|
|
|
|
|
Top 10 women in
microelectronics
There
is no better time than a global economic recession
to examine the keys to successful corporate
governance, and EE Times is honored that the ten
selected women called a brief halt to their
frantic business schedules to share in their
diverse experiences. | |
|
|
|
|
|
|
|
|
|
Teens and Tech: What’s Hot and
What’s Not!
Certain things will come as no
surprise to anyone who is a parent; all said they
are online pretty much the entire day. What might
be less known is what they are doing there.
| |
|
|
|
It's the Customers
Jack
Horgan interviews Kathryn Kranen, President and
CEO of Jasper Design Automation. | |
|
|
|
| | | |
|
|
|
|
| |
|
|
DAC 2010
June
13-18
Anaheim Convention Center,
California, USA
DAC is very enthusiastic
about User Track submissions! Jasper encourages
all users to consider submitting a presentation
for DAC 2010 in Anaheim, CA. More information on
submissions is available here.
Please contact
Holly Stump, Jasper VP
Marketing, to mobilize any support needed from
Jasper. | |
|
|
|
EDSFair 2010
January 28-29
Kanagawa, Japan
EDSFair
is a large-scale tradeshow sponsored by JEITA that
showcases the latest IC design tools,
methodologies, manufacturing solutions, design
services, and many other technologies that affect
today's electronic circuits and systems. Jasper
and Cybertec will demonstrate the latest formal
verification technology and applications, with
Targeted ROI. | |
|
|
|
|
|
|
| | To meet with the design and
verification deployment experts at Jasper at any of the above
conferences,
please send email to info@jasper-da.com or
call 1.650.966.0266.
| |
|
| |
 |
http://www.jasper-da.com/
Jasper Design Automation, 100 View Street,
Suite 101, Mountain View, CA 94041, USA
Tel:
+1 650 966 0200 Fax: +1 650 625
9840 | |
|
This message was sent
by Jasper Design Automation, Inc. Click
here if you prefer not to receive future
e-mail from Jasper Design Automation,
Inc.
| | |
|
|
| |
