Resumen: Presentamos un estudio de caso que aplica la metodología SpecC dentro de un flujo de codiseño de hardware/software a nivel de sistema a un convertidor PCM a PWM, el núcleo de un amplificador de audio Clase D. El convertidor fue modelado y explorado con la metodología SpecC para derivar una partición HW/SW. Utilizando estimaciones a nivel de sistema y simulación funcional rápida, evaluamos asignaciones que cumplen con las limitaciones en tiempo real y al mismo tiempo reducen el costo estimado de una solución totalmente de hardware y evitan el gasto de una implementación puramente de software en un procesador de alta gama. A pesar de la moderada complejidad del diseño, los resultados subrayan el valor del codiseño a nivel de sistema para obtener una visión arquitectónica temprana, una validación rápida y compensaciones procesables entre costo y rendimiento. [Obra original de 2005; formato revisado en 2025, sin cambios en los resultados.]
Publicado originalmente en export.arxiv.org el 27 de octubre de 2025.
Ver fuente original
