The System Architects Workbench

Although each individual design tool will be discussed in greater depth later in the book, their functions are discussed here briefly  

The Behavioral Transformations tool provides a means to transform the original behavioral description. These transformations make the behavior more appropriate for implementation and provide the basis for exploring the design space at the Algorithmic Level of design. 

---

D. Thomas, E. Lagnese, R. Walker, J. Nestor, J. Rajan, and R. Blackburn, Algorithmic and Register-Transfer Level Synthesis The System Architects Workbench, Boston Kluwer Academic Publishers, 1990. 

---