- WREAL & AMS Modeling
- Automatic analog data extraction for Look-Up-Table models
- Modeling of schematic blocks as:
- Wreal – Real Number Models → digital speed
- Verilog-AMS (electrical) models → higher accuracy
- Automatic extraction of WREAL models connectivity
- Verification of behavioral models vs. schematic
- Direct & Indirect checking of models through assertions and checks built in the Verification Testbench