MSC8251: High-Performance Single-Core DSP ARCHIVED