Synopsys OpenCommunity.org
SEARCH
SynopsysOCGreenWhite pxlGreen ABOUT US Dot Linea LOW POWER Dot Linea VERIFICATION Dot Linea CONTRIBUTOR Dot Linea CONTACT US  
 
  Functional Verification
  Resource Center
  Functional Verification Videos
  Standards Blog
  Technical Papers
  Functional Verification Books
  Case Studies
  Articles
  Verification Solutions
  Synopsys
  Industry Links/Events
  Feedback Wanted

 

Functional   Verification

There are huge challenges involved in designing and verifying multi-million gate chips. Engineers have little room for error when dealing with multiple processors, complex peripheral interfaces and millions of lines of code. Every time the number of gates on a chip doubles, the required verification effort quadruples. Our online community, SynopsysOC, brings together engineers with the common aim of sharing information and resources to drive verification solutions forward.

 
Interact with other users!
Forums
SynopsysOC Discussion Forum

SynopsysOC Discussion Forum
an open community where low power and verification design challenges are discussed.

 
 
 VMM for SystemVerilog Companion Guide
Doulos LogoVMM for SystemVerilog Companion Guide is a handy quick reference for users of the Verification Methodology Manual (VMM) for SystemVerilog, a professional book co-authored by verification experts from ARM Ltd and Synopsys, Inc and published by Springer Science and business media.    DOWNLOAD
 
 Featured Functional Verification Video
DesignWare VIP Detailed UsageDesignWare VIP Detailed Usage
Presenter: Darrin Mossor, Synopsys
The Synopsys DesignWare Verification IP for AMBA 3 AXI provides an effective method of verifying AMBA 3 AXI protocol based designs. This session provides in-depth technical insight into working with the Verification Methodology Manual for SystemVerilog compliant and “AMBA 3 Assured” DesignWare Verification IP. The DesignWare Verification IP for AMBA 3 AXI includes master, slave, monitor and verification interconnect components with each supporting all the AMBA 3 AXI address, data widths, and protocol transfer and response types. The session documents how this full featured command set can be utilized to create both a directed test transaction environment as well as how to leverage the coverage driven, constrained random verification interface support.
 
 
Featured White Papers

Managing Functional Verification Projects Meeting the challenges of
high-level verification in today's SoC

This white paper, from Synopsys Professional Services, explains key factors that affect verification productivity and provides recommendations for optimal deployment adoption of advanced verification languages and methodologies. In addition, common bottlenecks that impede the successful migration to advanced verification methodologies are identified with suggestions for how to resolve them.   
READ MORE

Transaction-Level Modeling: SystemC or SystemVerilog
This article takes a practical view of transaction-level modeling. It looks at two broadly supported, industry-standard languages, IEEE 1666 SystemC and IEEE 1800 SystemVerilog, and explores how they support the concepts of TLM.   READ MORE

 
 
Interact with technical experts!
Blogs RSS
Bloger Standards Blog: The Standards Game
Karen Bartleson shares her perspective on what’s going on in the standards arena.
 
 
 Book Club Verification Methodology Manual
VMMVerification Methodology Manual for SystemVerilog
The Verification Methodology Manual for SystemVerilog is a blueprint for system-on-chip (SoC) verification success. The book documents advanced functional verification techniques used by industry experts to validate complex SoCs.

Go to the SynopsysOC Forum to discuss the VMM manual.