Proceedings of the IEEE, Vol.103 No.11, November 2015

oleh R. Brayton, J. Roychowdhury, R. Y. Zhang, I. L. Markov, R. Murgai, Y. Vizel, S. A. Seshia, T. Villa, L. Amaru, P. Vaidyanathan, M. Fujita, J. Cortadella, V. N. Kravets, J. Sifakis, P. Nuzzo, L. P. Carloni
Terbitan: Institute of Electrical and Electronics Engineers, 2015