Synthesis, Implementation, Digital design, Primetime, Design Compiler, DC, Genus, DFT, ATPG, scan, power, LEC, formal verification, UPF, CPF, timing, SDC.