Furthermore, while translating SDC commands into SGDC commands, SpyGlass will perform existence and sanity checks; if such checks fail an empty SGDC file will be generated and no further CDC analysis will be carried out. 4.3 Setup Check Defining clocks and resets provides initial constraints out ...