ECE-777 System Level Design and Automation System modeling, models of computation 1 Cristinel Ababei Electrical and Computer Department, North Dakota State.