A design environment for knowledge-guided specification of hardware systems via model reuse