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 22 matches
bluespec.com Forum Index
Author Message
  Topic: Define struct with a module element
mehultikekar

Replies: 3
Views: 5405

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Tue Feb 21, 2017 3:11 pm   Subject: Define struct with a module element
Thanks for the explanation. Out of curiosity, what is "c" in IsModule#(m, c)? I don't see it being used anywhere.
  Topic: Define struct with a module element
mehultikekar

Replies: 3
Views: 5405

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Mon Feb 20, 2017 2:26 pm   Subject: Define struct with a module element
import RegFile::*;

typedef struct {
String config_name;
Integer num_elements;
module#(RegFile#(Bit#(a), Bit#(d))) mkRF;
} SRAMConfig#(nu ...
  Topic: Defining a type function
mehultikekar

Replies: 2
Views: 5277

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Mon Oct 03, 2016 6:12 pm   Subject: Defining a type function
But now the module that instantiates this module also needs to use this proviso:

module mkTopMod() provisos(HMaxSize#(HList#(...), sz));
SomeIfc#(HList#( ...
  Topic: Defining a type function
mehultikekar

Replies: 2
Views: 5277

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Mon Oct 03, 2016 4:14 pm   Subject: Defining a type function
How do I define a type function (like SizeOf for example)? I need the largest size in an HList, so I defined a typeclass (similar to HLength):

typeclass HMaxSize#(type t, numeric type n)
...
  Topic: import BVI with tuples
mehultikekar

Replies: 1
Views: 4498

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Thu Sep 17, 2015 6:40 pm   Subject: import BVI with tuples
I get a strange error with a BVI module has a tuple output. Here's a small test case -

interface Vlog;
method Tuple2#(Int#(3), Int#(3)) dout;
endinterface

import " ...
  Topic: import BVI: same wrapper for multiple verilog modules
mehultikekar

Replies: 3
Views: 6229

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Tue Aug 25, 2015 2:48 pm   Subject: import BVI: same wrapper for multiple verilog modules
Ok. Thanks for the prompt reply!
  Topic: import BVI: same wrapper for multiple verilog modules
mehultikekar

Replies: 3
Views: 6229

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Tue Aug 25, 2015 12:33 pm   Subject: import BVI: same wrapper for multiple verilog modules
I have multiple import BVIs -

import "BVI" module m1 (...)
code body;
endmodule;

import "BVI" module m2 (...)
code body;
endmodule;


where the & ...
  Topic: $display in module with multiple clocks
mehultikekar

Replies: 1
Views: 8776

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Sat Dec 27, 2014 12:15 am   Subject: $display in module with multiple clocks
I have a module with a 100MHz and a 25MHz clock (created with mkClockDivider) and I am using a Gearbox crossing between the two domains. The design works as expected. But with the verilog backend, the ...
  Topic: Feature request - struct with default values
mehultikekar

Replies: 0
Views: 4913

PostForum: Tools: BSC (Bluespec Compiler)   Posted: Thu Jun 26, 2014 12:06 pm   Subject: Feature request - struct with default values
Currently, if a struct has some missing members, they get undefined value. It would be nice if we could specify default values for them (perhaps by creating a DefaultValue instance for it). This would ...
  Topic: Unnecessary scheduling constraints in mkFIFOF
mehultikekar

Replies: 4
Views: 7041

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Fri Jun 20, 2014 1:02 am   Subject: Unnecessary scheduling constraints in mkFIFOF
Oh, looks like I unwittingly changed the semantics of the value methods (notEmpty and notFull) to always return the values from the start of the cycle. In my use case, I don't mind the 1 cycle delay i ...
  Topic: Unnecessary scheduling constraints in mkFIFOF
mehultikekar

Replies: 4
Views: 7041

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Thu Jun 19, 2014 3:36 pm   Subject: Unnecessary scheduling constraints in mkFIFOF
mkFIFOF has a couple of scheduling constraints that I feel are unnecessary -
notFull < deq, notEmpty < enq. With the EHRs in the new release, it is possible to get rid of them -


Reg#( ...
  Topic: Action shadowing on actionvalue methods that take arguments
mehultikekar

Replies: 8
Views: 11819

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Thu Mar 20, 2014 2:30 pm   Subject: Action shadowing on actionvalue methods that take arguments
Never mind the last part. Found UniqueWrapper in the reference guide.
  Topic: Action shadowing on actionvalue methods that take arguments
mehultikekar

Replies: 8
Views: 11819

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Thu Mar 20, 2014 2:15 pm   Subject: Action shadowing on actionvalue methods that take arguments
I am a bit confused now. If two rules call fifo.enq, the default behaviour is to give a warning -
Warning: "Test.bsv", line 16, column 8: (G0010)
Rule "rl1" was treated as more ...
  Topic: Action shadowing on actionvalue methods that take arguments
mehultikekar

Replies: 8
Views: 11819

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Thu Mar 20, 2014 1:47 pm   Subject: Action shadowing on actionvalue methods that take arguments
Thanks! BTW, with the port conflict, BSC gave an error and not a warning.

Error: "Test.bsv", line 17, column 9: (G0002)
`dut.do_stuff' needs more than 1 ports for the following uses:
...
  Topic: Action shadowing on actionvalue methods that take arguments
mehultikekar

Replies: 8
Views: 11819

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Wed Mar 19, 2014 5:52 pm   Subject: Action shadowing on actionvalue methods that take arguments
I have a module as follows:
(* synthesize *)
module mkDUT(Ifc);
Reg#(int) ra <- mkRegU;
method ActionValue#(Bool) do_stuff(int a, int b);
...
 
Page 1 of 2 Goto page 1, 2  Next
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