48 citations · 165 across the 14 of their papers we have counts for
1 paper · 1 filter
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…