Verific Design Automation

  • Home
  • Products
  • Downloads
  • News
  • Testimonials
  • About Verific
  • Contact us

Verilog

Verific’s Verilog parser supports the entire IEEE-1164 standard (1995, 2001) and can be extended with Verilog-AMS 2.4.

  • The parser is compatible with leading industry simulators Incisive, QuestaSim, and VCS.
  • The parser supports static elaboration as well as RTL elaboration, and is integrated with a language-independent netlist data structure common to all parsers.
  • RTL elaboration supports all synthesis pragma’s and is compatible with leading synthesis tools such as Design Compiler, RTL Compiler, Synplify, and Precision.
  • Users interface with the parse tree or netlist data structures through an extensive set of APIs in C++, Perl, or Python.

Flowchart Verilog

Do you want more information?

Try our Free 30-day Evaluation Package, our downloads page or just contact us.

Highlights

  • Supports all of Verilog IEEE 1164.
  • Extendable with Verilog-AMS 2.4
  • Static and RTL elaboration modules.
  • Mixed language with VHDL fully supported.
  • Preservation of line/file/column origination into database.
  • Shipped as C++ source code.
  • SystemVerilog
  • VHDL
  • UPF
  • INVIO
  • Verilog
  • Verilog-AMS
  • Verilog Netlist Only
  • EDIF / SDF / Liberty
  • Verilog Test Suites
  • Back to Main Flow Diagram

Free 30-day Evaluation Package
Click here for our free Evaluation Package

PDF Downloads
Datasheets, white papers and blogs

Viper
Online defect and enhancement tracking

Documentation
Online documentation

FAQs
Q and A on Verific APIs and more

Verific Design Automation, Inc.
Please call (+1) 510-522-1555
Or email us at info@verific.com

© Copyright 2000–2022 • Verific Design Automation. All Rights Reserved