Login / Signup
Efficient generation of parametric test conditions for AMS chips with an interval constraint solver.
Felix Neubauer
Jan Burchard
Pascal Raiola
Jochen Rivoir
Bernd Becker
Matthias Sauer
Published in:
VTS (2018)
Keyphrases
</>
constraint solver
constraint solving
constraint propagation
linear constraints
neural network
sufficient conditions
constraint satisfaction problems
constraint programming
integrated circuit