Automatic generation of compiled simulations through program specialization

Authors:
Wing Yee Au;Daniel Weise;Scott Seligman
Affiliations:
Computer Systems Laboratory, Stanford University, Stanford, CA;Computer Systems Laboratory, Stanford University, Stanford, CA;Computer Systems Laboratory, Stanford University, Stanford, CA
Venue:
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Year:
1991

LCC simulators speed development of synchronous hardware

Computer Design
Structure and interpretation of computer programs

Structure and interpretation of computer programs
COSMOS: a compiled simulator for MOS circuits

DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Demand driven simulation: BACKSIM

DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Compiling Scientific Code Using Partial Evaluation

Computer
Techniques for unit-delay compiled simulation

DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
LECSIM: a levelized event driven compiled logic simulation

DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference

Tutorial notes on partial evaluation

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Interactive Cosimulation with Partial Evaluation

Proceedings of the conference on Design, automation and test in Europe - Volume 1
An interactive codesign environment for domain-specific coprocessors

ACM Transactions on Design Automation of Electronic Systems (TODAES)
Compiled code in distributed logic simulation

Proceedings of the 38th conference on Winter simulation
Privacy-preserving genomic computation through program specialization

Proceedings of the 16th ACM conference on Computer and communications security
Functional-Level Hardware Simulation with Pull-Model Data Flow

PADS '10 Proceedings of the 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation

Hi-index	0.00