The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
A C-based RTL design verification methodology for complex microprocessor
DAC '97 Proceedings of the 34th annual Design Automation Conference
DAC '98 Proceedings of the 35th annual Design Automation Conference
RTL c-based methodology for designing and verifying a multi-threaded processor
Proceedings of the 39th annual Design Automation Conference
Optimizations for a simulator construction system supporting reusable components
Proceedings of the 40th annual Design Automation Conference
Top-Down Design Using Cycle Based Simulation: an MPEG A/V Decoder Example
GLS '98 Proceedings of the Great Lakes Symposium on VLSI '98
VLSI Design and Verification of the Imagine Processor
ICCD '02 Proceedings of the 2002 IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD'02)
Efficient Combinational Loops Handling for Cycle Precise Simulation of System on a Chip
EUROMICRO '98 Proceedings of the 24th Conference on EUROMICRO - Volume 1
Introspection in System-Level Language Frameworks: Meta-Level vs. Integrated
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Anton, a special-purpose machine for molecular dynamics simulation
Proceedings of the 34th annual international symposium on Computer architecture
Speeding up SystemC simulation through process splitting
Proceedings of the conference on Design, automation and test in Europe
Proceedings of the conference on Design, automation and test in Europe
CODES+ISSS '08 Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis
| Hi-index | 0.00 |
Cascade is a cycle-based C++ simulation infrastructure used in the design and verification of two successive versions of Anton, a specialized machine designed for high-speed molecular dynamics computation. Cascade was engineered to address the size and speed challenges inherent in simulating massively parallel special-purpose machines. It provides a lightweight programming interface, rich debugging support, tight Verilog integration, fast multithreaded execution, and low memory overhead. Here, we describe the core features of Cascade that proved most valuable for our simulation efforts.