| December 15 |
IEEE Microprocessor
Test & Verification
Workshop (MTV) |
“Formal Methods for Power and Performance Verification” – Rajeev Ranjan, CTO, Jasper Design Automation |
| December |
Micro-Electronics
(Taiwanese)
|
Formal Verification Across a Spectrum of Applications |
| September |
eda-express.com (Japanese)
|
 |
| July 27 |
electronicsweekly.com
|
Formal verification can pay dividends, says Jasper |
| June 03 |
techbites.com |
Jasper knocks it out of the Ballpark |
| May 21 |
eetasia.com |
What is formal verification? |
| February 11 |
scdsource.com |
Using
formal verification for SoC integration |
| January 20 |
gabeoneda.com |
May
You Live in Interesting Times |