conformal abort points

Discussion in 'Cadence' started by happytuna, Jul 19, 2006.

  1. happytuna

    happytuna Guest

    doesn anybody know any tricks for getting conformal to compare abort
    points?

    i have a simple cone of logic that doesn't seem complicated. i can
    pretty much "eyeball" it in the schematic viewer and verifiy its
    logicially equivalent myself. this is an rtl2gate run.

    i've tried a high effort compare on them and also tried a compare with
    the "flow partitioning". but have had zero success.

    i've run this design using formality and its finished no problem.
     
    happytuna, Jul 19, 2006
    #1
Ask a Question

Want to reply to this thread or ask your own question?

You'll need to choose a username for the site, which only take a couple of moments (here). After that, you can post your question and our members will help you out.