bluespec.com Forum Index bluespec.com
Bluespec Forums
 
 FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister 
 ProfileProfile   Log in to check your private messagesLog in to check your private messages   Log inLog in 

TMax type function doesn't exist?

 
Post new topic   Reply to topic    bluespec.com Forum Index -> Tools: BSC (Bluespec Compiler)
View previous topic :: View next topic  
Author Message
papamix



Joined: 02 Sep 2008
Posts: 2

PostPosted: Tue Sep 02, 2008 2:58 pm    Post subject: TMax type function doesn't exist? Reply with quote

Hi,

It seems that the TMax type function, which is listed in section B.3.2 ("Size Relationship Type Functions") of the bluespec reference guide is not recognized by the bluespec compiler. Will this be fixed in a future release of bluespec?

Thanks,
Michael
Back to top
View user's profile Send private message
kczeck



Joined: 30 Apr 2007
Posts: 66

PostPosted: Thu Sep 04, 2008 10:18 am    Post subject: Reply with quote

This is an error in the documentation. The manual will be corrected in the next release. There are no current plans to support TMax.
Back to top
View user's profile Send private message
ietsanjay



Joined: 25 Jan 2010
Posts: 3

PostPosted: Thu Feb 25, 2010 10:51 am    Post subject: Replacement for TMin# Reply with quote

If TMax/TMin is not going to be supported, is there a workaround to compute it?
Back to top
View user's profile Send private message
quark
Site Admin


Joined: 02 Nov 2007
Posts: 499

PostPosted: Mon Mar 15, 2010 1:36 pm    Post subject: Re: Replacement for TMin# Reply with quote

TMax will be supported in the next release. We are considering adding Min and TMin, but have to make sure that it would interoperate with the existing type functions without causing extra headache for designers! In the meantime, I don't have a general workaround but if you can show me a specific context in which Min/TMin is needed, maybe I can recommend something.
Back to top
View user's profile Send private message
test002



Joined: 03 Mar 2010
Posts: 7

PostPosted: Sun Jan 23, 2011 6:18 am    Post subject: Reply with quote

One of example depend by TMax# is token.bsv in MIT's Hasim
Back to top
View user's profile Send private message Send e-mail
Display posts from previous:   
Post new topic   Reply to topic    bluespec.com Forum Index -> Tools: BSC (Bluespec Compiler) All times are GMT - 4 Hours
Page 1 of 1

 
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
You can attach files in this forum
You can download files in this forum
bluespec.com topic RSS feed 


Powered by phpBB © 2001, 2005 phpBB Group
Protected by Anti-Spam ACP