1. A design method, comprising: providing a netlist of a design; dividing the netlist into N user logics, N being a positive integer; after said dividing the netlist is performed, instantiating the N user logics in N macro test wrappers resulting in N instantiated logics; after said instantiating the N user logics is performed, processing the N instantiated logics; and after said processing is performed, back-annotating a result of said processing to the netlist.