Fast and Accurate Automatic Design of Spiral Inductors from High-Level Specification