A methodology for designing and using a hardware system specification environment