Bridging boolean and quantitative synthesis using smoothed proof search
Abstract
Supplementary Material
References
Index Terms
- Bridging boolean and quantitative synthesis using smoothed proof search
Recommendations
Bridging boolean and quantitative synthesis using smoothed proof search
POPL '14: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesWe present a new technique for parameter synthesis under boolean and quantitative objectives. The input to the technique is a "sketch" --- a program with missing numerical parameters --- and a probabilistic assumption about the program's inputs. The ...
Automatic correction of RTL designs using a lightweight partial high level synthesis
AbstractCorrection of the digital designs have emerged as a major bottleneck at Register Transfer Level (RTL) due to the growing complexity of the digital systems and shortening time-to-market. Existing automated correction methods face ...
Highlights- A lightweight partial high level synthesis mechanism to correct RTL designs.
- ...
Template-based program verification and program synthesis
Program verification is the task of automatically generating proofs for a program's compliance with a given specification. Program synthesis is the task of automatically generating a program that meets a given specification. Both program verification ...
Comments
Information & Contributors
Information
Published In
![cover image ACM SIGPLAN Notices](/cms/asset/8f79ad48-a46d-43bb-a8da-1745952e6349/2578855.cover.jpg)
- January 2014702 pages
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations39Total Citations
- 354Total Downloads
- Downloads (Last 12 months)14
- Downloads (Last 6 weeks)2
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in