More Web Proxy on the site http://driver.im/

research-article

Abstraction and extensibility in digital logic simulation software

Authors:

Richard M. Salter,

John L. DonaldsonAuthors Info & Claims

ACM SIGCSE Bulletin, Volume 41, Issue 1

Pages 418 - 422

https://doi.org/10.1145/1539024.1509014

Published: 04 March 2009 Publication History

Abstract

Students of Computer Organization should be able to "learn by doing" at all levels of computer design. Digital logic circuitry is frequently taught using simulation software, however such platforms are often limited to exposing only a narrow range of design levels. This paper describes how, in the new multilevel simulation system DLSim 3, we are able to incorporate abstraction and extensibility to present the many levels of complex circuit designs in a single environment: from low level combinational and sequential circuits, through models of complete CPUs. Among other features, DLSim 3 is able to accomplish this by providing three different types of circuit abstraction: cards, chips, and plug-ins. Using DLSim 3, students recognize the uniformity of system structure, as well as the principles of abstraction that link the various levels of design.

References

[1]

D. L. Barker. Digital works 3.0. http://matrixmultimedia.com/datasheets/eldwk.pdf, 2006.

[2]

C. Burch. Logisim: A graphical system for logic circuit design and simulation. J. Educ. Resour. Comput., 2(1):5--16, 2002.

Digital Library

[3]

C. Burch. Logisim 2.1.6. http://ozark.hendrix.edu/~burch/logisim, 2007.

[4]

J. L. Donaldson, R. M. Salter, A. Singhal, J. Kramer-Miller, and S. Egorov. Exploring CPU design with DLSim plug-ins. SIGCSE'09 Poster.

[5]

S. Egorov, J. L. Donaldson, and R. M. Salter. Programmable logic arrays: a DLSim implementation. Oberlin College Summer Research Institute, 2008.

[6]

M. J. Jipping, K. Ludewig, S. Henry, and L. Tableman. How to integrate FPGAs into a computer organization course. In SIGCSE'06: Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, pages 234--238. ACM Special Interest Group on Computer Science Education, March 2006.

Digital Library

[7]

J. Kramer-Miller, J. L. Donaldson, and R. M. Salter. Mips calculator: an integer calculator built with DLSim 3. Oberlin College Summer Research Institute, 2008.

[8]

A. Masson. Logicsim. http://wuarchive.wustl.edu/edu/math/software/mac/LogicSim/, 1996.

[9]

D. A. Patterson and J. Hennessey. Computer Organization and Design, 3rd Edition. Morgan Kaufmann, Palo Alto, CA, 2004.

Digital Library

[10]

D. A. Poplawski. A pedagogically targeted logic design and simulation tool. In WCAE'07, Proceedings of the 2007 workshop on Computer architecture education, pages 1--7, June 2007.

Digital Library

[11]

R. M. Salter and J. L. Donaldson. Using DLSim 3: a scalable, extensible, multi-level logic simulator. In ITiCSE'08: Proceedings of 13th Annual Conference on Innovation and Technology in Computer Science Education, page 315. ACM Special Interest Group on Computer Science Education, June - July 2008.

Digital Library

[12]

A. Singhal, J. L. Donaldson, and R. M. Salter. Cache simulation using DLSim. Oberlin College Summer Research Institute, 2008.

[13]

A. S. Tanenbaum. Structured Computer Organization, 5th Edition. Prentice-Hall, Upper Saddle River, NJ, 2006.

Digital Library

[14]

F. Vahig. Digital Design. John Wiley, New York, 2007.

Digital Library

[15]

G. S. Wolffe, W. Yurcik, H. Osborne, and M. A. Holliday. Teaching computer organization/architecture with limited resources using simulators. In SIGCSE'02: Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, pages 176--180. ACM Special Interest Group on Computer Science Education, March 2002.

Digital Library

Cited By

Donaldson JSalter RKramer-Miller JEgorov SSinghal A(2009)Illustrating CPU design concepts with DLSim 3Proceedings of the 39th IEEE international conference on Frontiers in education conference10.5555/1733663.1733920(1098-1103)Online publication date: 18-Oct-2009
https://dl.acm.org/doi/10.5555/1733663.1733920
Donaldson JSalter RKramer-Miller JEgorov SSinghal A(2009)Illustrating CPU design concepts with DLSim 32009 39th IEEE Frontiers in Education Conference10.1109/FIE.2009.5350467(1-6)Online publication date: Oct-2009
https://doi.org/10.1109/FIE.2009.5350467
Ginat DBlau YCaspersen MEdwards SBarnes TGarcia D(2017)Multiple Levels of Abstraction in Algorithmic Problem SolvingProceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education10.1145/3017680.3017801(237-242)Online publication date: 8-Mar-2017
https://dl.acm.org/doi/10.1145/3017680.3017801
Show More Cited By

Index Terms

Abstraction and extensibility in digital logic simulation software

Recommendations

Abstraction and extensibility in digital logic simulation software
SIGCSE '09: Proceedings of the 40th ACM technical symposium on Computer science education

Students of Computer Organization should be able to "learn by doing" at all levels of computer design. Digital logic circuitry is frequently taught using simulation software, however such platforms are often limited to exposing only a narrow range of ...
Logic Networks of Carry-Save Adders

logic networks of carry-save adders such as high-speed multipliers, multioperand adders, and double-rail input parallel adders are designed based on the parallel adders with a minimum number of NOR gates discussed in [1]. After a discussion of the ...
Logic Design of Multivalued I2L Logic Circuits

An algebraic system for designing multivalued (four-level) I2L circuits is presented here. It was necessary to develop this system because the use of existing multivalued logic formalisms does not result in efficient I2L circuits. The close relationship ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGCSE Bulletin

ACM SIGCSE Bulletin Volume 41, Issue 1

SIGCSE '09

March 2009

553 pages

ISSN:0097-8418

DOI:10.1145/1539024

Issue’s Table of Contents

SIGCSE '09: Proceedings of the 40th ACM technical symposium on Computer science education
March 2009
612 pages
ISBN:9781605581835
DOI:10.1145/1508865
General Chairs:
Sue Fitzgerald
Metropolitan State University
,
Mark Guzdial
Georgia Institute of Technology
,
Program Chairs:
Gary Lewandowski
Xavier University
,
Steven Wolfman
University of British Columbia

Copyright © 2009 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 04 March 2009

Published in SIGCSE Volume 41, Issue 1

Check for updates

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
199
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 04 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Donaldson JSalter RKramer-Miller JEgorov SSinghal A(2009)Illustrating CPU design concepts with DLSim 3Proceedings of the 39th IEEE international conference on Frontiers in education conference10.5555/1733663.1733920(1098-1103)Online publication date: 18-Oct-2009
https://dl.acm.org/doi/10.5555/1733663.1733920
Donaldson JSalter RKramer-Miller JEgorov SSinghal A(2009)Illustrating CPU design concepts with DLSim 32009 39th IEEE Frontiers in Education Conference10.1109/FIE.2009.5350467(1-6)Online publication date: Oct-2009
https://doi.org/10.1109/FIE.2009.5350467
Ginat DBlau YCaspersen MEdwards SBarnes TGarcia D(2017)Multiple Levels of Abstraction in Algorithmic Problem SolvingProceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education10.1145/3017680.3017801(237-242)Online publication date: 8-Mar-2017
https://dl.acm.org/doi/10.1145/3017680.3017801
Stanisavljevic ZNikolic BDjordjevic J(2012)A Module for Automatic Assessment and Verification of Students' Work in Digital Logic DesignProceedings of the 2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems10.1109/ECBS.2012.7(275-282)Online publication date: 11-Apr-2012
https://dl.acm.org/doi/10.1109/ECBS.2012.7

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents