m8051_exp.sfp

来自「another 8051 core porocesssor vhdl sourc」· SFP 代码 · 共 29 行

/* m8051.sfp - False path definition file		    	      */
/* (c) Copyright Mentor Graphics Corporation and Licensors 1997.      */
/* All Rights reserved.						      */
/* Issue 2.000 RPD 3.iv.97                                            */
/* There is a known false path from the bit field register (BIT_POSN) */
/* used in bit mode instructions, to the program address              */
/* (PROGRAM_ADDR) and related registers via the ALU and ALU output    */
/* data path, ALUDAT.  Instructions which load a program address from */
/* ALUDAT are mutually exclusive to bit mode instructions that allow  */
/* BIT_POSN to affect the ALU result.				      */
set_false_path -from {"U7/BIT_POSN_reg[0]" "U7/BIT_POSN_reg[1]" "U7/BIT_POSN_reg[2]"} -to {"U8/EXT_PROG_EN_reg"}


set_false_path -from {"U7/BIT_POSN_reg[0]" "U7/BIT_POSN_reg[1]" "U7/BIT_POSN_reg[2]"} -to {"U8/PROGRAM_ADDR_reg[0]" "U8/PROGRAM_ADDR_reg[1]" "U8/PROGRAM_ADDR_reg[2]" "U8/PROGRAM_ADDR_reg[3]"}
set_false_path -from {"U7/BIT_POSN_reg[0]" "U7/BIT_POSN_reg[1]" "U7/BIT_POSN_reg[2]"} -to {"U8/PROGRAM_ADDR_reg[4]" "U8/PROGRAM_ADDR_reg[5]" "U8/PROGRAM_ADDR_reg[6]" "U8/PROGRAM_ADDR_reg[7]"}
set_false_path -from {"U7/BIT_POSN_reg[0]" "U7/BIT_POSN_reg[1]" "U7/BIT_POSN_reg[2]"} -to {"U8/PROGRAM_ADDR_reg[8]" "U8/PROGRAM_ADDR_reg[9]" "U8/PROGRAM_ADDR_reg[10]" "U8/PROGRAM_ADDR_reg[11]"}
set_false_path -from {"U7/BIT_POSN_reg[0]" "U7/BIT_POSN_reg[1]" "U7/BIT_POSN_reg[2]"} -to {"U8/PROGRAM_ADDR_reg[12]" "U8/PROGRAM_ADDR_reg[13]" "U8/PROGRAM_ADDR_reg[14]" "U8/PROGRAM_ADDR_reg[15]"}


set_false_path -from {"U7/BIT_POSN_reg[0]" "U7/BIT_POSN_reg[1]" "U7/BIT_POSN_reg[2]"} -to {"U8/L_PROGRAM_COUNT_reg[0]" "U8/L_PROGRAM_COUNT_reg[1]" "U8/L_PROGRAM_COUNT_reg[2]" "U8/L_PROGRAM_COUNT_reg[3]"}
set_false_path -from {"U7/BIT_POSN_reg[0]" "U7/BIT_POSN_reg[1]" "U7/BIT_POSN_reg[2]"} -to {"U8/L_PROGRAM_COUNT_reg[4]" "U8/L_PROGRAM_COUNT_reg[5]" "U8/L_PROGRAM_COUNT_reg[6]" "U8/L_PROGRAM_COUNT_reg[7]"}
set_false_path -from {"U7/BIT_POSN_reg[0]" "U7/BIT_POSN_reg[1]" "U7/BIT_POSN_reg[2]"} -to {"U8/L_PROGRAM_COUNT_reg[8]" "U8/L_PROGRAM_COUNT_reg[9]" "U8/L_PROGRAM_COUNT_reg[10]" "U8/L_PROGRAM_COUNT_reg[11]"}
set_false_path -from {"U7/BIT_POSN_reg[0]" "U7/BIT_POSN_reg[1]" "U7/BIT_POSN_reg[2]"} -to {"U8/L_PROGRAM_COUNT_reg[12]" "U8/L_PROGRAM_COUNT_reg[13]" "U8/L_PROGRAM_COUNT_reg[14]" "U8/L_PROGRAM_COUNT_reg[15]"}


set_false_path -from {"U7/BIT_POSN_reg[0]" "U7/BIT_POSN_reg[1]" "U7/BIT_POSN_reg[2]"} -to {"U10/POPMEN_reg"}