From CoqUp Require Import Verilog.

Cd "extraction".
Separate Extraction Verilog.nat_to_value Verilog.value_to_nat.