1 ECE-777 System Level Design and Automation Performance abstraction Cristinel Ababei Electrical and Computer Department, North Dakota State University.