One doc tagged with "CSmith"

C-based scenario generator focusing on high-level test scenarios using CSmith. Introduces additional randomization dimensions for processor verification.