Course page Home page Home pageNew course

Hardware verification and formal methods | Zoonk

42. Hardware verification and formal methods

Check that a hardware design matches its specification across normal and corner cases. Use testbenches, assertions, coverage, equivalence checking, model checking, and constrained-random verification.

Computer Architecture

Create this chapter

This chapter is part of the course, but it hasn't been created yet. Create it to see all of its lessons.

Create chapterNBack to courseEsc