Commit def60682 authored by Marc's avatar Marc
Browse files

new tests and v1.2.2

parent 7f15b703
This diff is collapsed.
#
# Automatically generated make config: don't edit
#
CONFIG_LEON3FT_PRESENT=y
CONFIG_HAS_SHARED_GRFPU=y
#
# Synthesis
#
# CONFIG_SYN_INFERRED is not set
# CONFIG_SYN_AXCEL is not set
# CONFIG_SYN_AXDSP is not set
# CONFIG_SYN_FUSION is not set
# CONFIG_SYN_PROASIC is not set
# CONFIG_SYN_PROASICPLUS is not set
# CONFIG_SYN_PROASIC3 is not set
# CONFIG_SYN_PROASIC3E is not set
# CONFIG_SYN_PROASIC3L is not set
# CONFIG_SYN_IGLOO is not set
# CONFIG_SYN_IGLOO2 is not set
# CONFIG_SYN_SF2 is not set
# CONFIG_SYN_RTG4 is not set
# CONFIG_SYN_POLARFIRE is not set
# CONFIG_SYN_UT025CRH is not set
# CONFIG_SYN_UT130HBD is not set
# CONFIG_SYN_UT90NHBD is not set
# CONFIG_SYN_CYCLONEIII is not set
# CONFIG_SYN_STRATIX is not set
# CONFIG_SYN_STRATIXII is not set
# CONFIG_SYN_STRATIXIII is not set
# CONFIG_SYN_STRATIXIV is not set
# CONFIG_SYN_STRATIXV is not set
# CONFIG_SYN_ALTERA is not set
# CONFIG_SYN_ATC18 is not set
# CONFIG_SYN_ATC18RHA is not set
# CONFIG_SYN_CUSTOM1 is not set
# CONFIG_SYN_DARE is not set
# CONFIG_SYN_CMOS9SF is not set
# CONFIG_SYN_BRAVEMED is not set
# CONFIG_SYN_ECLIPSE is not set
# CONFIG_SYN_RH_LIB18T is not set
# CONFIG_SYN_RHUMC is not set
# CONFIG_SYN_RHS65 is not set
# CONFIG_SYN_SAED32 is not set
# CONFIG_SYN_SMIC13 is not set
# CONFIG_SYN_TM65GPLUS is not set
# CONFIG_SYN_TSMC90 is not set
# CONFIG_SYN_UMC is not set
# CONFIG_SYN_ARTIX7 is not set
# CONFIG_SYN_KINTEX7 is not set
CONFIG_SYN_KINTEXU=y
# CONFIG_SYN_SPARTAN3 is not set
# CONFIG_SYN_SPARTAN3E is not set
# CONFIG_SYN_SPARTAN6 is not set
# CONFIG_SYN_VIRTEX2 is not set
# CONFIG_SYN_VIRTEX4 is not set
# CONFIG_SYN_VIRTEX5 is not set
# CONFIG_SYN_VIRTEX6 is not set
# CONFIG_SYN_VIRTEX7 is not set
# CONFIG_SYN_ZYNQ7000 is not set
# CONFIG_SYN_INFER_RAM is not set
# CONFIG_SYN_INFER_PADS is not set
# CONFIG_SYN_NO_ASYNC is not set
# CONFIG_SYN_SCAN is not set
#
# Clock generation
#
# CONFIG_CLK_INFERRED is not set
# CONFIG_CLK_HCLKBUF is not set
# CONFIG_CLK_UT130HBD is not set
# CONFIG_CLK_ALTDLL is not set
# CONFIG_CLK_BRAVEMED is not set
# CONFIG_CLK_PRO3PLL is not set
# CONFIG_CLK_PRO3EPLL is not set
# CONFIG_CLK_PRO3LPLL is not set
# CONFIG_CLK_FUSPLL is not set
# CONFIG_CLK_LIB18T is not set
# CONFIG_CLK_RHUMC is not set
# CONFIG_CLK_DARE is not set
# CONFIG_CLK_SAED32 is not set
# CONFIG_CLK_EASIC45 is not set
# CONFIG_CLK_RHS65 is not set
CONFIG_CLK_CLKPLLE2=y
# CONFIG_CLK_CLKDLL is not set
# CONFIG_CLK_DCM is not set
CONFIG_CLK_MUL=2
CONFIG_CLK_DIV=6
# CONFIG_PCI_SYSCLK is not set
#
# Processor
#
CONFIG_LEON3=y
# CONFIG_LEON4 is not set
CONFIG_PROC_NUM=1
# CONFIG_LEON_MIN is not set
# CONFIG_LEON_GP is not set
# CONFIG_LEON_HP is not set
CONFIG_LEON_CUSTOM=y
#
# Integer unit
#
CONFIG_IU_NWINDOWS=8
# CONFIG_IU_RFINF is not set
CONFIG_IU_V8MULDIV=y
CONFIG_IU_MUL_LATENCY_2=y
# CONFIG_IU_MUL_LATENCY_4 is not set
# CONFIG_IU_MUL_LATENCY_5 is not set
CONFIG_IU_MUL_INFERRED=y
# CONFIG_IU_MUL_MODGEN is not set
# CONFIG_IU_MUL_TECHSPEC is not set
# CONFIG_IU_MUL_DW is not set
CONFIG_IU_SVT=y
CONFIG_IU_LDELAY=1
CONFIG_IU_WATCHPOINTS=4
CONFIG_PWD=y
CONFIG_IU_RSTADDR=00000
CONFIG_NP_ASI=y
# CONFIG_WRPSR is not set
# CONFIG_ALTWIN is not set
# CONFIG_REX is not set
#
# Floating-point unit
#
CONFIG_FPU_ENABLE=y
CONFIG_FPU_GRFPU=y
# CONFIG_FPU_GRFPULITE is not set
CONFIG_FPU_GRFPU_INFMUL=y
# CONFIG_FPU_GRFPU_DWMUL is not set
# CONFIG_FPU_GRFPU_MODGEN is not set
# CONFIG_FPU_GRFPU_TECHSPEC is not set
# CONFIG_FPU_GRFPU_SH is not set
# CONFIG_FPU_NETLIST is not set
# CONFIG_FPU_RFINF is not set
#
# Cache system
#
CONFIG_ICACHE_ENABLE=y
# CONFIG_ICACHE_ASSO1 is not set
# CONFIG_ICACHE_ASSO2 is not set
# CONFIG_ICACHE_ASSO3 is not set
CONFIG_ICACHE_ASSO4=y
# CONFIG_ICACHE_SZ1 is not set
# CONFIG_ICACHE_SZ2 is not set
CONFIG_ICACHE_SZ4=y
# CONFIG_ICACHE_SZ8 is not set
# CONFIG_ICACHE_SZ16 is not set
# CONFIG_ICACHE_SZ32 is not set
# CONFIG_ICACHE_SZ64 is not set
# CONFIG_ICACHE_SZ128 is not set
# CONFIG_ICACHE_SZ256 is not set
CONFIG_ICACHE_LZ16=y
# CONFIG_ICACHE_LZ32 is not set
# CONFIG_ICACHE_ALGORND is not set
CONFIG_ICACHE_ALGOLRU=y
# CONFIG_ICACHE_LOCK is not set
CONFIG_DCACHE_ENABLE=y
# CONFIG_DCACHE_ASSO1 is not set
# CONFIG_DCACHE_ASSO2 is not set
# CONFIG_DCACHE_ASSO3 is not set
CONFIG_DCACHE_ASSO4=y
# CONFIG_DCACHE_SZ1 is not set
# CONFIG_DCACHE_SZ2 is not set
CONFIG_DCACHE_SZ4=y
# CONFIG_DCACHE_SZ8 is not set
# CONFIG_DCACHE_SZ16 is not set
# CONFIG_DCACHE_SZ32 is not set
# CONFIG_DCACHE_SZ64 is not set
# CONFIG_DCACHE_SZ128 is not set
# CONFIG_DCACHE_SZ256 is not set
CONFIG_DCACHE_LZ16=y
# CONFIG_DCACHE_LZ32 is not set
# CONFIG_DCACHE_ALGORND is not set
CONFIG_DCACHE_ALGOLRU=y
# CONFIG_DCACHE_LOCK is not set
CONFIG_DCACHE_SNOOP=y
CONFIG_DCACHE_SNOOP_SEPTAG=y
# CONFIG_DCACHE_SNOOP_SP is not set
CONFIG_CACHE_FIXED=0
CONFIG_BWMASK=00F0
CONFIG_CACHE_64BIT=y
# CONFIG_CACHE_128BIT is not set
#
# MMU
#
CONFIG_MMU_ENABLE=y
CONFIG_MMU_SV=y
# CONFIG_MMU_COMBINED is not set
CONFIG_MMU_SPLIT=y
CONFIG_MMU_REPARRAY=y
# CONFIG_MMU_REPINCREMENT is not set
# CONFIG_MMU_I2 is not set
# CONFIG_MMU_I4 is not set
# CONFIG_MMU_I8 is not set
CONFIG_MMU_I16=y
# CONFIG_MMU_I32 is not set
# CONFIG_MMU_I64 is not set
# CONFIG_MMU_D2 is not set
# CONFIG_MMU_D4 is not set
# CONFIG_MMU_D8 is not set
CONFIG_MMU_D16=y
# CONFIG_MMU_D32 is not set
# CONFIG_MMU_D64 is not set
CONFIG_MMU_FASTWB=y
CONFIG_MMU_PAGE_4K=y
# CONFIG_MMU_PAGE_8K is not set
# CONFIG_MMU_PAGE_16K is not set
# CONFIG_MMU_PAGE_32K is not set
# CONFIG_MMU_PAGE_PROG is not set
# CONFIG_MMU_INF is not set
#
# Debug Support Unit
#
CONFIG_DSU_ENABLE=y
CONFIG_DSU_ITRACE=y
# CONFIG_DSU_ITRACESZ1 is not set
# CONFIG_DSU_ITRACESZ2 is not set
CONFIG_DSU_ITRACESZ4=y
# CONFIG_DSU_ITRACESZ8 is not set
# CONFIG_DSU_ITRACESZ16 is not set
CONFIG_DSU_ITRACE_2P=y
CONFIG_DSU_ATRACE=y
# CONFIG_DSU_ATRACESZ1 is not set
# CONFIG_DSU_ATRACESZ2 is not set
CONFIG_DSU_ATRACESZ4=y
# CONFIG_DSU_ATRACESZ8 is not set
# CONFIG_DSU_ATRACESZ16 is not set
CONFIG_STAT_ENABLE=y
CONFIG_STAT_CNT=4
CONFIG_STAT_NMAX=0
#
# Fault-tolerance
#
CONFIG_IUFT_NONE=y
# CONFIG_IUFT_PAR is not set
# CONFIG_IUFT_DMR is not set
# CONFIG_IUFT_BCH is not set
# CONFIG_IUFT_BCHOTF is not set
# CONFIG_IUFT_TECHSPEC is not set
# CONFIG_IUFT_TMR is not set
CONFIG_FPUFT_NONE=y
# CONFIG_FPUFT_PAR is not set
# CONFIG_FPUFT_DMR is not set
# CONFIG_FPUFT_TMR is not set
# CONFIG_RF_ERRINJ is not set
# CONFIG_CACHE_FT_NONE is not set
CONFIG_CACHE_FT_EN=y
# CONFIG_CACHE_FT_TECH is not set
CONFIG_CACHE_ERRINJ=0
#
# VHDL debug settings
#
# CONFIG_IU_DISAS is not set
# CONFIG_DEBUG_PC32 is not set
#
# L2 Cache
#
# CONFIG_L2_ENABLE is not set
# CONFIG_L2_ASSO1 is not set
# CONFIG_L2_ASSO2 is not set
# CONFIG_L2_ASSO3 is not set
CONFIG_L2_ASSO4=y
# CONFIG_L2_SZ1 is not set
# CONFIG_L2_SZ2 is not set
# CONFIG_L2_SZ4 is not set
# CONFIG_L2_SZ8 is not set
# CONFIG_L2_SZ16 is not set
# CONFIG_L2_SZ32 is not set
# CONFIG_L2_SZ64 is not set
CONFIG_L2_SZ128=y
# CONFIG_L2_SZ256 is not set
# CONFIG_L2_SZ512 is not set
CONFIG_L2_LINE32=y
# CONFIG_L2_LINE64 is not set
# CONFIG_L2_HPROT is not set
# CONFIG_L2_PEN is not set
# CONFIG_L2_WT is not set
# CONFIG_L2_RAN is not set
# CONFIG_L2_SHARE is not set
CONFIG_L2_MAP=00F0
CONFIG_L2_MTRR=0
CONFIG_L2_EDAC_NONE=y
# CONFIG_L2_EDAC_YES is not set
# CONFIG_L2_EDAC_TECHSPEC is not set
CONFIG_L2_AXI=y
#
# AMBA configuration
#
CONFIG_AHB_DEFMST=0
CONFIG_AHB_RROBIN=y
# CONFIG_AHB_SPLIT is not set
CONFIG_AHB_FPNPEN=y
CONFIG_AHB_IOADDR=FFF
CONFIG_APB_HADDR=800
# CONFIG_AHB_MON is not set
# CONFIG_AHB_MONERR is not set
# CONFIG_AHB_MONWAR is not set
# CONFIG_AHB_DTRACE is not set
#
# Debug Link
#
CONFIG_DSU_UART=y
CONFIG_DSU_JTAG=y
# CONFIG_GRUSB_DCL is not set
CONFIG_GRUSB_DCL_ULPI=y
# CONFIG_GRUSB_DCL_UTMI8 is not set
# CONFIG_GRUSB_DCL_UTMI16 is not set
CONFIG_DSU_ETH=y
# CONFIG_DSU_ETHSZ1 is not set
CONFIG_DSU_ETHSZ2=y
# CONFIG_DSU_ETHSZ4 is not set
# CONFIG_DSU_ETHSZ8 is not set
# CONFIG_DSU_ETHSZ16 is not set
CONFIG_DSU_IPMSB=C0A8
CONFIG_DSU_IPLSB=0033
CONFIG_DSU_ETHMSB=020000
CONFIG_DSU_ETHLSB=000000
# CONFIG_DSU_ETH_PROG is not set
#
# Peripherals
#
#
# Memory controller
#
#
# Leon2 memory controller
#
CONFIG_MCTRL_LEON2=y
CONFIG_MCTRL_8BIT=y
CONFIG_MCTRL_16BIT=y
# CONFIG_MCTRL_5CS is not set
# CONFIG_MCTRL_SDRAM is not set
#
# MIG 7-Series memory controller
#
CONFIG_MIG_7SERIES=y
CONFIG_MIG_7SERIES_MODEL=y
# CONFIG_AHBSTAT_ENABLE is not set
CONFIG_AHBSTAT_NFTSLV=1
#
# On-chip RAM/ROM
#
CONFIG_AHBROM_ENABLE=y
CONFIG_AHBROM_START=000
# CONFIG_AHBROM_PIPE is not set
CONFIG_AHBRAM_ENABLE=y
# CONFIG_AHBRAM_SZ1 is not set
# CONFIG_AHBRAM_SZ2 is not set
CONFIG_AHBRAM_SZ4=y
# CONFIG_AHBRAM_SZ8 is not set
# CONFIG_AHBRAM_SZ16 is not set
# CONFIG_AHBRAM_SZ32 is not set
# CONFIG_AHBRAM_SZ64 is not set
# CONFIG_AHBRAM_SZ128 is not set
# CONFIG_AHBRAM_SZ256 is not set
# CONFIG_AHBRAM_SZ512 is not set
# CONFIG_AHBRAM_SZ1024 is not set
# CONFIG_AHBRAM_SZ2048 is not set
# CONFIG_AHBRAM_SZ4096 is not set
CONFIG_AHBRAM_START=A00
# CONFIG_AHBRAM_PIPE is not set
#
# Ethernet
#
CONFIG_GRETH_ENABLE=y
CONFIG_GRETH_GIGA=y
# CONFIG_GRETH_FMC_MODE is not set
# CONFIG_GRETH_FT is not set
#
# USB 2.0 Host Controller
#
# CONFIG_GRUSBHC_ENABLE is not set
# CONFIG_GRUSBHC_EHC is not set
# CONFIG_GRUSBHC_UHC is not set
CONFIG_GRUSBHC_NPORTS=1
CONFIG_GRUSBHC_ULPI=y
# CONFIG_GRUSBHC_UTMI16 is not set
# CONFIG_GRUSBHC_UTMI8 is not set
CONFIG_GRUSBHC_VBUSEXT=y
# CONFIG_GRUSBHC_VBUSINT is not set
CONFIG_GRUSBHC_FAULTL=y
# CONFIG_GRUSBHC_FAULTH is not set
# CONFIG_GRUSBHC_FAULTN is not set
#
# Memory interface
#
# CONFIG_GRUSBHC_BEREGS is not set
# CONFIG_GRUSBHC_BEDESC is not set
CONFIG_GRUSBHC_BWRD=16
#
# Port routing
#
# CONFIG_GRUSBHC_PRR is not set
CONFIG_GRUSBHC_NPCC=1
#
# USB 2.0 Device Controller
#
# CONFIG_GRUSBDC_ENABLE is not set
# CONFIG_GRUSBDC_AIFACE is not set
CONFIG_GRUSBDC_ULPI=y
# CONFIG_GRUSBDC_UTMI8 is not set
# CONFIG_GRUSBDC_UTMI16 is not set
CONFIG_GRUSBDC_NEPI=1
CONFIG_GRUSBDC_NEPO=1
CONFIG_GRUSBDC_I0=1024
CONFIG_GRUSBDC_I1=1024
CONFIG_GRUSBDC_I2=1024
CONFIG_GRUSBDC_I3=1024
CONFIG_GRUSBDC_I4=1024
CONFIG_GRUSBDC_I5=1024
CONFIG_GRUSBDC_I6=1024
CONFIG_GRUSBDC_I7=1024
CONFIG_GRUSBDC_I8=1024
CONFIG_GRUSBDC_I9=1024
CONFIG_GRUSBDC_I10=1024
CONFIG_GRUSBDC_I11=1024
CONFIG_GRUSBDC_I12=1024
CONFIG_GRUSBDC_I13=1024
CONFIG_GRUSBDC_I14=1024
CONFIG_GRUSBDC_I15=1024
CONFIG_GRUSBDC_O0=1024
CONFIG_GRUSBDC_O1=1024
CONFIG_GRUSBDC_O2=1024
CONFIG_GRUSBDC_O3=1024
CONFIG_GRUSBDC_O4=1024
CONFIG_GRUSBDC_O5=1024
CONFIG_GRUSBDC_O6=1024
CONFIG_GRUSBDC_O7=1024
CONFIG_GRUSBDC_O8=1024
CONFIG_GRUSBDC_O9=1024
CONFIG_GRUSBDC_O10=1024
CONFIG_GRUSBDC_O11=1024
CONFIG_GRUSBDC_O12=1024
CONFIG_GRUSBDC_O13=1024
CONFIG_GRUSBDC_O14=1024
CONFIG_GRUSBDC_O15=1024
#
# CAN
#
# CONFIG_CAN_ENABLE is not set
CONFIG_CAN_NUM=1
CONFIG_CANIO=C00
CONFIG_CANIRQ=13
# CONFIG_CANSEPIRQ is not set
# CONFIG_CAN_SYNCRST is not set
# CONFIG_CAN_FT is not set
#
# Spacewire
#
# CONFIG_SPW_ENABLE is not set
CONFIG_SPW_NUM=1
# CONFIG_SPW_AHBFIFO4 is not set
# CONFIG_SPW_AHBFIFO8 is not set
CONFIG_SPW_AHBFIFO16=y
# CONFIG_SPW_AHBFIFO32 is not set
CONFIG_SPW_RXFIFO16=y
# CONFIG_SPW_RXFIFO32 is not set
# CONFIG_SPW_RXFIFO64 is not set
# CONFIG_SPW_RMAP is not set
# CONFIG_SPW_RMAPCRC is not set
# CONFIG_SPW_RXUNAL is not set
CONFIG_SPW_FT_NONE=y
# CONFIG_SPW_FT_DMR is not set
# CONFIG_SPW_FT_TMR is not set
# CONFIG_SPW_FT_BCH is not set
# CONFIG_SPW_FT_TECHSPEC is not set
# CONFIG_SPW_NETLIST is not set
CONFIG_SPW_PORTS=1
# CONFIG_SPW_GRSPW1 is not set
CONFIG_SPW_GRSPW2=y
CONFIG_SPW_DMACHAN=1
# CONFIG_SPW_RTSAME is not set
# CONFIG_SPW_RX_SDR is not set
CONFIG_SPW_RX_DDR=y
# CONFIG_SPW_RX_PAD is not set
# CONFIG_SPW_RX_XOR is not set
# CONFIG_SPW_RX_XORER1 is not set
# CONFIG_SPW_RX_XORER2 is not set
# CONFIG_SPW_RX_AFLEX is not set
CONFIG_SPW_TX_SDR=y
# CONFIG_SPW_TX_DDR is not set
# CONFIG_SPW_TX_AFLEX is not set
#
# UARTs, timers and irq control
#
CONFIG_UART1_ENABLE=y
# CONFIG_UA1_FIFO1 is not set
# CONFIG_UA1_FIFO2 is not set
# CONFIG_UA1_FIFO4 is not set
# CONFIG_UA1_FIFO8 is not set
# CONFIG_UA1_FIFO16 is not set
CONFIG_UA1_FIFO32=y
CONFIG_IRQ3_ENABLE=y
# CONFIG_IRQ3_SEC is not set
CONFIG_GPT_ENABLE=y
CONFIG_GPT_NTIM=2
CONFIG_GPT_SW=8
CONFIG_GPT_TW=32
CONFIG_GPT_IRQ=8
CONFIG_GPT_SEPIRQ=y
# CONFIG_GPT_WDOGEN is not set
CONFIG_GRGPIO_ENABLE=y
CONFIG_GRGPIO_WIDTH=8
CONFIG_GRGPIO_IMASK=0000
CONFIG_I2C_ENABLE=y
#
# Keybord and VGA interface
#
# CONFIG_KBD_ENABLE is not set
# CONFIG_VGA_ENABLE is not set
# CONFIG_SVGA_ENABLE is not set
#
# SPI
#
#
# SPI memory controller
#
# CONFIG_SPIMCTRL is not set
CONFIG_SPIMCTRL_READCMD=0B
# CONFIG_SPIMCTRL_DUMMYBYTE is not set
# CONFIG_SPIMCTRL_DUALOUTPUT is not set
CONFIG_SPIMCTRL_OFFSET=0
CONFIG_SPIMCTRL_SCALER=1
CONFIG_SPIMCTRL_ASCALER=8
#
# SPI controller(s)
#
CONFIG_SPICTRL_ENABLE=y
CONFIG_SPICTRL_NUM=1
CONFIG_SPICTRL_SLVS=1
CONFIG_SPICTRL_FIFO=1
# CONFIG_SPICTRL_SLVREG is not set
# CONFIG_SPICTRL_ASEL is not set
# CONFIG_SPICTRL_AM is not set
# CONFIG_SPICTRL_ODMODE is not set
# CONFIG_SPICTRL_TWEN is not set
CONFIG_SPICTRL_MAXWLEN=0
# CONFIG_SPICTRL_SYNCRAM is not set
CONFIG_SPICTRL_PROT0=y
# CONFIG_SPICTRL_PROT1 is not set
# CONFIG_SPICTRL_PROT2 is not set
#
# Partial Reconfiguration
#
# CONFIG_PARTIAL is not set
# CONFIG_CRC is not set
# CONFIG_EDAC is not set
# CONFIG_DCM_FIFO is not set
#
# VHDL Debugging
#
# CONFIG_DEBUG_UART is not set
### GRLIB general setup and extra target to clean software
include .config
GRLIB=../..
CLEAN=soft-clean
############ Leon Core ########################
GRLIB_CONFIG=grlib_config.vhd
############ Board Setup ########################
### Xilinx Vivado device and board setup
BOARD=xilinx-kcu105-xcku040
DESIGN=leon3-xilinx-kcu105
include $(GRLIB)/boards/$(BOARD)/Makefile.inc
DEVICE=$(PART)-$(PACKAGE)-$(SPEED)
XDC=$(GRLIB)/boards/$(BOARD)/$(BOARD).xdc
############ Project ########################
### Simulation Options ###
# Design Top Level
TOP=leon3mp
# Simulation top level
SIMTOP=testbench
# Uncomment for Modelsim or change to specify your simulator
GRLIB_SIMULATOR=ModelSim
# Options used during compilation
VCOMOPT=-explicit -O0
# GRLIB Options
VSIMOPT= -L work -L secureip -L unisims_ver glbl
GRLIB_COMPILE_VIVADO_IP=Y
# GRETH options
ifeq ($(CONFIG_GRETH_ENABLE),y)
VSIMOPT+= -L gig_ethernet_pcs_pma_v16_1_3
endif
# - MIG -
ifeq ($(CONFIG_MIG_7SERIES),y)
VSIMOPT+= -t ps -voptargs="+acc -nowarn 1"
ifndef CONFIG_MIG_7SERIES_MODEL
VSIMOPT+= -gUSE_MIG_INTERFACE_MODEL=false
ASIMOPT+= -gUSE_MIG_INTERFACE_MODEL=false
else
VSIMOPT+= -gUSE_MIG_INTERFACE_MODEL=true -t ps