• Home
  • What's EDSFair
  • Exhibitors
  • Exhibitor Seminar Search
  • Special Stage
  • Special Zone
  • FPGA/PLD Design Conference
  • Access / Accommodation
  • Press Room
  • Contact

 Exhibitor Detail : OneSpin Solutions Japan KK
404 

OneSpin Solutions Japan KK

Exhibit introduction

OneSpin's 360 MV product family is the most comprehensive formal assertion-based verification (ABV) solution for ASIC/FPGA designs available today. It supports the full range of formal ABV applications - from early automatic RTL analysis all the way to certified gap-free IP verification - providing entry points for formal ABV starters, as well as unique capabilities for experienced users and experts. Come see our new automated RootCauseAnalyzer (TM) that eases and speeds debug of SystemVerilog Assertions and RTL designs.
Privately held, the company is headquartered in Munich, Germany and maintains offices in Tokyo, Japan and Sunnyvale, California, USA.


Contact info

Colin Mason
Business Development Manager
Representative Director
OneSpin Solutions Japan KK
TEL:+81 3 4530 3865
FAX:+81 46 854 5723
E-mail:infojp@onespin-solutions.jp
URL:http://www.onespin-solutions.com

Address

4th Floor, Nishi-Shinjuku GF Building,
8-3-1 Nishi-Shinjuku
Shinjuku-Ku,
TOKYO 160-0023
Japan

160-0023

Back to exhibit list