2007年8月28日、コンフィギュラブル・プロセッサを手掛ける米Tensilica社は、株式会社エッチ・ディー・ラボとアイベックステクノロジー株式会社の2社がそれぞれテンシリカの認定デザインセンターになった事を発表した。プレスリリース：（英文：hdLabに関す…

「SolidPC」は、ARM社のABMAルールセットとAverantのフォーマル検証エンジンを組み合わせたAMBAプロトコル専用プロパティ検証ツールで、AXIバスの仕様に対するデザインの整合性を静的にチェックすることが可能。ルール違反時の波形をプッシュボタン式で簡単…