Research
PEak: A Single Source of Truth for Hardware Design and Verification
Abstract
The technical challenge of maintaining consistency between fragmented data models for hardware design, specification, and verification is addressed. This paper introduces PEak, a novel framework established as a 'Single Source of