Habe lediglich 2 Komerzielle gefunden:
- AVRco Pascal http://www.e-lab.de/AVRco/index.html Demo Version begrenzt auf 4k Code. Standart Version 481€ netto

- Embedded Pascal http://users.iafrica.com/r/ra/rainier/ Shareware €114.49

Ansonsten gibt's ne menge Code Translators nach C, ist wohl nicht das Gelbe vom Ei bei der Fehlersuche... z.B. http://www.garret.ru/~knizhnik/pascal.html