Processor Description Languages

50 CHAPTER 3 MIMOLA—A Fully Synthesizable Language

The first type of simulation is easy to perform: it is based on translating

TREEMOLA to PASCAL with a tool called MSSS and compiling the resulting pro-

gram. The only major problem is to achieve bit-true simulation in PASCAL. Calls to

an appropriate abstract data type are generated during the translation. This simula-

tion is untimed. For the running example, the product of

a and b would be found

in the memory location

Mem[1026] allocated for c.

Simulation of MIMOLA structures is performed in a discrete event simulator

called MSSU. MSSU considers the precise timing of hardware components. The

simulator ...