Outline
Term Rewriting Systems (TRS) as a Hardware Description Language
Hardware Synthesis from Term Rewriting Systems
Notes:
I will begin the talk with a brief introduction that identifies the problem that we are trying to solve.
I will then present our hardware development frame in two parts:
first we will describe the language in our framework and in the second part we will explain how we synthesize this high-level description down to a register transfer language description
I will conclude the talk by present some our results.