Monte Carlo Simulation / Computer Hardware / Design process / Leakage Current / Process Variation / Design Methodology / Low Power / High performance / Design optimization / Boolean Satisfiability / Electrical And Electronic Engineering / Design Methodology / Low Power / High performance / Design optimization / Boolean Satisfiability / Electrical And Electronic Engineering