Verilog Healer

Fix Verilog Function Bug

How to Use

在verilog代码文件中 右击

选择你需要的验证模式

1. [Valid] Find Bugs (With Spec)
2. [Valid] Find Bugs (Without Spec)
3. [Valid] Find Bugs (With Spec) (With Reasoning)

如果需要切换spec文件，在文件目录右击需要使用的spec文件，点击[Valid] Add to Spec File

当前支持的spec文件格式为txt和markdown

Features

Requirements

Extension Settings

Known Issues

Release Notes

0.0.2

Following extension guidelines

Working with Markdown

For more information

Enjoy!