Gravar-mail: Development system for FPGA-based digital circuits