Elmas? is a logic simulator for building and testing logic networks. You create a logic diagram of build-in and user-defined elements and simulate it to verify that the design is logically correct. The elements include some of the most popular microcontrollers. The program can be used to create the necessary environment for debugging the firmware .
More info:
hxxp://www.tamik.com/product.htm