Computer-aided prototyping for ASIC-based systems