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

  
Verification Guild: Forums

 Forum FAQForum FAQ   SearchSearch   UsergroupsUsergroups   ProfileProfile  ProfileDigest    Log inLog in 

SystemVerilog as a modeling language?
Goto page Previous  1, 2
 
Post new topic   Reply to topic    Verification Guild Forum Index -> Main
View previous topic :: View next topic  
Author Message
dave_59
Senior
Senior


Joined: Jun 22, 2004
Posts: 974
Location: Fremont, CA

PostPosted: Wed Oct 08, 2008 6:05 pm    Post subject: Reply with quote

DavidCastle wrote:
Greetings Dave,

I saw that statement, but it sounds so nebulous that I didn't think it was really saying what it sounded like. And, it leaves a lot unsaid like, "Which version is an extension of which version?"

Regards,
David

introduction wrote:
SystemVerilog is a unified hardware design, specification, and verification language that is based on the
Accellera SystemVerilog 3.1a extensions to the Verilog HDL [B1]a, published in 2004.
1.1 Scope wrote:
This standard specifies extensions for a higher level of abstraction for modeling and verification with the
Verilog® hardware description language (HDL).
1.2 Purpose wrote:
SystemVerilog is built on top of IEEE Std 1364.
2 Normative references wrote:
The following referenced documents are indispensable for the application of this standard. For dated references,
only the edition cited applies. For undated references, the latest edition of the referenced document
(including any amendments or corrigenda) applies.
IEEE Std 1364™, IEEE Standard for Verilog Hardware Description Language.3, 4, 5
IEEE Std 754™, IEEE Standard for Binary Floating-Point Arithmetic.
Back to top
View user's profile Send e-mail Visit poster's website
tessitd
Senior
Senior


Joined: Sep 05, 2006
Posts: 286
Location: Colorado

PostPosted: Thu Oct 09, 2008 3:34 pm    Post subject: Reply with quote

DavidCastle wrote:
4 years


Man -- I must be working to hard, it took me 2 days to see the humor. Thanks David!!!

No really how do I make VCS compile code with this simple line:

x = $sin(.5);

I only saw a +v2k switch but not a +v2005 switch. Is 2005 supported by VCS and more importantly is the $(your favorite math function) supported?

TomT...
Back to top
View user's profile Send e-mail Visit poster's website
shalom
Senior
Senior


Joined: Jan 06, 2004
Posts: 110
Location: Jerusalem, Israel

PostPosted: Sun Oct 12, 2008 7:38 am    Post subject: Reply with quote

That is what I wrote:

"So in principle, SV includes Verilog-2005. In practice, actual implementations do not yet do this."

Shalom
Back to top
View user's profile Send e-mail Visit poster's website
chrisspear
Senior
Senior


Joined: Jun 15, 2004
Posts: 202
Location: Marlboro, MA

PostPosted: Mon Oct 13, 2008 9:55 am    Post subject: Reply with quote

The following works in VCS 2006.06-SP2:
Code:
program automatic test;
  import "DPI-C" function real sin (input real a);
  initial
    $display(s);
endprogram : test

Support for $sin is not in this release, but the DPI version is just fine.
Oh, don't forget to put the 0 at the front of 0.5
_________________
Chris Spear
Co-Author: SystemVerilog for Verification - 3rd edition!
http://chris.spear.net/systemverilog
Back to top
View user's profile Send e-mail Visit poster's website
Display posts from previous:   
Post new topic   Reply to topic    Verification Guild Forum Index -> Main All times are GMT - 5 Hours
Goto page Previous  1, 2
Page 2 of 2

 
Jump to:  
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
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.197 Seconds