Wydania przez Liu, Weidong (Synopsys, USA)