Sungho Kang Stephen A. Szygenda The simulation automation system (SAS); concepts, implementation, and results. 89-99 1994 2 IEEE Trans. VLSI Syst. 1 http://doi.ieeecomputersociety.org/10.1109/92.273154 db/journals/tvlsi/tvlsi2.html#KangS94