Robuta

https://www.researchwithnj.com/en/publications/integration-of-hierarchical-test-generation-with-behavioral-synth/ Integration of hierarchical test generation with behavioral synthesis of controller and data path... test generation behavioral synthesis data path integration hierarchical