Searchboat

Drag the waters some more

OpenPower Formal and Functional Verification Tools and Environment

• define methodologies using opensource tools for building cores, components, and systems
• create new solutions to enhance methodology
• containerize

ISA Specification

• create machine-readable ISA definition
• include metadata identifying features, compliancy levels, etc.

Formal (Core)

• create PFVI (Power Formal Verification Interface) as common core test interface
• create formal environment for core vs. ISA testing

Functional

• augment opensource tools with base libraries for common verification environment
• define test format, methodology, suites for core and above verification
• create new functional test methodologies

Compliancy Testing

• create methodology, test suites, etc. for verifying cores vs. compliancy levels

System

• define FPGA, SOC, etc. debug and test methodologies
• develop core- and system-specific software versions as needed (debuggers, compilers, kernels, etc.)

Partial Landscape Overview