Formal hardware verification
No description available.
Very large scale integrationFormal methods (Computer science)Computer-aided designVerificationIntegrated circuitsIntegrated circuits, very large scale integrationComputer input-output equipmentFormal languagesDesign and constructionData processingHardwareverifikationHardware