1. A processor-implemented method for determining if a design for a circuit meets design specifications, so as to facilitate the provision of a manufacturable description of the circuit, the method comprising: using a processor: for each of the design specifications associated with the circuit, estimating a failure probability of each of a number of statistical samples using an initial performance model; simulating, in at least one Monte Carlo circuit design simulation, statistical samples in decreasing failure probability order using a computer-operated circuit simulation tool; selectively stopping the simulating when a worst statistical sample is found with a predetermined confidence level, wherein the worst statistical sample corresponds to a statistical sample, among the number of statistical samples, predicted to most likely fail the design specification; extracting the worst statistical sample; and determining if the worst statistical sample meets the design specification; and generating the manufacturable description of the circuit based on the determination.