Searched refs:tTsim (Results 1 – 3 of 3) sorted by relevance
170 abctime tTsim; member
368 p->tTsim += Abc_Clock() - clk; in Pdr_ManCheckCube()
334 ABC_PRTP( "Ternary sim", p->tTsim, p->tTotal ); in Pdr_ManStop()