PaperEfficiently Computing Static Single Assignment form and the Control Dependence GraphRon Cytron, Jeanne Ferrante, et al.ACM TOPLAS
PaperHSS—A High-Speed SimulatorZeev Barzilai, J. Lawrence Carter, et al.IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems