K
kitcha
I m working on formal verification. When i do a RTL vs Netlist
comparison i get CUT-POINTS.
How do i avoid it???
comparison i get CUT-POINTS.
How do i avoid it???
kitcha said:I m working on formal verification. When i do a RTL vs Netlist
comparison i get CUT-POINTS.
How do i avoid it???
kitcha said:I m working on formal verification. When i do a RTL vs Netlist
comparison i get CUT-POINTS.
How do i avoid it???
thomas..i m finding loops in my rtl for which the tool inserts cut
points..but on the netlist side i m not able to find any loops...what
is the possible solution for this?
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. After that, you can post your question and our members will help you out.