Automatic generation of compiled simulations through program specialization

Wing Yee Au, Daniel Weise, Scott Seligman
1991 Proceedings of the 28th conference on ACM/IEEE design automation conference - DAC '91  
Using a program specializer, we automatically generated high-performance digital simulation algorithms from a simple interpreter-based simulator. By making simple changes in the simulator and the specializer, we generated four types of compiled simulations: the PC-set algorithm, an improvement on the PC-set algorithm, and two compiled versions of the BACKSIM algorithm. An analysis of our experiments indicate that large improvements to the PC-set method are possible, and that compiled simulation
more » ... based on the pure BACKSIM algorithm should not be further investigated as the overhead of the algorithm is larger than the time it saves by pruning gate evaluations.
doi:10.1145/127601.127665 dblp:conf/dac/AuWS91 fatcat:n7p5yopl7bdhxeitmh2buznpvm