Sixth IEEE International High-Level Design Validation and Test Workshop

The following topics were discussed: Design validation of microprocessors; techniques for high level design validation and test; state-of-the-art formal verification techniques; high level verification and analysis; high level timing verification and testing; verification of real life designs; high-level specification and verification; high-level test generation and coverage and analysis improved techniques for Boolean reasoning