make sure vlsi/fpga designs use virtual addresses