Jasper Announcing Newest Formal Verification Technology at EDSFair, Yokohama, Jan. 27-28 — Booth 002
MOUNTAIN VIEW, CA–(Marketwire – January 12, 2011) –
WHAT: Jasper Design Automation and its Japanese distributor CyberTec will display Jasper’s latest formal verification technology innovations at this month’s EDSFair. For more information on EDSFair:http://www.edsfair.com/e/.
WHEN: EDSFair takes place Jan. 27-28, 2011
WHERE: EDSFair is held at Pacifico Yokohama Exhibition Hall, Yokohama, Japan. Jasper and CyberTec will be in Booth 002.

