|
Title
|
|
|
|
Logisim to DEVS translation
|
|
|
Author
|
|
|
|
|
|
|
Abstract
|
|
|
|
| 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. |
|
|
|
Language
|
|
|
|
English
|
|
|
Source (journal)
|
|
|
|
Proceedings. - Los Alamitos, Calif
|
|
|
Source (book)
|
|
|
|
17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT), October 30-November 1, 2013, Delft, Netherlands
|
|
|
Publication
|
|
|
|
New York, N.Y.
:
IEEE
,
2013
|
|
|
ISBN
|
|
|
|
978-0-7695-5138-8
|
|
|
DOI
|
|
|
|
10.1109/DS-RT.2013.10
|
|
|
Volume/pages
|
|
|
|
(2013)
, p. 13-20
|
|
|
ISI
|
|
|
|
000330304300003
|
|
|
Full text (Publisher's DOI)
|
|
|
|
|
|
|
Full text (publisher's version - intranet only)
|
|
|
|
|
|