Eda Formal Tools