Automatic generation of compiled simulations through program specialization

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Automatic generation of compiled simulations through program specialization

Full text

Pdf (701 KB)

Source

Annual ACM IEEE Design Automation Conference archive
Proceedings of the 28th ACM/IEEE Design Automation Conference table of contents

San Francisco, California, United States

Pages: 205 - 210

Year of Publication: 1991

ISBN:0-89791-395-7

Authors

Wing Yee Au	Computer Systems Laboratory, Stanford University, Stanford, CA
Daniel Weise	Computer Systems Laboratory, Stanford University, Stanford, CA
Scott Seligman	Computer Systems Laboratory, Stanford University, Stanford, CA

Sponsors

SIGDA: ACM Special Interest Group on Design Automation
IEEE-CS : Computer Society

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 9, Citation Count: 4

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/127601.127665 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	M Chiang , R Palkovic, LCC simulators speed development of synchronous hardware, Computer Design, v.25 n.5, p.87-92, March 1, 1986
	2	D. M. Lewis, "Hierarchical Compiled Event-Driven Logic Simulation," Proceedings of ICCAD-89, pp. 498- 500.
	3	S. P. Smith , M. R. Mercer , B. Brodk, Demand driven simulation: BACKSIM, Proceedings of the 24th ACM/IEEE conference on Design automation, p.181-187, June 28-July 01, 1987, Miami Beach, Florida, United States [doi>10.1145/37888.37915]
	4	Peter M. Maurer , Zhicheng Wang, Techniques for unit-delay compiled simulation, Proceedings of the 27th ACM/IEEE conference on Design automation, p.480-484, June 24-27, 1990, Orlando, Florida, United States [doi>10.1145/123186.123346]
	5	R. E. Bryant , D. Beatty , K. Brace , K. Cho , T. Sheffler, COSMOS: a compiled simulator for MOS circuits, Proceedings of the 24th ACM/IEEE conference on Design automation, p.9-16, June 28-July 01, 1987, Miami Beach, Florida, United States [doi>10.1145/37888.37890]
	6	Z. Barzilai, 3. L. Carter, B. K. Rosen, J. D. Rutledge, "HSS-A High-Speed Simulator," IEEE Trans. on Computer-Aided Design, 6(4), July, 1987, pp. 601-16.
	7	Zhicheng Wang , Peter M. Maurer, LECSIM: a levelized event driven compiled logic simulation, Proceedings of the 27th ACM/IEEE conference on Design automation, p.491-496, June 24-27, 1990, Orlando, Florida, United States [doi>10.1145/123186.123349]
	8	Harold Abelson , Gerald Jay Sussman , Julie Sussman, Structure and interpretation of computer programs, MIT Press, Cambridge, MA, 1985
	9	D. Weise, Hierarchical Formal Multilevel Verification of Digital MOS/VLSI Circuits, PhD. Thesis, Massachusetts Institute of Technology, Artificial Intelligence Laboratory Technical Report 978, Cambridge, MA, 1984.
	10	Andrew Berlin , Daniel Weise, Compiling Scientific Code Using Partial Evaluation, Computer, v.23 n.12, p.25-37, December 1990 [doi>10.1109/2.62091]
	11	D. Weise, "Graphs as an Intermediate Representation for Partial Evaluation," Stanford University, Computer System Laboratory Technical Report CSL-TR-90-421, Stanford, CA, 1990.
	12	Brglez, Franc, P. Pownall, R. Hum, "Accelerated ATPG and Fault Grading Via Testability Analysis," Proceedings of the International Symposium on Circuit and Systems, 1985.

CITED BY 4

	Charles Consel , Olivier Danvy, Tutorial notes on partial evaluation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.493-501, March 1993, Charleston, South Carolina, United States
	Patrick Schaumont , Doris Ching , Ingrid Verbauwhede, An interactive codesign environment for domain-specific coprocessors, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.11 n.1, p.70-87, January 2006
	Jun Wang , Carl Tropper, Compiled code in distributed logic simulation, Proceedings of the 37th conference on Winter simulation, December 03-06, 2006, Monterey, California
	Patrick Schaumont , Ingrid Verbauwhede, Interactive Cosimulation with Partial Evaluation, Proceedings of the conference on Design, automation and test in Europe, p.10642, February 16-20, 2004