Bluespec

Bluespec, Inc. manufactures silicon-proven electronic design automation synthesis toolsets for the application specific integrated circuits and field programmable gate arrays. Its products include Bluespec Compiler, which compiles a high-level model, transactor, test bench, or implementation into Verilog RTL or SystemC