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 

Search found 4 matches
bluespec.com Forum Index
Author Message
  Topic: Getting conflictions between rules
gurmohan

Replies: 0
Views: 944

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Wed Feb 06, 2019 6:56 am   Subject: Getting conflictions between rules
Getting warning regarding rule conflicting. Kindly help in resolving the issue. The warning message is displayed below:

Warning: "Testbench5.bsv", line 135, column 8: (G0010)
Rule &quo ...
  Topic: Condition for Rule in BSV code is getting false
gurmohan

Replies: 0
Views: 684

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Tue Feb 05, 2019 6:53 am   Subject: Condition for Rule in BSV code is getting false
We are getting a warning while simulating BSV code for bus transactions. The rule is getting removed along with its functionality. Kindly suggest to overcome this problem..

Warning: "/home/gu ...
  Topic: Partially applied type synonym `Tuple3'
gurmohan

Replies: 2
Views: 799

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Mon Feb 04, 2019 1:42 am   Subject: Partially applied type synonym `Tuple3'
Your parentheses are not right in this type on that line:
Tuple3 #(Bool, Bit #(TLog #(num_slaves) , Bit #(TLog #(ids))))

It should be:
Tuple3 #(Bool, B ...
  Topic: Partially applied type synonym `Tuple3'
gurmohan

Replies: 2
Views: 799

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Fri Feb 01, 2019 4:53 am   Subject: Partially applied type synonym `Tuple3'
When we run the code with Tuple3, it gives error as:
line 52, column 33: (T0013)
Partially applied type synonym `Tuple3'

The line 52 is the first line of below BSV code:

module mkAXI4_Fabric ...
 
Page 1 of 1
All times are GMT - 4 Hours
Jump to:  
bluespec.com latest topics RSS feed 


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