Hardware Modeling, Implementation, and Verification

1.17.1Analytical Model, Cycle Model, and RTL Model#

1.17.2RTL and Functional Verification of Systolic Arrays#

1.17.3Memory Models, Latency Models, and Bandwidth Models#

1.17.4Area, Timing, Power, and Energy-Efficiency Evaluation#

1.17.5Design Space Exploration and Constrained Optimization#

1.17.6Timeloop/Accelergy, SCALE-Sim, and gem5#

1.17.7FPGA Prototyping, Hardware Counters, and Model Calibration#