A Multi-Abstraction Level Platform For The Validation And Verification Of Complex Digital Designs