Neural Models and Algorithms for Digital Testing

The design process transforms abstract functional specifications into a manufacturable assembly (or synthesis) of known parts. It also produces necessary data for driving the equipment that produces the assembly. Verification checks the correctness of design by analyzing its simulated performance. However due to errors in the fabrication process every piece that is produced may not realize the intended function.