ну к нему компилера нету, это типа пикоблейз. а вот для Mico32, который тоже в verilog, есть С++ (да и фортран и ада, вобщем вся gcc-шная трахомудь). но кроме этого есть безплатный openrisk со всем тем же самым, но чистый в юридическом плане. есть у Гейслера фришный leon2, да и леон3 в наших условиях вряд ли проверят на выполнение gpl. рекомендую посмотреть opencores.org не все там блестяще, но есть вполне полезные проекты.
http://opencores.org/openrisc,or1200