soc2_test1.soc

module DRAM {
    memory (0 bits 40) GDDR0
    GDDR0 accepts [(0x000000000 to 0x0fedfffff)]
}