Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update

Shibo Zhao, Yang Zhang, Mengxia Tao +6

Hardware development is inherently evolutionary: major revisions typically begin by changing intended behavior and then updating a previously validated implementation, rather than…