●LSI論理設計/検証業務                  ●LSI論理設計/検証戦略のコンサルティング                  ●汎用型検証IPの開発、サポート                  ●汎用型検証IPのカスタマイズ                  ●検証IP営業販売
●ＬＳＩ検証市場のニーズは拡大傾向                  ●ニーズに対する検証リソースの大幅不足                  ●検証容易化を意図した設計手法が採られていない                  ●当社が提供する最先端検証技術は、１割程度しか浸透していない                  ●日本市場で中立の立場で検証サービスを提供している企業はほとんどない

●検証ノウハウ                         汎用ＩＰの検証手法／検証技術                         大規模SoCの検証手法／検証技術                         検証ＩＰのライブラリ化                         検証業務のプロジェクトマネージメント                  ●検証漏れ無しの高品質検証手法                         DRV （Directive Random Verification）                         ABV （Assertion Based Verification）                         CDV （Coverage Driven Verification）
●検証言語の使用実績                         PSL、 SystemVerilog、 TestBuilder、　SCV（SystemC）、　ｅ言語
●マイコン検証実績  ：　ルネサス製  ---  SH4シリーズ、 M32Cシリーズ、 M16Cシリーズ                                                   東芝製       ---  TX19Aシリーズ、 900/H1シリーズ、 900/L1シリーズ                                                   ARM製       ---  ARM7シリーズ、 ARM9シリーズ                                                   富士通製    ---  FRシリーズ                  ●IP検証実績  ：   DMAC 、 TIMER 、 WDT 、 OS監視タイマ 、 SIO/UART 、 I2C/I2S 、 INT 、 A/Dコントローラ 、                                            PORT 、 ROMコレクション 、 RTC 、 CLKモジュール 、 PLLコントローラ、 CRC、                                            SCIF(シリアルコミュニケーションI/F)、 SEC(暗号化回路 ARC、AC4、etc)、 JTAG、 JPEG、                                            SD Card コントローラ、 FLASHコントローラ、 SDRAMコントローラ、 SRAMコントローラ、                                            DRAMコントローラ、 DDRコントローラ、 Memory Stickコントローラ                  ●プロトコル検証実績  ：  USB1.1 Device/Host 、 USB2.0 Device/Host 、 Gigabit Ethernet 、 AMBA(AHB,APB) 、                                                      IEEE1394 ( IEEE1394a )、 PCI/PCI-Express 、 PCMCIA 、 I2C/I2S 、 SPI3 、 UTOPIA 、                                                      CAN 、 LIN 、 UART 、 Super Hiway Bus、 MPEG2、 MPEG4、 RS232C