# -*- python -*-

todo = Platform('caba', 'tsarv4_vgmn_without_io_bridge_top.cpp',
    uses = [
#        Uses('caba:vci_cc_vcache_wrapper_v4', iss_t = 'common:mips32el'),
        Uses('caba:vci_cc_vcache_wrapper_v4', iss_t = 'common:gdb_iss', gdb_iss_t = 'common:mips32el'),
        Uses('caba:vci_mem_cache_v4'),
        Uses('caba:vci_simple_ram'),
        Uses('caba:vci_multi_tty'),
#        Uses('caba:vci_xicu'),
#        Uses('caba:vci_icu'),
        Uses('caba:vci_multi_icu'),
        Uses('caba:vci_vgmn'),
        Uses('caba:vci_framebuffer'),
        Uses('caba:vci_dma_tsar_v2'),
        Uses('caba:vci_block_device_tsar_v4',),
#        Uses('caba:vci_block_device',),
        Uses('caba:vci_local_crossbar'),
            
        Uses('common:elf_file_loader'),
        Uses('common:plain_file_loader')
    ],
    #default vci_param
    cell_size = 4,
    plen_size = 8,
    addr_size = 32,
    rerror_size = 1,
    clen_size = 1,
    rflag_size = 1,
    srcid_size = 14,
    pktid_size = 4,
    trdid_size = 4,
    wrplen_size = 1,
)