A Community of Verification Professionals

Create an Account	Home | Calendar | Downloads | FAQ | Links | Site Admin | Your Account
Modules · Home · Downloads · FAQ · Feedback · Recommend Us · Web Links · Your Account Advertising Who's Online There are currently, 23 guest(s) and 3 member(s) that are online. You are Anonymous user. You can register for free by clicking here Login Nickname Password Security Code: Type Security Code 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.    Verification Guild: Forums  Forum FAQ   Search   Usergroups   Profile  Digest    Log in  The time now is Wed Jan 07, 2009 5:18 am Verification Guild Forum Index View unanswered posts  Forum   Topics   Posts   Last Post  Main   Main Main forum for active topics that do not have a more specific forum. No unsolicited self-promotion please. Moderator Janick Bergeron 2066 11169 Wed Jan 07, 2009 4:17 am HT-Lab EDA News Unsolicited product announcements from EDA and service vendors. Inactive topics will be automatically deleted after 30 days. Moderator Janick Bergeron 3 3 Thu Dec 18, 2008 11:05 am Janick Community Services Bug reporting/tracking and suggestions for this website Moderator Janick Bergeron 36 71 Sat Aug 23, 2008 7:05 am Ajeetha Networking   Looking for a job "Job Wanted" ads from individuals, related to design verification. Posts will be automatically deleted after 30 days. Moderator Janick Bergeron 1 1 Mon Dec 29, 2008 1:08 pm geryo Looking for candidates "Help Wanted" ads, related to design verification. Recruiters, click here. Posts will be deleted after 30 days. Moderator Janick Bergeron 3 3 Mon Apr 23, 2007 7:14 pm Janick Archives   Assertions Assertion-based verification and languages Moderator Janick Bergeron 68 524 Fri Dec 24, 2004 4:19 pm vhdlcohen Coverage Coverage modeling and metrics Moderator Janick Bergeron 11 45 Tue Oct 19, 2004 10:37 am jmcneal Formal Formal-based verification (See Assertions forum for languages) Moderator Janick Bergeron 9 30 Sun Dec 05, 2004 2:39 am cindy Simulation Simulation-based verification and languages (e.g. SystemVerilog, SystemC, e, OpenVera, etc...) Moderator Janick Bergeron 76 327 Thu Dec 16, 2004 4:19 am dmcnam Design Design-related topics (A good design is easier to verify) Moderator Janick Bergeron 9 54 Tue Dec 21, 2004 11:07 am alexg Miscellaneous Miscellaneous inactive topics. (Being sorted into topic-based archive forums) Moderator Janick Bergeron 326 1142 Thu Dec 23, 2004 9:13 am bryan_morris_peng Test   Test Use this forum to send test contributions. They will be automatically deleted after 2 days. Moderator Janick Bergeron 8 12 Thu Dec 18, 2008 2:23 am tejask Mark all forums read All times are GMT - 5 Hours Who is Online Our users have posted a total of 13399 articles We have 4716 registered users The newest registered user is eoin In total there are 8 users online :: 0 Registered, 0 Hidden and 8 Guests   [ Administrator ]   [ Moderator ] Most users ever online was 94 on Sun Jul 01, 2007 10:20 am Registered Users: None This data is based on users active over the past five minutes New posts    No new posts    Forum is locked

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: 1.414 Seconds