Gunar Schirner, Samar Abdi, Daniel Gajski, "Requirements and Specification for Multi-Core SW Synthesis," TR 08-16, December 16, 2008. complete TR is available upon request