The Ascent early functional verification solution for ASIC and FPGA designs now includes the first commercially available automated solution to ensure X-robust designs.
Explicit and implicit X sources (X assignments in RTL and non-resettable flops, respectively) in the designs can lead to many challenging issues for design verification. Ascent PBV offers a multi-faceted solution that addresses the problem through structural and formal analysis, as well as by augmenting simulation. (Starting from $15,000 available now.)
Real Intent , Sunnyvale , CA
Sales 408-830-0700
Learn more about Real Intent