That's a good question, Daniel

We just have to get companies to
try our product first!
We are having trouble finding people who are ready to change their design methods; it seems that many hardware designers (at least in French SMEs) are still happy being stuck with RTL... A few companies that we have met have been curious in the past about the mainstream HLS products (mainly Catapult-C and some C-to-Silicon), but in the end they were disappointed with the area/performance ratio.
That said, we have already a few working designs, I implemented a high-performance AES 128-bit cipher (11 cycles latency, comparable to commercial AES IP), a simple UART, we implemented with my associate an Ethernet 10/100/1000 MAC (tested on FPGA), and we had a trainee who worked on a turbo encoder and FFT (+ IFFT/DCT based on the FFT).
Thank you Rishiyur for these detailed explanations! I'm glad you took the time to register and post here.
We at Synflow take yet another approach: our input is a (graphical representation of) hierarchical network of parallel tasks; the tasks themselves are written in a dedicated language called C~ (a subset of C with hardware constructs). Scheduling is done by the user in C~, as the language is cycle-accurate. The idea here is that our input, compared to RTL, is like C to assembly: it's higher level, more concise, more understandable, and there is a direct, predictable mapping from C~ to RTL.
This mapping is based on the Dataflow Process Network model (i.e. firing rules with scheduling conditions), but a description is not a DPN. The reason is simple: an implementation of a DPN model requires a handshake-style FIFO for every port, which did not seem very practical...
In the end we are probably lower-level than you, but I think the two approaches are complementary.
Anyway, I know that designers have successfully designed several processors with Bluespec, so I'd like to design a processor with Synflow Studio as a 'user case' and describe the result when it's done

I was thinking of the RISC-V instruction set (modern, unencumbered, true RISC)
(see
http://inst.eecs.berkeley.edu/~cs152/sp12/handouts/riscv-spec.pdf for the details)