| 1 |
36 |
wfjm |
# $Id: sys_w11a_n4.vmfset 774 2016-06-12 17:08:47Z mueller $
|
| 2 |
|
|
#
|
| 3 |
|
|
# ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|
| 4 |
|
|
[syn]
|
| 5 |
|
|
# false_path -hold ignored by synth ----------------------------
|
| 6 |
|
|
I [Designutils 20-1567]
|
| 7 |
|
|
|
| 8 |
|
|
# net without driver -------------------------------------------
|
| 9 |
|
|
# --> snum currently disabled # OK 2016-05-28
|
| 10 |
|
|
i [Synth 8-3848] DM_STAT_SE[snum].*pdp11_sequencer
|
| 11 |
|
|
|
| 12 |
|
|
# port driven by constant --------------------------------------
|
| 13 |
|
|
# --> RGBLED0 currently unused # OK 2016-05-28
|
| 14 |
|
|
i [Synth 8-3917] O_RGBLED0[\d]
|
| 15 |
|
|
|
| 16 |
|
|
# unconnected ports --------------------------------------------
|
| 17 |
|
|
I [Synth 8-3331] RB_MREQ # generic
|
| 18 |
|
|
I [Synth 8-3331] DM_STAT_DP # generic
|
| 19 |
|
|
|
| 20 |
|
|
# unused sequential element ------------------------------------
|
| 21 |
|
|
I [Synth 8-3332] R_LREGS_reg[attn][\d*] # generic
|
| 22 |
|
|
I [Synth 8-3332] HIO/R_REGS_reg[(btn|swi)(eff)?][\d*] # generic
|
| 23 |
|
|
# --> only 4 MB out of 16 MB used # OK 2016-05-28
|
| 24 |
|
|
i [Synth 8-3332] IOB_MEM_ADDRH/R_DO_reg[20]
|
| 25 |
|
|
i [Synth 8-3332] IOB_MEM_ADDRH/R_DO_reg[21]
|
| 26 |
|
|
# --> usec not used for serport clock domain # OK 2016-05-28
|
| 27 |
|
|
i [Synth 8-3332] CLKDIV_CLKS/R_REGS_reg[usec]
|
| 28 |
|
|
# --> inst_compl logic disabled in pdp11_mmu # OK 2016-05-28
|
| 29 |
|
|
i [Synth 8-3332] VMBOX/MMU/R_SSR0_reg[inst_compl]
|
| 30 |
|
|
# --> not yet used # OK 2016-05-28
|
| 31 |
|
|
i [Synth 8-3332] SEQ/R_STATUS_reg[suspext]
|
| 32 |
|
|
# --> indeed no types with [3] set # OK 2016-05-28
|
| 33 |
|
|
i [Synth 8-3332] R_REGS_reg[dtyp][3].*ibdr_rhrp
|
| 34 |
|
|
# --> not yet used # OK 2016-05-28
|
| 35 |
|
|
i [Synth 8-3332] R_REGS_reg[req_lock].*ibd_iist
|
| 36 |
|
|
i [Synth 8-3332] R_REGS_reg[req_boot].*ibd_iist
|
| 37 |
|
|
# --> [8] is for DZ11TX, not yet available # OK 2016-05-28
|
| 38 |
|
|
# --> [9] is for DZ11RX, unclear why this one isn't removed too !!
|
| 39 |
|
|
i [Synth 8-3332] SEQ/R_STATUS_reg[intvect][8]
|
| 40 |
|
|
# --> _decode only uses _[oalm]unit -> [2] always '0' in decode # OK 2016-05-28
|
| 41 |
|
|
i [Synth 8-3332] SEQ/R_IDSTAT_reg[res_sel][2]
|
| 42 |
|
|
# --> monitor outputs moneop,monattn currently not used # OK 2016-05-28
|
| 43 |
|
|
i [Synth 8-3332] RLINK/CORE/RL/R_LREGS_reg[moneop]
|
| 44 |
|
|
i [Synth 8-3332] RLINK/CORE/RL/R_LREGS_reg[monattn]
|
| 45 |
|
|
|
| 46 |
|
|
# INFO: encoded FSM with state register as --------------------
|
| 47 |
|
|
# test for sys_w11a_n4 that all FSMs are one_hot
|
| 48 |
|
|
r [Synth 8-3354] R_BREGS_reg[state.*'one-hot'.*'rlink_core'
|
| 49 |
|
|
r [Synth 8-3354] R_LREGS_reg[state].*'one-hot'.*'rlink_core'
|
| 50 |
|
|
r [Synth 8-3354] R_REGS_reg[state].*'one-hot'.*'serport_uart_autobaud'
|
| 51 |
|
|
r [Synth 8-3354] R_REGS_reg[state].*'one-hot'.*'serport_uart_rx'
|
| 52 |
|
|
r [Synth 8-3354] R_REGS_reg[state].*'one-hot'.*'pdp11_core_rbus'
|
| 53 |
|
|
r [Synth 8-3354] R_REGS_reg[state].*'one-hot'.*'pdp11_vmbox'
|
| 54 |
|
|
r [Synth 8-3354] R_STATE_reg.*'one-hot'.*'pdp11_sequencer'
|
| 55 |
|
|
r [Synth 8-3354] R_REGS_reg[state].*'one-hot'.*'pdp11_cache'
|
| 56 |
|
|
r [Synth 8-3354] R_REGS_reg[state].*'one-hot'.*'ibdr_rhrp'
|
| 57 |
|
|
r [Synth 8-3354] R_REGS_reg[state].*'one-hot'.*'ibdr_rl11'
|
| 58 |
|
|
r [Synth 8-3354] R_REGS_reg[state].*'one-hot'.*'nx_cram_memctl_as'
|
| 59 |
|
|
r [Synth 8-3354] R_REGS_reg[state].*'one-hot'.*'sysmon_rbus_core'
|
| 60 |
|
|
|
| 61 |
|
|
# ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|
| 62 |
|
|
[imp]
|
| 63 |
|
|
I [Vivado 12-2489] # multiple of 1 ps
|
| 64 |
|
|
I [Physopt 32-742] # BRAM Flop Optimization
|
