Formal description and language of MEMS design

We present a formal method to abstractively describe our system “IP-library based MEMS device visualized simulation and verification tool” and the design process of a MEMS device. As this method providing a model representation and inference rule based on mathematical logic, it ensures the system run precisely and perfectly. Then we take the Micro-pump design process as an example to show our system simulation result based on this design language.