VMCAI
2014
Springer
9 years 2 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...