Publication | Closed Access
Using Emulaion to Verify Formal Architecture Descriptions
12
Citations
1
References
1978
Year
EngineeringHardware Verification LanguageVerificationComputer ArchitectureSoftware EngineeringModel VerificationArchitecture SpecificationHardware SystemsSoftware AnalysisFormal VerificationReliability EngineeringArchitecture Description LanguageSystems EngineeringModeling And SimulationError CorrectionReliabilityFormal Architecture DescriptionsFormal SpecificationLast WordComputer EngineeringWord (Computer Architecture)Computer ScienceSoftware DesignReal ComputerAutomated ReasoningProgram AnalysisSoftware TestingMachine DiagnosticsFormal MethodsFault Injection
Does the reference manual actually describe the real computer? Not entirely, but the authors, starting with a simulation based on the written word, worked out the remaining errors using the machine diagnostics as the last word.
| Year | Citations | |
|---|---|---|
Page 1
Page 1