Image

Ascent

–   Lint - the fastest and lowest-noise RTL lint solution.

–   AutoFormal - formal verification tool that finds elusive bugs at RTL early stage

Meridian

–   CDC - the best performance CDC solution in the market.

–   RDC - the best performance RDC solution in the market.

–   RXV X-optimism correction

Verix

–   CDC - as the market’s only true multi-mode CDC

       –   PCDC - gate-level multi-mode CDC

       –   SimFix - X-pessimism correction

© 2008-2019 Kaviaz Technology Co., Ltd. All rights reserved