sure! for example, I have a soc design and when I use tmax, I need to use the tcl #run_build_model chip (which is the top model). After the #run_fault_sim, tmax calculate the test coverage of the chip (top level in this case). My question is how to add some stimuli file into a sub module (such as some cpu code in terms of VCDE files, in my case), and let tmax return the test coverage of the top level. For my understanding, tmax cannot do that. Am I right? If this is the case is there any other way that I can somewhat solve it? thx!