DYNAD: a framework IV SMT project addressed to the development of dynamic test techniques for analog-to-digital converters