Ascent leads design and verification engineers to important bugs, while reducing their time investment in debugging.
"Ascent delivers higher throughput and more complete checking compared to alternative solutions," said Rich Faris, Vice President of Marketing, Real Intent. "Its analysis is more precise than syntactic checkers or lint tools, since formal analysis takes actual circuit functionality into account. In addition, Ascent's support for constraints and its fine grain control of reporting surpass the capabilities of competitive solutions."
Faris added, "Our customers tell us that automatic verification is of high value because it finds problems early in the design cycle, and that shortening the debugging loop has high return on investment."
Ascent automatic verification is applied early in the electronic design cycle, even before the blocks are assembled into subunits and before simulation testbenches are developed, catching many problems earlier than ever before. It is important to catch bugs as early as possible, since the cost of an electronic design defect increases the closer you are to tape-out. Therefore finding and fixing bugs early saves both money and time.
Ascent is a major step forward in automatic formal verification. Its redesigned architecture is focused on automatic checks that are derived directly from the RTL design. Ascent is the only automatic tool which supports the Property Specification Language (PSL) and SystemVerilog Assertion (SVA) constraints.
Its use of the Convergence formal engine allows the highest completion rates for checks, which translates to more bugs detected than ever before. In addition, its reporting controls allow designers to fine tune verification reports to meet their needs. In addition to Ascent's role in early logic verification, major design houses use it as a signoff step before RTL is checked in, thus Ascent delivers value across the entire design flow.
Ascent identifies many critical design problems: including dead code, uninitialized memory, bus contention, floating buses, and x value propagation. Additionally, Ascent automates Finite State Machine (FSM) checks, such as unreachable FSM states, single FSM deadlock and pairwise FSM deadlock. It can verify good design practices, when using case statements by analyzing and reporting full and parallel case pragma violations.
Price & Availability
Ascent is shipping now, was first introduced in 2006, and replaces Real Intent's Implied Intent Verification software. The price starts at $35,000 for a one year term license. Existing customers on active maintenance receive Ascent at no charge.
About Real Intent
Real Intent is extending breakthrough formal technology to critical problems encountered by design and verification teams worldwide. Real Intent's products dramatically improve the functional verification efficiency of leading edge Application Specific Integrated Circuit (ASIC), System-On-Chip (SOC), and Field Programmable Gate Array (FPGA) devices. Over 40 major electronics design houses, including AMD, nVidia and NEC Electronics use Real Intent software. Real Intent is headquartered at 505 North Mathilda Avenue, Suite 210, Sunnyvale, CA 94085, phone: (408) 830-0700 fax: (408) 737-1962, web: www.realintent.com, e-mail:
Vice President Marketing and Business Development
(408) 830-0700 x212
Valley PR for Real Intent