RT DF A1 Jiang, Shunning. T1 Productive and Extensible Hardware Modeling, Simulation, and Verification Methodologies