Abstract: As the complexity of modern processing systems continues to increase, there has been a growing interest in the application of reusable code generators for hardware design. However, a formal ...