Searched refs:LevelD (Results 1 – 1 of 1) sorted by relevance
287 int LevelD, LevelR; in Acb_NtkComputePaths() local291 LevelD = p->LevelMax; in Acb_NtkComputePaths()294 assert( LevelD == LevelR ); in Acb_NtkComputePaths()349 int LevelD, LevelR, nPaths1, nPaths2; in Acb_NtkUpdateTiming() local360 LevelD = p->LevelMax; in Acb_NtkUpdateTiming()363 assert( LevelD == LevelR ); in Acb_NtkUpdateTiming()