MOUNTAIN VIEW, Calif. – July 27, 2010 – Jasper Design Automation, provider of advanced formal technology solutions, today announced the availability of Proof Kits for the DFI (DDR-PHY) ...
PARIS – Jasper Design Automation Inc. (Mountain View, Calif.) has released proof kits for the DFI (DDR-PHY) specification. Jasper said the DFI proof kits are sets of properties, written in ...