A Community of Verification Professionals

Create an Account	Home | Calendar | Downloads | FAQ | Links | Site Admin | Your Account
Login Nickname Password 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, 40 guest(s) and 1 member(s) that are online. You are Anonymous user. You can register for free by clicking here    Verification Guild: Forums  Forum FAQ   Search   Usergroups   Profile  Digest    Log in  Where is the post on Jove?          Verification Guild Forum Index -> Main View previous topic :: View next topic   Author Message Martin1234 Senior Joined: Jan 27, 2004 Posts: 110 Posted: Thu Feb 16, 2006 8:33 pm    Post subject: Where is the post on Jove? There used to be a post on Jove, by the authors themselves... what happened to it? Was it subject to the 30-day limit??? Can it be brought back, it had real technical info in it, plus it is not commercial, it is open source (the only real open source HVL - with L as in Library). Back to top Janick Site Admin Joined: Nov 29, 2003 Posts: 1382 Location: Ottawa, ON Canada Posted: Fri Feb 17, 2006 7:25 am    Post subject: If it was in the EDA News forum, and more than 30 days old, it is gone for good. If it was in the Main forum, I didn't delete it (I never do) but "search" does not find it. Anyone remember the post? Back to top nall Junior Joined: Jul 11, 2004 Posts: 8 Location: Austin, TX Posted: Fri Feb 17, 2006 10:57 am    Post subject: It was in the EDA news forum, so it's gone. Back to top AmreSultan Senior Joined: Jan 13, 2004 Posts: 77 Location: Ottawa, Canada Posted: Fri Feb 17, 2006 11:07 am    Post subject: Where is the article on Jove I get the daily digest and I usually don't delete anything, a quick search of my gmail, I found most if not all the posts. Here's a cut-and-paste of the posts. Amre enjoy.. Quote: Topic: Jove: The Open Verification Environment for Java Posted By: trevor at 13 Dec 2005, 08:12 PM EST Subject : The unreleased functional coverage is simply a) a set of Java classes representing the different kinds of coverage buckets (e.g. simple counters, histograms, OVA-triggered) and b) a singleton coverage manager class that serves as a directory for the named buckets and contains the functionality to flush the buckets to any RDBMS using JDBC. It doesn't have any special interaction with Jove. (Though, note to self: it might be nice to have an automatic binding to the random solver, so that stimulus coverage could be tracked without writing any code.) I imagine Newisys wouldn't have a problem releasing it. It just might take a few weeks to break it out, package it, and document it. Quote: Topic: Jove: The Open Verification Environment for Java Posted By: drchip at 12 Dec 2005, 01:12 PM EST Subject : Can you tell us more about the un-released functional coverage features? Constrained-random testing (CRT) without functional coverage is rather like shooting blind. CRT and coverage-driven verification are so tightly bound together and I can't imagine doing the former without the latter. Quote: Topic: Jove: The Open Verification Environment for Java Posted By: Martin1234 at 09 Dec 2005, 02:12 PM EST Subject : Thanks for the answers. I have more questions Is there any type of array constraint possible (like a foreach)? Can you tell us what kind of random stability exists with Jove? Is the constraint solver uniform (i.e. all solutions have and equal probability of being chosen)? I don't know the "@" notation, I guess I should read up on Java. Thanks! (Goto Article) Posted By: nall at 09 Dec 2005, 03:12 PM EST Subject : Thanks for the answers. I have more questions Is there any type of array constraint possible (like a foreach)? Can you tell us what kind of random stability exists with Jove? Is the constraint solver uniform (i.e. all solutions have and equal probability of being chosen)? I don't know the "@" notation, I guess I should read up on Java. * array constraints (and subsequently foreach) are not currently supported (it's on my TODO list) * In Jove each thread has its own random stream which is seeded from its parent thread. Creating new threads will modify the stream of the thread in which they're created. Creating other types of objects will not affect that stream. * The contstraint solver is uniform. * The "@" or annotation syntax was introduced in Java5. Read more about it here: http://java.sun.com/j2se/1.5.0/docs/guide/language/annotations.html I hope that helps. Quote: Topic: Jove: The Open Verification Environment for Java Posted By: Martin1234 at 08 Dec 2005, 05:12 PM EST Subject : Anonymous classes implementing threads is awesome! How does jove compare to vera in terms of execution speed? Is it possible to constrain sub-objects? What things is it not good at? Is there a functional coverage package in the plans? I noticed the CVS on sourceforge is empty. Is this a one time only release? (Goto Article) Posted By: nall at 08 Dec 2005, 07:12 PM EST Subject : Anonymous classes implementing threads is awesome! How does jove compare to vera in terms of execution speed? Is it possible to constrain sub-objects? What things is it not good at? Is there a functional coverage package in the plans? I noticed the CVS on sourceforge is empty. Is this a one time only release? Martin, thanks for the comments. I'll try to answer some of your questions. * Execution speed: We found that for sims of reasonable complexity it was on par with or slightly faster than Vera. * It is possible to constrain sub-objects. See the JUnit tests in the randsolver project for examples. * What is it not good at? It is not good at representing bit vectors as Java has no operator overloading. * Functional coverage: We might include our functional coverage infrastructure in a future release. We really haven't talked about it much. * While it's not a one time only release, I'm not sure if we're going to use SourceForge's CVS (Goto Article) Back to top Display posts from previous: All Posts1 Day7 Days2 Weeks1 Month3 Months6 Months1 Year Oldest FirstNewest First         Verification Guild Forum Index -> Main All times are GMT - 5 Hours Page 1 of 1   Jump to: Select a forum Main----------------MainEDA NewsCommunity Services Networking----------------Looking for a jobLooking for candidates Archives----------------AssertionsCoverageFormalSimulationDesignMiscellaneous Test----------------Test  You cannot post new topics in this forum You cannot reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot vote in polls in this forum Forums ©

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.507 Seconds