日志

combinational loop detect

已有 1970 次阅读| 2019-5-27 13:00 |个人分类:Verilog|系统分类:芯片设计

1. in DC, use "report_loop"

2. Linting

3. vcs

3.1 compile, evaluation and simv otpion

vcs +vcs+loopdetect ...

3.2 ucli interface: use loop_detect.tcl in the hanging point

   #!/usr/bin/tclsh

proc loop_detect {args} {
   set help "-help"
    if { [string equal $args $help] != 1 } {
         config followactivescope on
         set i 0;
         while {$i < $args} {
          run_step
          incr i
         }

    } else {
        puts "Usage: loop_detect <no. of iteration>"
    }
}

proc run_step {} {
redirect -f loop.txt -a {set x [step]};
redirect -f loop.txt -a {set y [scope]};
puts $x;
puts $y;
}