As the complexity of System-on-Chips (SoCs) continues to increase, there is a growing need for new and effective design, modeling, and verification methods to produce high-quality designs. To address ...