Computational ASCAL verification with inline ASCAL in high volume manufacturing fab for ArF XT:1460K with LOCO-B | IEEE Conference Publication | IEEE Xplore