Verific Design Automation Adds Features to UPF Parser for Enhanced Support of IEEE Standard

Includes Comprehensive Error Handler, Maintains Complete UPF Descriptions,Easily Integrated with Other Data Structures

ALAMEDA, CALIF. –– February 12, 2014 –– Verific Design Automation, supplier of industry-standard, IEEE-compliant SystemVerilog and VHDL parsers, today announced enhancements to its parser forthe IEEE 1801-2013standard for the design and verification of low-power integrated circuits, also known as Universal Power Format 2.1 (UPF 2.1).

Newly introduced UPF 2.1 features are supported in the UPF parser. It performs syntax and semantic checking, preserves all parameter values and stores the UPF data in a parse tree for easy access. The UPF parser includes Verific’s comprehensive error handler, which maintains complete file, line and column information on UPF descriptions.

An integral component of Verific’s Parser Platform, the UPF parser interacts seamlessly with Verific’s standard SystemVerilog and VHDL parsers. It queries parse trees or netlists where applicable or, conversely, can be queried from Verific’sSystemVerilog or VHDL parse trees, or its netlist database. The UPF parser is also available standalone and is easily integrated with external, or non-Verific, data structures.

The IEEE 1801-2013 UPF 2.1 standard, originally developed by standards organization Accellera, is supported by multiple electronic design automation (EDA) vendors, many of whom are Verific customers. It provides a hardware description language independent way of annotating a design with power intent. It defines how to create supply networks to supply power to each design element using a set of commands.

In a short period, UPF has become an important standard for describing low-power design and support is a priority for us,” remarks MichielLigthart, Verific’s president and chief operating officer.

Verific’s software is the front end to a variety of EDA and field programmable gate array (FPGA) tools for analysis, simulation, verification, synthesis, emulation and test of register transfer level (RTL) designs. Its Parser Platform includes support for SystemVerilog, Verilog, VHDL and UPF, and provides C++ and Perl application programming interfaces (APIs). Verific’s software is distributed as C++ source code and compiles on all 32- and 64-bit Unix, Linux and Windows operating systems.

Verific to Exhibit at DVCon

Verific will exhibit in Booth #805 during DVCon Monday, March 3, from 5 p.m. until 7 p.m., and Tuesday and Wednesday, March 4-5, from 2:30 p.m. until 6 p.m. DVCon will be held at the DoubleTree Hotel in San Jose, Calif.

Verific’s website is located at: www.verific.com.

Information about DVCon can be found at: www.dvcon.org.

About Verific Design Automation

Verific Design Automation, with offices in Alameda, Calif., and Kolkata, India, provides parsers and elaborators for SystemVerilog, Verilog and VHDL. Verific's software is used worldwide by the EDA and semiconductor community in synthesis, simulation, formal verification, emulation, debugging, virtual prototyping, and design-for-test applications, which combined have shipped more than 60,000 copies. Corporate headquarters is located at: 1516 Oak Street, Suite 115, Alameda, Calif. 94501. Telephone: (510) 522-1555. Facsimile number: (510) 522-1553. Email: Email Contact. Website: www.verific.com.


Contact:

Nanette Collins
Public Relations for Verific
(617) 437-1822
Email Contact




© 2024 Internet Business Systems, Inc.
670 Aberdeen Way, Milpitas, CA 95035
+1 (408) 882-6554 — Contact Us
ShareCG™ is a trademark of Internet Business Systems, Inc.

Report a Bug Report Abuse Make a Suggestion About Privacy Policy Contact Us User Agreement Advertise