A formal comparison tool complementary to LEQ and dedicated to the efficient formal comparison of large flattened netlists (in the range of million of gates) with similar structures.
Main Features
Requirements of an economical processing environment (eg. 256 MB memory to handle multi-million of gates)
Accurate diagnosis of differences
Definition of constraints for the comparison
Availability
Release 2.0 available on Sun OS, Sun Solaris, HP, DPX20 and PC
