Verification Guild
A Community of Verification Professionals

 Create an AccountHome | Calendar | Downloads | FAQ | Links | Site Admin | Your Account  

Login
Nickname

Password

Security Code: Security Code
Type Security Code
BACKWARD

Don't have an account yet? You can create one. As a registered user you have some advantages like theme manager, comments configuration and post comments with your name.

Modules
· Home
· Downloads
· FAQ
· Feedback
· Recommend Us
· Web Links
· Your Account

Advertising

Who's Online
There are currently, 56 guest(s) and 0 member(s) that are online.

You are Anonymous user. You can register for free by clicking here

  



[ Links Main | Add Link | New | Popular | Top Rated | Random ]

Category: Main/Business/Tools

· Analog & Mixed Signal 
    · Coverage 
· Debugging 
    · Digital Simulation 
· Formal Verification 
    · Management 
· Rule Checking 
    · Specification 
· Testbench 
    

Sort Links by: Title (A\D) Date (A\D) Rating (A\D) Popularity (A\D)
Sites currently sorted by: Title (A to Z)


Design and Verification Tools Plug-In for Eclipse™ 
Description: The Design and Verification Tools plug-in for Eclipse™ implements an Integrated Development Environment (IDE) for hardware design and verification. Today, DVT provides support only for e Language development. It adds an e Language project nature and e Language perspective to the Eclipse Workbench, as well as a number of views, editors, wizards, etc. We plan to add support for other languages: Verilog - in progress, VHDL - in progress, System C, SystemVerilog, as well as integration with the main simulation engines.
Added on: 07-Mar-2006 Hits: 461
Rate this Site

Design and Verification Tools Plugin for Eclipse(TM) 
Description: DVT is the most complete development environment for e Language. It makes writting code easier, either you are a junior or a senior, either you just edit or maintain or architect a verification environment.
Added on: 27-Mar-2008 Hits: 324
Rate this Site

eParser 
Description: eParser is the first e language parser on the market. There must be a parser at the core of any application which handles e language constructs. This parser is specifically designed to speed-up the development of e based design automation tools. Users avoid spending time building the e language recognition layer, instead they focus on the added value of their application.
Added on: 06-Nov-2005 Hits: 463
Rate this Site

NameChecker - static e code naming analyser 
Description: NameChecker helps you check the project level naming conventions, measure the impact of reserved keywords on legacy code and prevent collisions in future designs.
Added on: 06-Nov-2005 Hits: 411
Rate this Site

Novas Software: SystemVerilog Assertion Backgrounder 
Description: Assertions provide a concise mechanism to check for undesired results or undesired behavior and enable users to add "out of the box" observability and testing into the verification environment. The Novas Verdi Debug System provides comprehensive assertion-based debug and analysis capabilities that leverage languages such as SVA to further automate the process of tracing, locating and understanding the root cause of design problems.
Added on: 19-Jul-2007 Hits: 323
Rate this Site

XenoTech Software 
Description: The North American distributor of premiere Verification IP products and services. Our portfolio of over 20 UVCs covers Mass Storage; Processor & Interconnect; Automotive; Communications; DFT; and Analog Mixed-Signal in both SystemVerilog and Specman e languages.
Added on: 07-Aug-2007 Hits: 338
Rate this Site

  
Verification Guild © 2006 Janick Bergeron
Web site engine's code is Copyright © 2003 by PHP-Nuke. All Rights Reserved. PHP-Nuke is Free Software released under the GNU/GPL license.
Page Generation: 0.075 Seconds