vSync Circuits Adds Verific’s Static Elaborator to Product Mix

World News: . []

ALAMEDA, Calif., Dec. 03, 2019 (GLOBE NEWSWIRE) -- today announced long-time customer added Verific’s static elaboration to its product mix and introduced vLinter, early rule-based design analysis and verification software.

“Our relationship with Verific is one of great mutual admiration,” remarks Dr. Reuven Dobkin, chief executive officer and chief technology officer of vSync. “We respect Verific and value it as a trusted vendor with incomparable support and service.”

vLinter, static analysis-based verification used in early design stages, hunts design bugs due to bad coding practices, including unsynthesizable code, unintentional latches, undriven signals, race conditions, out-of-range indexing, incomplete case statements and simulation and synthesis mismatches. It supports both ASIC and FPGA design flows and allows easy and fast setup by directly loading project files from leading synthesis software.

“VSync takes a clever approach to functional verification using structural and formal verification, RTL and gate-level verification, automatic timing constraints generation and automatic bug fixing,” remarks Michiel Ligthart, Verific’s president and chief operating officer. “The result is a powerful methodology that works in either FPGA or ASIC verification and integration flows with Verific’s parser platforms serving as the front end.”

Verific’s SystemVerilog, VHDL and universal power format (UPF) Parser Platforms are in production and development flows at semiconductor companies worldwide, from emerging companies to established Fortune 500 vendors. Applications range from analysis, simulation, formal verification and synthesis to emulation and virtual prototyping, in-circuit debug and design for test. Verific distributes its Parser Platforms as C++ source code and compiles on all 32- and 64-bit Unix, Linux, Mac OS and Windows operating systems.

For more information, contact:Nanette CollinsPublic Relations for Verific (617) 437-1822

More news and information about Verific Design Automation

Published By:

Globe Newswire: 16:00 GMT Tuesday 3rd December 2019

Published: .

Search for other references to "vsync" on SPi News


Share

Previous StoryNext Story

SPi News is published by Sector Publishing Intelligence Ltd.
© Sector Publishing Intelligence Ltd 2019. [Admin Only]
 
Sector Publishing Intelligence Ltd.
Agriculture House, Acland Road, DORCHESTER, Dorset DT1 1EF United Kingdom
Registered in England and Wales number 07519380.
 
Privacy Policy | Terms and Conditions | Contact Us