Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Rimfaxe
vme_core
Commits
fc8fcde4
Commit
fc8fcde4
authored
Jan 20, 2020
by
Michael Munch
Browse files
Hide PSL default clock
parent
01e73745
Pipeline
#15884
failed with stage
in 21 seconds
Changes
6
Pipelines
2
Hide whitespace changes
Inline
Side-by-side
src/vme_bus_arb.sby
View file @
fc8fcde4
...
...
@@ -7,7 +7,7 @@ smtbmc z3
[script]
ghdl -fpsl --std=08 -gformal=true vme_pkg.vhd vme_bus_arb.vhd -e vme_bus_arb
prep -top vme_bus_arb
prep -top vme_bus_arb
_10_1
[files]
vme_bus_arb.vhd
...
...
src/vme_bus_arb.vhd
View file @
fc8fcde4
...
...
@@ -172,7 +172,7 @@ begin
end
if
;
end
process
;
default
clock
is
rising_edge
(
clk
);
-- psl
default clock is rising_edge(clk);
stay_in_idle_until_br_received
:
assert
always
(
state
=
IDLE
and
vme_br_n_i
=
"1111"
)
...
...
src/vme_cli_arb.sby
View file @
fc8fcde4
...
...
@@ -7,7 +7,7 @@ smtbmc z3
[script]
ghdl -fpsl --std=08 -gformal=true vme_pkg.vhd vme_cli_arb.vhd -e vme_cli_arb
prep -top vme_cli_arb
prep -top vme_cli_arb
_1
[files]
vme_cli_arb.vhd
...
...
src/vme_cli_arb.vhd
View file @
fc8fcde4
...
...
@@ -259,7 +259,7 @@ begin
end
process
;
default
clock
is
rising_edge
(
clk
);
-- psl
default clock is rising_edge(clk);
-- Two clients may not be active at the same time
not_two_live
:
assert
always
not
(
live_1
and
live_2
);
...
...
src/vme_data_bus.sby
View file @
fc8fcde4
...
...
@@ -7,7 +7,7 @@ smtbmc z3
[script]
ghdl -fpsl --std=08 -gformal=true vme_pkg.vhd vme_data_bus.vhd formal_vme_bus.vhd -e vme_data_bus
prep -top vme_data_bus
prep -top vme_data_bus
_10_1
[files]
vme_data_bus.vhd
...
...
src/vme_data_bus.vhd
View file @
fc8fcde4
...
...
@@ -703,7 +703,7 @@ begin
end
if
;
end
process
;
default
clock
is
rising_edge
(
clk
);
-- psl
default clock is rising_edge(clk);
restrict
{{
vme_iack_n_i
=
'1'
and
vme_berr_n_i
=
'1'
}[
+
]}
;
-- Check that client input is latched
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment