Design And Modeling Environment For Nano-Electro-Mechanical Switch (Nems) Digital Systems