I recall seeing a web-based HDL synthesizer a couple years ago, but I can't find it anymore. I believe it was just a frontend that ran the vendors' synthesis tools on the server.
Does this sound familiar to anyone? I don't remember the name, and nothing is turning up in my searches. (Perhaps it got taken down?)