We present an automated temporal partitioning tool for developing dynamical ly recon gurable designs starting from behavior level speci cations for a class of dsp applications. An Integer Linear Programming (ilp) model is ...

This paper proposes a Unified Specification Model (USM) of concurrency and coordination compatible with VHDL. The specification model embodies a uniform treatment of computation, communication channels, and memories, ...