>>549
あるよ。
www.literateprogramming.com/lpscheme.pdf
www.literateprogramming.com/tools.html

Knuth先生もMMIXエミュにデバッガ付けてましたが…
パイプラインレベルまでもエミュするCPUエミュレータw