Untitled

tessent


set_context patterns -scan read_verilog testckt.v -force set_current_design
set_system_mode analysis set_fault_type stuck
create_patterns
write_patterns testpatterns -replace
 write faults faultlist

tessent -shell -dofile atpg.do -log atpglog -replace

csh
source /home/MentorGraphics/cshrc/hep1.cshrc