Dealing with SystemVerilog constraint solver failures – the Questa way
… Tuesday Technote on Solver Debug, Jijo PS, Srini TeamCVC www.cvcblr.com Dealing with simple solver failure – looking for really “quick help”. It is a layered SystemVerilog code for a SAN Router. An inherited constraint in a testcase showed randomize() failure. Before you jump to conclusion on the simple nature of the problem – consider that this is the first time ever I look at this design/env as the original author moved out of the company (sign of good times :-) ?) and am given to fix the code ASAP – in next 15 minutes that’s (sounds way too familiar, Huh?). # Number of fware xactn 19 # ** Fatal: [Time 0 ns] Test cfg Solver failure # Time: 0 ns Scope: san_rt_top.san_rt_test_pgm_0.b1.lp.a1 File: ../ rt_test_03.sv Line: 83 # ** Note: Data structure takes 9699728 bytes of memory # Process time 0.03 seconds # $finish : ../test/san_rt_test_03.sv(83) # Time: 0 ns Iteration: 2 Instance: /san_rt_top/san_rt_test_pgm_0 So what next? Consult our friendly Questa S...