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 12 matches
bluespec.com Forum Index
Author Message
  Topic: SyncFIFOCount strange behavior (bug?)
tspalink

Replies: 2
Views: 6014

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Wed Apr 13, 2016 6:54 pm   Subject: SyncFIFOCount strange behavior (bug?)
For simulation, I have the following code:

SyncFIFOCountIfc#(step_pos, 2) fifo <- mkSyncFIFOCount(
clock, reset, clock);

Reg#(step_pos) pos <- mkReg ...
  Topic: conditional to satisfy no_implicit_conditions
tspalink

Replies: 7
Views: 11872

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Wed Apr 13, 2016 2:04 pm   Subject: conditional to satisfy no_implicit_conditions
Looks like I am using version 2014.07.A.

Could you explain why the schedule you are showing is correct? The code for do_deq() has a valid execution path for fifo_sync_fifo.dNotEmpty -- specifical ...
  Topic: conditional to satisfy no_implicit_conditions
tspalink

Replies: 7
Views: 11872

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Mon Mar 21, 2016 7:20 pm   Subject: conditional to satisfy no_implicit_conditions
Maybe the issue is related to my using SyncFIFOCount, as opposed to simpler FIFO implementations.

Specific code example:

interface MyFifo;
method ActionValue#(Maybe#(Bit#(1)& ...
  Topic: conditional to satisfy no_implicit_conditions
tspalink

Replies: 7
Views: 11872

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Thu Feb 11, 2016 2:00 pm   Subject: Re: conditional to satisfy no_implicit_conditions
Adding an explicit condition doesn't change the fact that the 'enq' method still has an implicit condition. You need to instantiate a FIFO without implicit conditions on the methods. There are 'ungu ...
  Topic: dealing with a top level differential clock
tspalink

Replies: 1
Views: 6825

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Thu Jan 07, 2016 1:55 pm   Subject: dealing with a top level differential clock
I am trying to put together a top level that takes in a differential clock, converts that to a single-ended clock and uses that to time some logic, which sets some LEDs.

Bluespec determines the LED ...
  Topic: conditional to satisfy no_implicit_conditions
tspalink

Replies: 7
Views: 11872

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Sun Nov 22, 2015 3:36 pm   Subject: conditional to satisfy no_implicit_conditions
Suppose I would like to create a wrapper around FIFO such that put() and get() for the wrapper are always ready, like so:

interface Buffer#(type a);
(* always_ready *)
inter ...
  Topic: case with nested tagged unions
tspalink

Replies: 2
Views: 7157

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Wed Nov 18, 2015 5:15 pm   Subject: case with nested tagged unions
The following looks to work:

typedef union tagged {
void FooA;
Integer FooB;
} Foo;

function Bool bar(Maybe#(Foo) baz) =
case (baz) matches
...
  Topic: case with nested tagged unions
tspalink

Replies: 2
Views: 7157

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Wed Nov 18, 2015 2:55 pm   Subject: case with nested tagged unions
Could someone tell me how I should be writing the following code to make it legal?

typedef union tagged {
FooA Integer;
} Foo;

function Bool bar(Maybe#(Foo) baz) = ...
  Topic: non-monadic returns from a monadic function
tspalink

Replies: 2
Views: 5498

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Thu Nov 12, 2015 2:55 pm   Subject: non-monadic returns from a monadic function
Guess I should have thought about this more. To answer my own question, it looks like the following seems to be what I want:

function m#(a) lift(a x) provisos(Monad#(m) ...
  Topic: non-monadic returns from a monadic function
tspalink

Replies: 2
Views: 5498

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Thu Nov 12, 2015 2:27 pm   Subject: non-monadic returns from a monadic function
Is there a more elegant way of writing this?

function ActionValue#(Bool) foo(Bool cond, Get#(Bool) bar) =
(cond ? bar.get() : actionvalue return False; e ...
  Topic: struct with function member
tspalink

Replies: 2
Views: 5515

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Thu Nov 12, 2015 1:45 pm   Subject: struct with function member
Thanks!
  Topic: struct with function member
tspalink

Replies: 2
Views: 5515

PostForum: Designing with BSV's Rules, Interfaces, ...   Posted: Wed Nov 11, 2015 6:10 pm   Subject: struct with function member
I am attempting to use a struct with a function member field.

Naively I thought the following should work:

1 typedef struct {
2 function Bool bar(Bool baz);
3 } Foo;
4 ...
 
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