A Co-Design Methodology Based on Formal Specification and High-level Estimation