Logisim to DEVS translationLogisim to DEVS translation
Faculty of Sciences. Mathematics and Computer Science
Antwerp Systems and software Modelling (AnSyMo)
New York, N.Y. :IEEE, 2013[*]2013
17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT), October 30-November 1, 2013, Delft, Netherlands
University of Antwerp
We propose a transformation from digital logic circuits modelled in the Logisim modelling language (and tool) to behaviourally equivalent models in the Discrete-EVent System specification (DEVS) formalism. This is achieved by mapping each Logisim component to a corresponding atomic DEVS model and by preserving the component coupling. The challenge in this work is the faithful preservation of all details of the Logisim semantics. The transformation is described and the translation of an example ALU is given.