Specification partitioning for system design - Vahid, F.; Gajski, D.D. ([1992] Proceedings 29th ACM/IEEE Design Automation Conference, 1992)
Keywords: Computer science; Costs; Hardware; Manufacturing; Microcontrollers; Pins; Runtime; System performance; Yield estimation