Formal hardware verification

Formal hardware verification
Details
- OL Work ID
- OL18251733W
Subjects
Very large scale integrationFormal methods (Computer science)Computer-aided designVerificationIntegrated circuitsIntegrated circuits, very large scale integrationComputer input-output equipmentFormal languagesDesign and constructionData processing