How to turn BlueSpec Code and Compile it to Verilog?

[sukhmankkahlon]

After compiling the Haskell language using Copilot 3, I have .bs (bluespec files). What are the steps in order to compile and turn this Bluespec into Verilog? @RyanGlScott

[RyanGlScott]

This section of the copilot-bluespec design document includes an example of how to compile Bluespec code into Bluespec object code using bsc (the Bluespec compiler):

$ bsc -sim -g mkTop -u Top.bs

Compiling this into Verilog is very similar, except that you replace -sim with -verilog:

$ bsc -verilog -g mkTop -u Top.bs

This should generate a mkTop.v Verilog file.