Upscale: Scaling up Formal Tools for Posh Open Source Hardware

Abstract

The POSH Upscale Project developed tools and techniques for verifying and evaluating open-source hardware. Modern Systems-on-Chip (SoCs) pose two distinct challenges to this endeavor. The first is increasing heterogeneity. SoCs comprise a range of programmable processors, dedicated hardware function blocks, and analog/mixed-signal (AMS)components. The second is differing levels of abstraction used across these components in verification tools instruction level hardware-software interfaces, register-transfer level finite state machine models, and circuit-level models.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 13, 2023
Accession Number
AD1212764

Entities

People

  • Clark Barrett

Organizations

  • Stanford University

Tags

Communities of Interest

  • Advanced Electronics
  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force
  • Air Force Facilities
  • Air Force Research Laboratories
  • Artificial Intelligence Computing
  • Case Studies
  • Circuits
  • Computer Science
  • Computer-Aided Design
  • Computers
  • Computing System Architectures
  • Debugging
  • Detection
  • Engineering
  • Governments
  • Instruction Set Architecture
  • Language
  • Load Monitoring
  • Machine Learning
  • Neural Networks
  • Simulations
  • Validation
  • Verification

Readers

  • Computer Science.
  • Integrated Circuit Design and Technology.
  • Theoretical Analysis.