DAG-aware circuit compression for formal verification.

Per Bjesse, Arne Borlv

Browse the full ICCAD paper archive.