Automatic Generation of Compiled Simulations through Program Specialization. - Wing Yee Au 001; Daniel Weise; Scott Seligman (DAC, 1991)