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