OpenFPGA/vpr7_rram/vpr/SRC/fpga_spice/fpga_spice_bitstream.h

void encode_decoder_addr(int input,
                         int decoder_size, char* addr);

void dump_fpga_spice_bitstream(char* bitstream_file_name, 
                               char* circuit_name,
                               t_sram_orgz_info* cur_sram_orgz_info);