1 |
93 |
mihad |
#-- Synplicity, Inc.
|
2 |
105 |
mihad |
#-- Version 7.2
|
3 |
93 |
mihad |
#-- Project file /shared/projects/pci/mihad/pci/apps/test/syn/synplify/pci_test_top.prj
|
4 |
105 |
mihad |
#-- Written on Tue Jul 29 12:49:45 2003
|
5 |
93 |
mihad |
|
6 |
|
|
|
7 |
|
|
#add_file options
|
8 |
|
|
add_file -verilog "$LIB/xilinx/virtex.v"
|
9 |
|
|
add_file -verilog "../../../../rtl/verilog/meta_flop.v"
|
10 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_async_reset_flop.v"
|
11 |
105 |
mihad |
add_file -verilog "../../rtl/verilog/pci_bridge32.v"
|
12 |
93 |
mihad |
add_file -verilog "../../../../rtl/verilog/pci_cbe_en_crit.v"
|
13 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_conf_cyc_addr_dec.v"
|
14 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_conf_space.v"
|
15 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_cur_out_reg.v"
|
16 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_delayed_sync.v"
|
17 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_delayed_write_reg.v"
|
18 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_frame_crit.v"
|
19 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_frame_en_crit.v"
|
20 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_frame_load_crit.v"
|
21 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_in_reg.v"
|
22 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_io_mux_ad_en_crit.v"
|
23 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_io_mux_ad_load_crit.v"
|
24 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_io_mux.v"
|
25 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_irdy_out_crit.v"
|
26 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_mas_ad_en_crit.v"
|
27 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_mas_ad_load_crit.v"
|
28 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_mas_ch_state_crit.v"
|
29 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_master32_sm_if.v"
|
30 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_master32_sm.v"
|
31 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_out_reg.v"
|
32 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_par_crit.v"
|
33 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_parity_check.v"
|
34 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_pci_decoder.v"
|
35 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_pcir_fifo_control.v"
|
36 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_pci_tpram.v"
|
37 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_pciw_fifo_control.v"
|
38 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_pciw_pcir_fifos.v"
|
39 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_perr_crit.v"
|
40 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_perr_en_crit.v"
|
41 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_ram_16x40d.v"
|
42 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_rst_int.v"
|
43 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_serr_crit.v"
|
44 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_serr_en_crit.v"
|
45 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_sync_module.v"
|
46 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_target32_clk_en.v"
|
47 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_target32_devs_crit.v"
|
48 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_target32_interface.v"
|
49 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_target32_sm.v"
|
50 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_target32_stop_crit.v"
|
51 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_target32_trdy_crit.v"
|
52 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_target_unit.v"
|
53 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_wb_addr_mux.v"
|
54 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_wb_decoder.v"
|
55 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_wb_master.v"
|
56 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_wbr_fifo_control.v"
|
57 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_wb_slave_unit.v"
|
58 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_wb_slave.v"
|
59 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_wb_tpram.v"
|
60 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_wbw_fifo_control.v"
|
61 |
|
|
add_file -verilog "../../../../rtl/verilog/pci_wbw_wbr_fifos.v"
|
62 |
|
|
add_file -verilog "../../../../rtl/verilog/synchronizer_flop.v"
|
63 |
|
|
add_file -verilog "../../rtl/verilog/test.v"
|
64 |
|
|
add_file -verilog "../../rtl/verilog/pci_test_top_2clks.v"
|
65 |
|
|
add_file -constraint "pci_test_top_2clks.sdc"
|
66 |
|
|
|
67 |
|
|
|
68 |
|
|
#implementation: "rev_1"
|
69 |
|
|
impl -add rev_1
|
70 |
|
|
|
71 |
|
|
#device options
|
72 |
|
|
set_option -technology SPARTAN2
|
73 |
|
|
set_option -part XC2S150
|
74 |
|
|
set_option -package PQ208
|
75 |
|
|
set_option -speed_grade -5
|
76 |
|
|
|
77 |
|
|
#compilation/mapping options
|
78 |
|
|
set_option -default_enum_encoding default
|
79 |
|
|
set_option -symbolic_fsm_compiler 0
|
80 |
|
|
set_option -resource_sharing 1
|
81 |
|
|
set_option -use_fsm_explorer 0
|
82 |
|
|
|
83 |
|
|
#map options
|
84 |
|
|
set_option -frequency 50.000
|
85 |
|
|
set_option -fanout_limit 16
|
86 |
|
|
set_option -disable_io_insertion 0
|
87 |
|
|
set_option -pipe 0
|
88 |
|
|
set_option -retiming 0
|
89 |
|
|
set_option -modular 0
|
90 |
105 |
mihad |
set_option -update_models_cp 0
|
91 |
|
|
set_option -verification_mode 0
|
92 |
93 |
mihad |
|
93 |
|
|
#simulation options
|
94 |
|
|
set_option -write_verilog 0
|
95 |
|
|
set_option -write_vhdl 0
|
96 |
|
|
|
97 |
|
|
#automatic place and route (vendor) options
|
98 |
|
|
set_option -write_apr_constraint 1
|
99 |
|
|
|
100 |
|
|
#set result format/file last
|
101 |
|
|
project -result_file "rev_1/pci_test_top.edf"
|
102 |
|
|
|
103 |
|
|
#implementation attributes
|
104 |
|
|
set_option -vlog_std v2001
|
105 |
|
|
set_option -compiler_compatible 0
|
106 |
|
|
set_option -random_floorplan 0
|
107 |
105 |
mihad |
set_option -popfeed 1
|
108 |
|
|
set_option -constprop 1
|
109 |
|
|
set_option -createhierarchy 0
|
110 |
93 |
mihad |
set_option -floorplan ""
|
111 |
|
|
set_option -nfilter_user_path ""
|
112 |
|
|
set_option -pin_assignment ""
|
113 |
105 |
mihad |
set_option -include_path "../../rtl/verilog/;../../../../rtl/verilog/"
|
114 |
93 |
mihad |
impl -active "rev_1"
|