对verilog编写的HDL模块的功能验证

Ifyousurveyhardwaredesigngroups,youwilllearnthatbetween60and80percentoftheireffortisnowdedicatedtoverification.Unlikesynthesizeablecoding,thereisnoparticularcodingstylerequiredforverification.Thefreedomofusinganyfeaturesofthelanguageshasproducedawidearrayoftechniquesandapproachest