Formal Verification of Explicitly Parallel Microprocessors

Abstract

This report contains a collection of the following papers: (1) Formal Verification of Explicitly Parallel Microprocessors, (2) Symbolic Simulation of Microprocessor Models using Type Classes in Haskell, (3) The Internet As A Medium For Software Engineering Experiments, (4) Top level Refinement in Processor Verification, (5) On embedding a microarchitectural design language within Haskell, (6) Elementary Microarchitecture Algebra, (7) Recursive Function Definition over Coinductive Types, (8) DSL Implementation Using Staging and Mon ads, (9) Erasure for termination proofs.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1999
Accession Number
ADA363657

Tags

Communities of Interest

  • Advanced Electronics
  • Cyber
  • Ground and Sea Platforms

DTIC Thesaurus Topics

  • Air Force
  • Algorithms
  • Computations
  • Computer Architecture
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Computing System Architectures
  • Engineering
  • Equations
  • Instruction Set Architecture
  • Language
  • Microarchitecture
  • Programming Languages
  • Software Development

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Computer Engineering
  • Software Engineering