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 compares two netlists. One is usually based on the simulator input; the other is often extracted from the layout. However, such is not necessarily the case, and Wombat makes no assumptions about the number of pins or the technology of the circuit elements in the schematics. The user can specify how the pins of individual elements permute and an initial correspondence between circuit elements and nets. Wombat generates a list of corresponding elements and nets and notes any differences.
Running under UNIX, Wombat can compare two 1200-element circuits in less than 30 CPU seconds. Wombat has been used on circuits containing over 10,000 elements.
Documentation Included with the Program:
- Installation Notes. Available separately for $1.00
- R. Spickelmier, Verification of Circuit Interconnectivity (UCB/ERL M83/66, October 1983). Available separately for $5.00
Foreign Distribution: Requires special permission to be granted by faculty member in charge of software. May delay order slightly.