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 

Generate Verilog files

 
Post new topic   Reply to topic    bluespec.com Forum Index -> Designing with BSV's Rules, Interfaces, ...
View previous topic :: View next topic  
Author Message
Gusvinhal



Joined: 22 Jun 2012
Posts: 1

PostPosted: Wed Oct 03, 2012 8:38 am    Post subject: Generate Verilog files Reply with quote

Hello,

I'm new in Bluespec and I have some difficulties. I made a code and compiled trying to generate the Verilog file (.v), but it does not generate! The compilation is successful, the files .bo are generated but nothing of .v . I compiled a example of the website and is generated the file .v . What can it be? I'm using the command bsc -verilog file.bsv


Thank you very much!
Back to top
View user's profile Send private message
hadar_agam



Joined: 10 May 2007
Posts: 38

PostPosted: Wed Oct 03, 2012 8:46 am    Post subject: Reply with quote

In order to generate a Verilog file, you should specify a synthesis boundary. It can be done in two ways:

1. on the command line, with the -g flag:

bsc -verilog -g <top-module-name> file.bsv

2. in the code by placing the (* synthesize *) attribute above the module header:
(* synthesize *)
module mkTop (TopIFC);
.
.
.
endmodule
Back to top
View user's profile Send private message Visit poster's website
Display posts from previous:   
Post new topic   Reply to topic    bluespec.com Forum Index -> Designing with BSV's Rules, Interfaces, ... 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