There's already one!
https://github.com/sybreon/dcpu16
The core is written entirely in synthesisable Verilog RTL. Synthesises to about 700+ Slices at around 150MHz on a Spartan6. (minus h/w division and modulo)
Feel free to extend/expand/contribute.
I posted it on HN yesterday. http://news.ycombinator.com/item?id=3821400