57
Voted
VMCAI
2014
Springer
11 years 1 months 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...