34 citations · 124 across the 13 of their papers we have counts for
1 paper · 2 filters
Roderick Bloem, Robert Koenighofer, Martina Seidl
Automatic synthesis of hardware components from declarative specifications is an ambitious endeavor in computer aided design. Existing synthesis algorithms are often implemented wi…