ASIC verification: Integrating formal verification with HDL-based courses.
Mehran MassoumiAssim SagahyroonPublished in: Comput. Appl. Eng. Educ. (2010)
Keyphrases
- formal verification
- model checking
- design methodology
- automated verification
- model checker
- bounded model checking
- functional verification
- symbolic model checking
- formal specification
- e learning
- integrated circuit
- hardware implementation
- distance education
- computer science
- program slicing
- temporal logic
- undergraduate and graduate
- online course
- physical design
- knowledge base