Cited By
View all- Karsch KGolparvar-Fard MForsyth D(2014)ConstructAideACM Transactions on Graphics10.1145/2661229.266125633:6(1-11)Online publication date: 19-Nov-2014
While reactive synthesis and syntax-guided synthesis (SyGuS) have seen enormous progress in recent years, combining the two approaches has remained a challenge. In this work, we present the synthesis of reactive programs from Temporal Stream Logic ...
With increasing design complexity, the gap from ESL (Electronic System Level) design to RTL synthesis becomes more and more crucial to many industrial projects. Although several behavioral synthesis tools exist to automatically generate synthesizable ...
Association for Computing Machinery
New York, NY, United States