http://bbs.fudan.edu.cn/bbs/tcon?bid=142&f=40 1 Functional verification Cadence NC-Verilog NC-VHDL Verilog XL Synopsys VCS VERA Developers Kit LEDA Checker Scirocco Simulator Aldec Active HDL 2 Synthesis Cadence Ambit logic synthesis Synopsys DC Ultra HDL Compiler Verilog VHDL Compiler Design Ware 3 Design Planning & APR Cadence Silicon Ensemble-Ultra DSM Place-and-Route & Physical design planner Clock tree generation option Synopsys Apollo-VDSM Place & Route Apollo, Advanced Clock Management Apollo, Adv Timing Driven Op. 4 Mixed Signal & Analog Verification Cadence Artist Analog Simulation