47
Voted
VMCAI
2014
Springer
11 years 3 days ago
2014
Springer
Abstract. Automatic synthesis of hardware components from declarative specifications is an ambitious endeavor in computer aided design. Existing synthesis algorithms are often imp...