C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Parameter synthesis with IC3.
Alessandro Cimatti
Alberto Griggio
Sergio Mover
Stefano Tonetta
Published in:
FMCAD (2013)
Keyphrases
</>
integrated circuit
input parameters
program synthesis
real world
decision making
decision trees
image segmentation
parameter space
parameter values
design parameters