SystemC/Verilog DES