They're the Same Picture: A Software-Verification Flow Adapted for Hardware Verification

They're the Same Picture: A Software-Verification Flow Adapted for Hardware Verification

ACM SIGPLAN via YouTube Direct link

Intro

1 of 15
Next

1 of 15

Intro

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

They're the Same Picture: A Software-Verification Flow Adapted for Hardware Verification

Automatically move to the next video in the Classroom when playback concludes
  1. 1 Intro
  2. 2 Context
  3. 3 Motivation
  4. 4 Flow
  5. 5 Synthesis tools
  6. 6 Software verification flow
  7. 7 KML ecosystem
  8. 8 The flow
  9. 9 Hardware verification
  10. 10 Differences
  11. 11 Simulationsynthesis mismatches
  12. 12 Why Verilog
  13. 13 Formalizing Pro Standards
  14. 14 Formal Semantic Visualization
  15. 15 Conclusion

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.