A case of system-level hardware/software co-design and co-verification of a commodity multi-processor system with custom hardware.