SoC Co-Design: Co-Specification Models Dr. Eng. Amr T. Abdel-Hamid ELECT 1002 Spring 2009 System-On-a-Chip Design.