Application-Specific Hardware

The ASH model of computation translates complete applications written in high-level languages into hardware.

https://www.cs.cmu.edu/~phoenix/compiler.html

So emulate hardware to optimize code. Is that not what a turing machine should be doing?

>>2
So port (insert open source video game here) to minix. Is that not what a lambda calculus should be doing?

>>1

I highly doubt any automatic translation would produce practically viable result, because programs consist of Y=f(X) dependencies, where you have to eval X, before Y, which modern CPUs already do at the fastest way possible. The only place where ASIC help, is when you have to do Y=f(X) in parallel.

>>1
u mena hardware description language?