Currently, most integrated circuit layouts are hand checked to determine their correctness. This manual procedure is very time consuming and does not guarantee an error-free circuit. The WOMBAT program has been developed to overcome this problem.
WOMBAT currently runs on a VAX under Berkeley UNIX and Digital Equipment Corporation's VMS. Running under UNIX, WOMBAT can compare two 1200 element circuits in under 30 cpu seconds. WOMBAT has been used on circuits containing over 10k elements.
Click on FTP to download from the FTP Achives.