Email Record: Synthesis of digital designs from recursion equations /