Productive And Extensible Hardware Modeling, Simulation, And Verification Methodologies