Ну как бы программу на паскале можно переписать на фортран и обратное тоже верно. Так и здесь. взять тот же сега мегадрайв. там есть верилог модель и есть си реализация...