Bluespec, Inc.

Science, Technology, Electronics, Design - bluespec. Bluespec adds extensions on to System Verilog to raise the abstraction level for complex control logic.