Article

Free access

A general method for compiling event-driven simulations

Authors:

Robert S. French,

Monica S. Lam,

Jeremy R. Levitt,

Kunle OlukotunAuthors Info & Claims

DAC '95: Proceedings of the 32nd annual ACM/IEEE Design Automation Conference

Pages 151 - 156

https://doi.org/10.1145/217474.217522

Published: 01 January 1995 Publication History

PDF eReader

References

[1]

Z. Barzilai, J. L. Carter, B. K. Rosen, and J. D. Rutledge, "HSS - a high-speed simulator," IEEE Transactions on Computer-Aided Design, vol. 6, pp. 601-616, July 1987.

Digital Library

Google Scholar

[2]

C. Hansen, "Hardware logic simulation by compilation," in 25th ACM/IEEE Design Automation Conference, pp. 712-715, 1988.

Digital Library

Google Scholar

[3]

E. J. Shriver and K. A. Sakallah, "RAVEL: assigned-delay compiled-code logic simulation," in Proceedings of the 1992 IEEE International Conference on Computer-Aided Design, pp. 364- 368, Nov. 1992.

Digital Library

Google Scholar

[4]

Z. Wang and E M. Maurer, "LECSIM: A levelized event driven compiled logic simulator," in 27th ACM/IEEE Design Automation Conference, pp. 491-496, 1990.

Digital Library

Google Scholar

[5]

D. M. Lewis, "A hierarchical compiled code event-driven logic simulator," IEEE Transactions on Computer-Aided Design, vol. 10, pp. 726-737, June 1991.

Digital Library

Google Scholar

[6]

E. G. Ulrich and D. Herbert, "Speed and accuracy in digital network simulation based on structural modeling," in 19th ACM/IEEE Design Automation Conference, 1982.

Digital Library

Google Scholar

[7]

R. Wilson, R. French, C. Wilson, S. Amarasinghe, J. Anderson, S. Tjiang, S.-W. Liao, C.-W. Tseng, M. Hall, M. Lain, and J. Hennessy, "SUIF: An infrastructure for research on parallelizing and optimizing compilers" ACM SIGPLAN Notices, vol. 29, pp. 31- 37, Dec. 1994.

Digital Library

Google Scholar

[8]

S. L. Coumeri and D. E. Thomas, "Benchmark descriptions for comparing the performance of Verilog and VHDL simulators," in Proceedings of the 1994 International Verilog HDL Conference, pp. 14-16, Mar. 1994.

Google Scholar

Cited By

View all

Edwards S(2016)Design and Verification LanguagesElectronic Design Automation for IC System Design, Verification, and Testing10.1201/b19569-20(373-399)Online publication date: 14-Apr-2016
https://doi.org/10.1201/b19569-20
Bombieri NFummi FVinco S(2015)A Methodology to Recover RTL IP Functionality for Automatic Generation of SW ApplicationsACM Transactions on Design Automation of Electronic Systems10.1145/272001920:3(1-26)Online publication date: 24-Jun-2015
https://dl.acm.org/doi/10.1145/2720019
Saladi KSomakumar HGanapathi M(2013)Concurrency-aware compiler optimizations for hardware description languagesACM Transactions on Design Automation of Electronic Systems10.1145/2390191.239020118:1(1-16)Online publication date: 16-Jan-2013
https://dl.acm.org/doi/10.1145/2390191.2390201
Show More Cited By

Index Terms

A general method for compiling event-driven simulations

Recommendations

Event-driven programming with EScala
AOSD '11: Proceedings of the tenth international conference on Aspect-oriented software development companion

EScala is an extension of Scala with support for declarative event-driven programming. It provides mechanisms for declarative definition of events and employs aspect-oriented techniques for exposing implicitly existing events, which reduces the need for ...
On compiling embedded languages in LISP
LFP '80: Proceedings of the 1980 ACM conference on LISP and functional programming

In INTERLISP we find a number of embedded languages such as the iterative statement and the pattern match facility in the CLISP package, the editor and makefile languages and so forth. We will in this paper concentrate on the problem of extending the ...
Compiling a functional language
LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programming

This paper summarizes my experience in implementing a compiler for a functional language. The language is ML(1) [Milner 84] and the compiler was first implemented in 1980 as a personal project when I was a postgraduate student at the University of ...

Comments

Information & Contributors

Information

Published In

DAC '95: Proceedings of the 32nd annual ACM/IEEE Design Automation Conference

January 1995

760 pages

ISBN:0897917251

DOI:10.1145/217474

Chairman:
Bryan T. Preas
Xerox Parc, Palo Alto, CA

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: 01 January 1995

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

DAC95

Sponsor:

EDAC
SIGDA

DAC95: The 32nd Design Automation Conference

June 12 - 16, 1995

California, San Francisco, USA

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

33
Total Citations
View Citations
680
Total Downloads

Downloads (Last 12 months)170
Downloads (Last 6 weeks)21

Reflects downloads up to 14 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Edwards S(2016)Design and Verification LanguagesElectronic Design Automation for IC System Design, Verification, and Testing10.1201/b19569-20(373-399)Online publication date: 14-Apr-2016
https://doi.org/10.1201/b19569-20
Bombieri NFummi FVinco S(2015)A Methodology to Recover RTL IP Functionality for Automatic Generation of SW ApplicationsACM Transactions on Design Automation of Electronic Systems10.1145/272001920:3(1-26)Online publication date: 24-Jun-2015
https://dl.acm.org/doi/10.1145/2720019
Saladi KSomakumar HGanapathi M(2013)Concurrency-aware compiler optimizations for hardware description languagesACM Transactions on Design Automation of Electronic Systems10.1145/2390191.239020118:1(1-16)Online publication date: 16-Jan-2013
https://dl.acm.org/doi/10.1145/2390191.2390201
Sirowy SMiller BVahid FRosenstiel WWakabayashi K(2009)Portable SystemC-on-a-chipProceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis10.1145/1629435.1629439(21-30)Online publication date: 11-Oct-2009
https://dl.acm.org/doi/10.1145/1629435.1629439
Große DPeraza HKlingauf WDrechsler R(2008)Measuring the Quality of a SystemC Testbench by Using Code Coverage TechniquesEmbedded Systems Specification and Design Languages10.1007/978-1-4020-8297-9_6(73-86)Online publication date: 2008
https://doi.org/10.1007/978-1-4020-8297-9_6
Große DEbendt RDrechsler RZhou HMacii EYan ZMassoud Y(2007)Improvements for constraint solving in the systemc verification libraryProceedings of the 17th ACM Great Lakes symposium on VLSI10.1145/1228784.1228901(493-496)Online publication date: 11-Mar-2007
https://dl.acm.org/doi/10.1145/1228784.1228901
Chockler HKupferman OVardi M(2006)Coverage metrics for formal verificationInternational Journal on Software Tools for Technology Transfer (STTT)10.5555/2990015.32209448:4-5(373-386)Online publication date: 1-Aug-2006
https://dl.acm.org/doi/10.5555/2990015.3220944
Edwards STardieu O(2006)Efficient code generation from SHIM modelsACM SIGPLAN Notices10.1145/1159974.113466941:7(125-134)Online publication date: 14-Jun-2006
https://dl.acm.org/doi/10.1145/1159974.1134669
Edwards STardieu OIrwin MDe Bosschere K(2006)Efficient code generation from SHIM modelsProceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems10.1145/1134650.1134669(125-134)Online publication date: 14-Jun-2006
https://dl.acm.org/doi/10.1145/1134650.1134669
Dasgupta PDeka JChakrabarti P(2006)Model checking on timed-event structuresIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/43.84508419:5(601-611)Online publication date: 1-Nov-2006
https://dl.acm.org/doi/10.1109/43.845084
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

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

Cited By

Index Terms

Recommendations

Event-driven programming with EScala

On compiling embedded languages in LISP

Compiling a functional language

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Event-driven programming with EScala

On compiling embedded languages in LISP

Compiling a functional language

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations