A system is provided that facilitates design space exploration with quantitative pruning and ranking. The system may determine a collection of component model solutions corresponding to a functional model with functional model ports for a system to be produced. The component model solutions are comprised of simulated components selected from a component library based at least in part on correspondence between component ports of the simulated components and the functional model ports of the functional model. The system may select a subset of the component model solutions from the collection, which have behaviors determined for each component model solution that are consistent with behaviors determined for the functional model. The system may determine rankings for the component model solutions of the subset relative to each other based on a comparison of behaviors for each component model solution to each other and/or to the behaviors determined for the functional model.