Cadence 公司推出的高级验证语言，验证方法学开源-Cadence s introduction of an advanced verification languages, verification methodology open source

AVM（高级验证方法学）验证手册，是用SystemVerilog和SystemC两种语言实现的。(AVM (Advanced Verification Methodology) verification manual is implemented in system Verilog and system C.)