mirror of https://github.com/openXC7/prjxray.git
utils: makesdf: use only slow values in timingcheck section
SDF spec assumes we have only one set of values in the timingcheck section Signed-off-by: Karol Gugala <kgugala@antmicro.com>
This commit is contained in:
parent
bf86b47d4a
commit
4d5434f3d2
|
|
@ -78,7 +78,7 @@ def produce_sdf(timings, outdir):
|
|||
continue
|
||||
timingcheck = \
|
||||
"""
|
||||
({prop} {input} (posedge {clock}) ({FAST_MIN}::{SLOW_MIN})({FAST_MAX}::{SLOW_MAX}))""".format(
|
||||
({prop} {input} (posedge {clock}) ({SLOW_MIN}::{SLOW_MAX}))""".format(
|
||||
prop=timings[slice][site][bel_type][delay]['sequential'].upper(),
|
||||
**timings[slice][site][bel_type][delay])
|
||||
|
||||
|
|
|
|||
Loading…
Reference in New Issue