Generate Python test function scaffolds for RTL bugs from wrapper.sv.
npx skills add https://github.com/XS-MLVP/UCAgent --skill cex-gen
Please help me install this Agent Skill. Skill: cex-gen Source: https://github.com/XS-MLVP/UCAgent/tree/main/ucagent/lang/zh/skills/formal/cex-gen Command: npx skills add https://github.com/XS-MLVP/UCAgent --skill cex-gen
Automatically analyzes environment analysis documents and wrapper.sv to generate Python test function scaffolds for each RTL_BUG, enabling an LLM to fill pin drives and assertion logic.
Run the init_test_file.py script to generate test file skeletons from the analysis documents.
High-intent search queries and answers about installing and using this skill.
Generate Python test scaffolds for RTL bugs by running the init_test_file.py script, which analyzes environment documents and wrapper.sv to create test function skeletons with DUT initialization and reset sequences for an LLM to populate.
LLM-automation for RTL bug test generation uses scripts to build test skeletons including DUT initialization, then relies on the LLM to fill pin drives and assertion logic based on RTL sources and analysis logs.
Yes, the generated test framework enforces validation rules by requiring at least one assert per test function and a final dut.Finish() call to ensure completeness before tests are considered valid.
If no RTL_BUG exists during test generation, the script generates an optional comment file instead of creating test function skeletons, documenting the absence of bugs in the analyzed environment.
Yes, you can use wrapper.sv to drive Python test creation; the script parses wrapper.sv alongside environment analysis documents to initialize the DUT and construct the test module structure.
The limitation is that auto-generation only produces scaffolds; it cannot write the actual assertion logic or pin drives, requiring an LLM to manually complete the test logic based on RTL sources.
rajivhasija79-bitGenerate a complete UVM DV testbench scaffold from a DUT specification.
HomericIntelligenceGenerate test cases for functions and modules from signatures and expected outputs.
LerianStudioAutomate development-cycle metrics collection and generate improvement reports.
alissonpefWrite a failing test before implementing code changes.
