Proceedings of the 13th ACM Great Lakes symposium on VLSI