greek64/rtps-fpga
2
1
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Change Type-Dependant Code Interface, and Code refactoring

Browse Source 
The instantiation of the KEY related entities is moved outside the DDS
Endpoints (Currently only changed in DDS Writer). Define new KEY_HOLDER
entity that is responsible for all Key related type-specific code.
Fix syntax of DDS Writer, and misc code refactoring.
This commit is contained in:
Greek 2021-03-09 14:56:54 +01:00
parent 3ba5fae871
commit 981ca09149
19 changed files with 1031 additions and 876 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/TODO.txt
View File

@ -267,6 +267,21 @@ DESIGN DECISIONS
requested until reception). This means that during the ACKNACK response delay, we can just parse requested until reception). This means that during the ACKNACK response delay, we can just parse
the new request bitmap and overwrite the last old one. the new request bitmap and overwrite the last old one.
* Since all code related to encoding/decoding the DATA stream is dependent on the IDL type
specification, we have to encapsule that code separately and link them as necessary. Two such
dynamic Entities are defined: KEY_HOLDER, and <TYPENAME>_WRAPPER.
The KEY_HOLDER Entity contains a Byte-Wide internal memory (In size equal to the maximum key size),
that can be filled with both PLAIN_CDR/PL_CDR DATA Streams, and PLAIN_CDR/PL_CDR Serialized Key
Streams. The Entity allows outputting the memory contents (Key) either in a KEY_HASH format (needs
to instantiate a MD5 calculator), or in Serialized Key Format. The Entity uses the start/opcode/ack
interface for operations (similar to the RTPS/DDS Interface).
The <TYPENAME>_WRAPPER entity has all type-components linked to ports and latched in registers. In
output mode the entity is able to fill the registers with a PLAIN_CDR/PL_CDR Data Stream, and in
input mode the registers are filled directly from the input ports and the Entity is able to produce
a PLAIN_CDR/PL_CDR Data Stream from the registers.
Due to the type-specific nature of the entities, those are not instantiated inside the DDS Endpoints,
but will be instantiated in a wrapper and linked through port mapping with the DDS Enspoints.
PROTOCOL UNCOMPLIANCE PROTOCOL UNCOMPLIANCE
===================== =====================
* Partition QoS * Partition QoS

66
src/Tests/Level_0/L0_rtps_writer_test1_vbkdp.vhd
View File

@ -85,39 +85,39 @@ begin
MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS
) )
port map ( port map (
clk => clk, clk => clk,
reset => reset, reset => reset,
time => TIME_ZERO, time => TIME_ZERO,
empty_user => '1', empty_user => '1',
rd_user => open, rd_user => open,
data_in_user => (others => '0'), data_in_user => (others => '0'),
last_word_in_user => '0', last_word_in_user => '0',
empty_meta => empty_meta or packet_sent, empty_meta => empty_meta or packet_sent,
rd_meta => rd_meta, rd_meta => rd_meta,
data_in_meta => data_in_meta, data_in_meta => data_in_meta,
last_word_in_meta => last_word_in_meta, last_word_in_meta => last_word_in_meta,
alive_sig => open, alive_sig => open,
wr_rtps => open, wr_rtps => open,
full_rtps => '0', full_rtps => '0',
last_word_out_rtps => open, last_word_out_rtps => open,
data_out_rtps => open, data_out_rtps => open,
assert_liveliness => '0', liveliness_assertion => '0',
data_available => '0', data_available => '0',
start_hc => start_hc, start_hc => start_hc,
opcode_hc => open, opcode_hc => open,
ack_hc => '0', ack_hc => '0',
seq_nr_hc => open, seq_nr_hc => open,
done_hc => '0', done_hc => '0',
ret_hc => ERROR, ret_hc => ERROR,
get_data_hc => open, get_data_hc => open,
data_in_hc => (others => '0'), data_in_hc => (others => '0'),
valid_in_hc => '0', valid_in_hc => '0',
ready_in_hc => open, ready_in_hc => open,
last_word_in_hc => '0', last_word_in_hc => '0',
cc_instance_handle => HANDLE_NIL, cc_instance_handle => HANDLE_NIL,
cc_kind => ALIVE, cc_kind => ALIVE,
cc_source_timestamp => TIME_INVALID, cc_source_timestamp => TIME_INVALID,
cc_seq_nr => SEQUENCENUMBER_UNKNOWN cc_seq_nr => SEQUENCENUMBER_UNKNOWN
); );
stimulus_prc : process stimulus_prc : process

66
src/Tests/Level_0/L0_rtps_writer_test1_vrkdp.vhd
View File

@ -85,39 +85,39 @@ begin
MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS
) )
port map ( port map (
clk => clk, clk => clk,
reset => reset, reset => reset,
time => TIME_ZERO, time => TIME_ZERO,
empty_user => '1', empty_user => '1',
rd_user => open, rd_user => open,
data_in_user => (others => '0'), data_in_user => (others => '0'),
last_word_in_user => '0', last_word_in_user => '0',
empty_meta => empty_meta or packet_sent, empty_meta => empty_meta or packet_sent,
rd_meta => rd_meta, rd_meta => rd_meta,
data_in_meta => data_in_meta, data_in_meta => data_in_meta,
last_word_in_meta => last_word_in_meta, last_word_in_meta => last_word_in_meta,
alive_sig => open, alive_sig => open,
wr_rtps => open, wr_rtps => open,
full_rtps => '0', full_rtps => '0',
last_word_out_rtps => open, last_word_out_rtps => open,
data_out_rtps => open, data_out_rtps => open,
assert_liveliness => '0', liveliness_assertion => '0',
data_available => '0', data_available => '0',
start_hc => start_hc, start_hc => start_hc,
opcode_hc => open, opcode_hc => open,
ack_hc => '0', ack_hc => '0',
seq_nr_hc => open, seq_nr_hc => open,
done_hc => '0', done_hc => '0',
ret_hc => ERROR, ret_hc => ERROR,
get_data_hc => open, get_data_hc => open,
data_in_hc => (others => '0'), data_in_hc => (others => '0'),
valid_in_hc => '0', valid_in_hc => '0',
ready_in_hc => open, ready_in_hc => open,
last_word_in_hc => '0', last_word_in_hc => '0',
cc_instance_handle => HANDLE_NIL, cc_instance_handle => HANDLE_NIL,
cc_kind => ALIVE, cc_kind => ALIVE,
cc_source_timestamp => TIME_INVALID, cc_source_timestamp => TIME_INVALID,
cc_seq_nr => SEQUENCENUMBER_UNKNOWN cc_seq_nr => SEQUENCENUMBER_UNKNOWN
); );
stimulus_prc : process stimulus_prc : process

66
src/Tests/Level_0/L0_rtps_writer_test2_vrkdp.vhd
View File

@ -69,39 +69,39 @@ begin
MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS
) )
port map ( port map (
clk => clk, clk => clk,
reset => reset, reset => reset,
time => test_time, time => test_time,
empty_user => empty_user or packet_sent_user, empty_user => empty_user or packet_sent_user,
rd_user => rd_user, rd_user => rd_user,
data_in_user => data_in_user, data_in_user => data_in_user,
last_word_in_user => last_word_in_user, last_word_in_user => last_word_in_user,
empty_meta => empty_meta or packet_sent_meta, empty_meta => empty_meta or packet_sent_meta,
rd_meta => rd_meta, rd_meta => rd_meta,
data_in_meta => data_in_meta, data_in_meta => data_in_meta,
last_word_in_meta => last_word_in_meta, last_word_in_meta => last_word_in_meta,
alive_sig => open, alive_sig => open,
wr_rtps => open, wr_rtps => open,
full_rtps => '0', full_rtps => '0',
last_word_out_rtps => open, last_word_out_rtps => open,
data_out_rtps => open, data_out_rtps => open,
assert_liveliness => '0', liveliness_assertion => '0',
data_available => '0', data_available => '0',
start_hc => start_hc, start_hc => start_hc,
opcode_hc => open, opcode_hc => open,
ack_hc => '0', ack_hc => '0',
seq_nr_hc => open, seq_nr_hc => open,
done_hc => '0', done_hc => '0',
ret_hc => ERROR, ret_hc => ERROR,
get_data_hc => open, get_data_hc => open,
data_in_hc => (others => '0'), data_in_hc => (others => '0'),
valid_in_hc => '0', valid_in_hc => '0',
ready_in_hc => open, ready_in_hc => open,
last_word_in_hc => '0', last_word_in_hc => '0',
cc_instance_handle => HANDLE_NIL, cc_instance_handle => HANDLE_NIL,
cc_kind => ALIVE, cc_kind => ALIVE,
cc_source_timestamp => TIME_INVALID, cc_source_timestamp => TIME_INVALID,
cc_seq_nr => SEQUENCENUMBER_UNKNOWN cc_seq_nr => SEQUENCENUMBER_UNKNOWN
); );
stimulus_prc : process stimulus_prc : process

66
src/Tests/Level_1/L1_rtps_writer_test1_tbkdp.vhd
View File

@ -92,39 +92,39 @@ begin
MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS
) )
port map ( port map (
clk => clk, clk => clk,
reset => reset, reset => reset,
time => test_time, time => test_time,
empty_user => empty_user or packet_sent_user, empty_user => empty_user or packet_sent_user,
rd_user => rd_user, rd_user => rd_user,
data_in_user => data_in_user, data_in_user => data_in_user,
last_word_in_user => last_word_in_user, last_word_in_user => last_word_in_user,
empty_meta => empty_meta or packet_sent_meta, empty_meta => empty_meta or packet_sent_meta,
rd_meta => rd_meta, rd_meta => rd_meta,
data_in_meta => data_in_meta, data_in_meta => data_in_meta,
last_word_in_meta => last_word_in_meta, last_word_in_meta => last_word_in_meta,
alive_sig => open, alive_sig => open,
wr_rtps => fifo_wr, wr_rtps => fifo_wr,
full_rtps => fifo_full, full_rtps => fifo_full,
last_word_out_rtps => fifo_in(WORD_WIDTH), last_word_out_rtps => fifo_in(WORD_WIDTH),
data_out_rtps => fifo_in(WORD_WIDTH-1 downto 0), data_out_rtps => fifo_in(WORD_WIDTH-1 downto 0),
assert_liveliness => '0', liveliness_assertion => '0',
data_available => data_available, data_available => data_available,
start_hc => start_hc, start_hc => start_hc,
opcode_hc => opcode_hc, opcode_hc => opcode_hc,
ack_hc => ack_hc, ack_hc => ack_hc,
seq_nr_hc => seq_nr_hc, seq_nr_hc => seq_nr_hc,
done_hc => done_hc, done_hc => done_hc,
ret_hc => ret_hc, ret_hc => ret_hc,
get_data_hc => get_data_hc, get_data_hc => get_data_hc,
data_in_hc => data_in_hc, data_in_hc => data_in_hc,
valid_in_hc => valid_in_hc, valid_in_hc => valid_in_hc,
ready_in_hc => ready_in_hc, ready_in_hc => ready_in_hc,
last_word_in_hc => last_word_in_hc, last_word_in_hc => last_word_in_hc,
cc_instance_handle => cc_instance_handle, cc_instance_handle => cc_instance_handle,
cc_kind => cc_kind, cc_kind => cc_kind,
cc_source_timestamp => cc_source_timestamp, cc_source_timestamp => cc_source_timestamp,
cc_seq_nr => cc_seq_nr cc_seq_nr => cc_seq_nr
); );
fifo_inst : entity work.FWFT_FIFO(arch) fifo_inst : entity work.FWFT_FIFO(arch)

66
src/Tests/Level_1/L1_rtps_writer_test1_trkdn.vhd
View File

@ -92,39 +92,39 @@ begin
MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS
) )
port map ( port map (
clk => clk, clk => clk,
reset => reset, reset => reset,
time => test_time, time => test_time,
empty_user => empty_user or packet_sent_user, empty_user => empty_user or packet_sent_user,
rd_user => rd_user, rd_user => rd_user,
data_in_user => data_in_user, data_in_user => data_in_user,
last_word_in_user => last_word_in_user, last_word_in_user => last_word_in_user,
empty_meta => empty_meta or packet_sent_meta, empty_meta => empty_meta or packet_sent_meta,
rd_meta => rd_meta, rd_meta => rd_meta,
data_in_meta => data_in_meta, data_in_meta => data_in_meta,
last_word_in_meta => last_word_in_meta, last_word_in_meta => last_word_in_meta,
alive_sig => open, alive_sig => open,
wr_rtps => fifo_wr, wr_rtps => fifo_wr,
full_rtps => fifo_full, full_rtps => fifo_full,
last_word_out_rtps => fifo_in(WORD_WIDTH), last_word_out_rtps => fifo_in(WORD_WIDTH),
data_out_rtps => fifo_in(WORD_WIDTH-1 downto 0), data_out_rtps => fifo_in(WORD_WIDTH-1 downto 0),
assert_liveliness => '0', liveliness_assertion => '0',
data_available => data_available, data_available => data_available,
start_hc => start_hc, start_hc => start_hc,
opcode_hc => opcode_hc, opcode_hc => opcode_hc,
ack_hc => ack_hc, ack_hc => ack_hc,
seq_nr_hc => seq_nr_hc, seq_nr_hc => seq_nr_hc,
done_hc => done_hc, done_hc => done_hc,
ret_hc => ret_hc, ret_hc => ret_hc,
get_data_hc => get_data_hc, get_data_hc => get_data_hc,
data_in_hc => data_in_hc, data_in_hc => data_in_hc,
valid_in_hc => valid_in_hc, valid_in_hc => valid_in_hc,
ready_in_hc => ready_in_hc, ready_in_hc => ready_in_hc,
last_word_in_hc => last_word_in_hc, last_word_in_hc => last_word_in_hc,
cc_instance_handle => cc_instance_handle, cc_instance_handle => cc_instance_handle,
cc_kind => cc_kind, cc_kind => cc_kind,
cc_source_timestamp => cc_source_timestamp, cc_source_timestamp => cc_source_timestamp,
cc_seq_nr => cc_seq_nr cc_seq_nr => cc_seq_nr
); );
fifo_inst : entity work.FWFT_FIFO(arch) fifo_inst : entity work.FWFT_FIFO(arch)

66
src/Tests/Level_1/L1_rtps_writer_test1_trkdp.vhd
View File

@ -92,39 +92,39 @@ begin
MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS
) )
port map ( port map (
clk => clk, clk => clk,
reset => reset, reset => reset,
time => test_time, time => test_time,
empty_user => empty_user or packet_sent_user, empty_user => empty_user or packet_sent_user,
rd_user => rd_user, rd_user => rd_user,
data_in_user => data_in_user, data_in_user => data_in_user,
last_word_in_user => last_word_in_user, last_word_in_user => last_word_in_user,
empty_meta => empty_meta or packet_sent_meta, empty_meta => empty_meta or packet_sent_meta,
rd_meta => rd_meta, rd_meta => rd_meta,
data_in_meta => data_in_meta, data_in_meta => data_in_meta,
last_word_in_meta => last_word_in_meta, last_word_in_meta => last_word_in_meta,
alive_sig => open, alive_sig => open,
wr_rtps => fifo_wr, wr_rtps => fifo_wr,
full_rtps => fifo_full, full_rtps => fifo_full,
last_word_out_rtps => fifo_in(WORD_WIDTH), last_word_out_rtps => fifo_in(WORD_WIDTH),
data_out_rtps => fifo_in(WORD_WIDTH-1 downto 0), data_out_rtps => fifo_in(WORD_WIDTH-1 downto 0),
assert_liveliness => '0', liveliness_assertion => '0',
data_available => data_available, data_available => data_available,
start_hc => start_hc, start_hc => start_hc,
opcode_hc => opcode_hc, opcode_hc => opcode_hc,
ack_hc => ack_hc, ack_hc => ack_hc,
seq_nr_hc => seq_nr_hc, seq_nr_hc => seq_nr_hc,
done_hc => done_hc, done_hc => done_hc,
ret_hc => ret_hc, ret_hc => ret_hc,
get_data_hc => get_data_hc, get_data_hc => get_data_hc,
data_in_hc => data_in_hc, data_in_hc => data_in_hc,
valid_in_hc => valid_in_hc, valid_in_hc => valid_in_hc,
ready_in_hc => ready_in_hc, ready_in_hc => ready_in_hc,
last_word_in_hc => last_word_in_hc, last_word_in_hc => last_word_in_hc,
cc_instance_handle => cc_instance_handle, cc_instance_handle => cc_instance_handle,
cc_kind => cc_kind, cc_kind => cc_kind,
cc_source_timestamp => cc_source_timestamp, cc_source_timestamp => cc_source_timestamp,
cc_seq_nr => cc_seq_nr cc_seq_nr => cc_seq_nr
); );
fifo_inst : entity work.FWFT_FIFO(arch) fifo_inst : entity work.FWFT_FIFO(arch)

66
src/Tests/Level_1/L1_rtps_writer_test1_vbkdp.vhd
View File

@ -92,39 +92,39 @@ begin
MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS
) )
port map ( port map (
clk => clk, clk => clk,
reset => reset, reset => reset,
time => test_time, time => test_time,
empty_user => empty_user or packet_sent_user, empty_user => empty_user or packet_sent_user,
rd_user => rd_user, rd_user => rd_user,
data_in_user => data_in_user, data_in_user => data_in_user,
last_word_in_user => last_word_in_user, last_word_in_user => last_word_in_user,
empty_meta => empty_meta or packet_sent_meta, empty_meta => empty_meta or packet_sent_meta,
rd_meta => rd_meta, rd_meta => rd_meta,
data_in_meta => data_in_meta, data_in_meta => data_in_meta,
last_word_in_meta => last_word_in_meta, last_word_in_meta => last_word_in_meta,
alive_sig => open, alive_sig => open,
wr_rtps => fifo_wr, wr_rtps => fifo_wr,
full_rtps => fifo_full, full_rtps => fifo_full,
last_word_out_rtps => fifo_in(WORD_WIDTH), last_word_out_rtps => fifo_in(WORD_WIDTH),
data_out_rtps => fifo_in(WORD_WIDTH-1 downto 0), data_out_rtps => fifo_in(WORD_WIDTH-1 downto 0),
assert_liveliness => '0', liveliness_assertion => '0',
data_available => data_available, data_available => data_available,
start_hc => start_hc, start_hc => start_hc,
opcode_hc => opcode_hc, opcode_hc => opcode_hc,
ack_hc => ack_hc, ack_hc => ack_hc,
seq_nr_hc => seq_nr_hc, seq_nr_hc => seq_nr_hc,
done_hc => done_hc, done_hc => done_hc,
ret_hc => ret_hc, ret_hc => ret_hc,
get_data_hc => get_data_hc, get_data_hc => get_data_hc,
data_in_hc => data_in_hc, data_in_hc => data_in_hc,
valid_in_hc => valid_in_hc, valid_in_hc => valid_in_hc,
ready_in_hc => ready_in_hc, ready_in_hc => ready_in_hc,
last_word_in_hc => last_word_in_hc, last_word_in_hc => last_word_in_hc,
cc_instance_handle => cc_instance_handle, cc_instance_handle => cc_instance_handle,
cc_kind => cc_kind, cc_kind => cc_kind,
cc_source_timestamp => cc_source_timestamp, cc_source_timestamp => cc_source_timestamp,
cc_seq_nr => cc_seq_nr cc_seq_nr => cc_seq_nr
); );
fifo_inst : entity work.FWFT_FIFO(arch) fifo_inst : entity work.FWFT_FIFO(arch)

66
src/Tests/Level_1/L1_rtps_writer_test1_vrkdn.vhd
View File

@ -92,39 +92,39 @@ begin
MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS
) )
port map ( port map (
clk => clk, clk => clk,
reset => reset, reset => reset,
time => test_time, time => test_time,
empty_user => empty_user or packet_sent_user, empty_user => empty_user or packet_sent_user,
rd_user => rd_user, rd_user => rd_user,
data_in_user => data_in_user, data_in_user => data_in_user,
last_word_in_user => last_word_in_user, last_word_in_user => last_word_in_user,
empty_meta => empty_meta or packet_sent_meta, empty_meta => empty_meta or packet_sent_meta,
rd_meta => rd_meta, rd_meta => rd_meta,
data_in_meta => data_in_meta, data_in_meta => data_in_meta,
last_word_in_meta => last_word_in_meta, last_word_in_meta => last_word_in_meta,
alive_sig => open, alive_sig => open,
wr_rtps => fifo_wr, wr_rtps => fifo_wr,
full_rtps => fifo_full, full_rtps => fifo_full,
last_word_out_rtps => fifo_in(WORD_WIDTH), last_word_out_rtps => fifo_in(WORD_WIDTH),
data_out_rtps => fifo_in(WORD_WIDTH-1 downto 0), data_out_rtps => fifo_in(WORD_WIDTH-1 downto 0),
assert_liveliness => '0', liveliness_assertion => '0',
data_available => data_available, data_available => data_available,
start_hc => start_hc, start_hc => start_hc,
opcode_hc => opcode_hc, opcode_hc => opcode_hc,
ack_hc => ack_hc, ack_hc => ack_hc,
seq_nr_hc => seq_nr_hc, seq_nr_hc => seq_nr_hc,
done_hc => done_hc, done_hc => done_hc,
ret_hc => ret_hc, ret_hc => ret_hc,
get_data_hc => get_data_hc, get_data_hc => get_data_hc,
data_in_hc => data_in_hc, data_in_hc => data_in_hc,
valid_in_hc => valid_in_hc, valid_in_hc => valid_in_hc,
ready_in_hc => ready_in_hc, ready_in_hc => ready_in_hc,
last_word_in_hc => last_word_in_hc, last_word_in_hc => last_word_in_hc,
cc_instance_handle => cc_instance_handle, cc_instance_handle => cc_instance_handle,
cc_kind => cc_kind, cc_kind => cc_kind,
cc_source_timestamp => cc_source_timestamp, cc_source_timestamp => cc_source_timestamp,
cc_seq_nr => cc_seq_nr cc_seq_nr => cc_seq_nr
); );
fifo_inst : entity work.FWFT_FIFO(arch) fifo_inst : entity work.FWFT_FIFO(arch)

66
src/Tests/Level_1/L1_rtps_writer_test1_vrkdp.vhd
View File

@ -92,39 +92,39 @@ begin
MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS
) )
port map ( port map (
clk => clk, clk => clk,
reset => reset, reset => reset,
time => test_time, time => test_time,
empty_user => empty_user or packet_sent_user, empty_user => empty_user or packet_sent_user,
rd_user => rd_user, rd_user => rd_user,
data_in_user => data_in_user, data_in_user => data_in_user,
last_word_in_user => last_word_in_user, last_word_in_user => last_word_in_user,
empty_meta => empty_meta or packet_sent_meta, empty_meta => empty_meta or packet_sent_meta,
rd_meta => rd_meta, rd_meta => rd_meta,
data_in_meta => data_in_meta, data_in_meta => data_in_meta,
last_word_in_meta => last_word_in_meta, last_word_in_meta => last_word_in_meta,
alive_sig => open, alive_sig => open,
wr_rtps => fifo_wr, wr_rtps => fifo_wr,
full_rtps => fifo_full, full_rtps => fifo_full,
last_word_out_rtps => fifo_in(WORD_WIDTH), last_word_out_rtps => fifo_in(WORD_WIDTH),
data_out_rtps => fifo_in(WORD_WIDTH-1 downto 0), data_out_rtps => fifo_in(WORD_WIDTH-1 downto 0),
assert_liveliness => '0', liveliness_assertion => '0',
data_available => data_available, data_available => data_available,
start_hc => start_hc, start_hc => start_hc,
opcode_hc => opcode_hc, opcode_hc => opcode_hc,
ack_hc => ack_hc, ack_hc => ack_hc,
seq_nr_hc => seq_nr_hc, seq_nr_hc => seq_nr_hc,
done_hc => done_hc, done_hc => done_hc,
ret_hc => ret_hc, ret_hc => ret_hc,
get_data_hc => get_data_hc, get_data_hc => get_data_hc,
data_in_hc => data_in_hc, data_in_hc => data_in_hc,
valid_in_hc => valid_in_hc, valid_in_hc => valid_in_hc,
ready_in_hc => ready_in_hc, ready_in_hc => ready_in_hc,
last_word_in_hc => last_word_in_hc, last_word_in_hc => last_word_in_hc,
cc_instance_handle => cc_instance_handle, cc_instance_handle => cc_instance_handle,
cc_kind => cc_kind, cc_kind => cc_kind,
cc_source_timestamp => cc_source_timestamp, cc_source_timestamp => cc_source_timestamp,
cc_seq_nr => cc_seq_nr cc_seq_nr => cc_seq_nr
); );
fifo_inst : entity work.FWFT_FIFO(arch) fifo_inst : entity work.FWFT_FIFO(arch)

66
src/Tests/Level_1/L1_rtps_writer_test1_vrksp.vhd
View File

@ -92,39 +92,39 @@ begin
MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS
) )
port map ( port map (
clk => clk, clk => clk,
reset => reset, reset => reset,
time => test_time, time => test_time,
empty_user => empty_user or packet_sent_user, empty_user => empty_user or packet_sent_user,
rd_user => rd_user, rd_user => rd_user,
data_in_user => data_in_user, data_in_user => data_in_user,
last_word_in_user => last_word_in_user, last_word_in_user => last_word_in_user,
empty_meta => empty_meta or packet_sent_meta, empty_meta => empty_meta or packet_sent_meta,
rd_meta => rd_meta, rd_meta => rd_meta,
data_in_meta => data_in_meta, data_in_meta => data_in_meta,
last_word_in_meta => last_word_in_meta, last_word_in_meta => last_word_in_meta,
alive_sig => open, alive_sig => open,
wr_rtps => fifo_wr, wr_rtps => fifo_wr,
full_rtps => fifo_full, full_rtps => fifo_full,
last_word_out_rtps => fifo_in(WORD_WIDTH), last_word_out_rtps => fifo_in(WORD_WIDTH),
data_out_rtps => fifo_in(WORD_WIDTH-1 downto 0), data_out_rtps => fifo_in(WORD_WIDTH-1 downto 0),
assert_liveliness => '0', liveliness_assertion => '0',
data_available => data_available, data_available => data_available,
start_hc => start_hc, start_hc => start_hc,
opcode_hc => opcode_hc, opcode_hc => opcode_hc,
ack_hc => ack_hc, ack_hc => ack_hc,
seq_nr_hc => seq_nr_hc, seq_nr_hc => seq_nr_hc,
done_hc => done_hc, done_hc => done_hc,
ret_hc => ret_hc, ret_hc => ret_hc,
get_data_hc => get_data_hc, get_data_hc => get_data_hc,
data_in_hc => data_in_hc, data_in_hc => data_in_hc,
valid_in_hc => valid_in_hc, valid_in_hc => valid_in_hc,
ready_in_hc => ready_in_hc, ready_in_hc => ready_in_hc,
last_word_in_hc => last_word_in_hc, last_word_in_hc => last_word_in_hc,
cc_instance_handle => cc_instance_handle, cc_instance_handle => cc_instance_handle,
cc_kind => cc_kind, cc_kind => cc_kind,
cc_source_timestamp => cc_source_timestamp, cc_source_timestamp => cc_source_timestamp,
cc_seq_nr => cc_seq_nr cc_seq_nr => cc_seq_nr
); );
fifo_inst : entity work.FWFT_FIFO(arch) fifo_inst : entity work.FWFT_FIFO(arch)

66
src/Tests/Level_1/L1_rtps_writer_test1_vrndp.vhd
View File

@ -92,39 +92,39 @@ begin
MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS
) )
port map ( port map (
clk => clk, clk => clk,
reset => reset, reset => reset,
time => test_time, time => test_time,
empty_user => empty_user or packet_sent_user, empty_user => empty_user or packet_sent_user,
rd_user => rd_user, rd_user => rd_user,
data_in_user => data_in_user, data_in_user => data_in_user,
last_word_in_user => last_word_in_user, last_word_in_user => last_word_in_user,
empty_meta => empty_meta or packet_sent_meta, empty_meta => empty_meta or packet_sent_meta,
rd_meta => rd_meta, rd_meta => rd_meta,
data_in_meta => data_in_meta, data_in_meta => data_in_meta,
last_word_in_meta => last_word_in_meta, last_word_in_meta => last_word_in_meta,
alive_sig => open, alive_sig => open,
wr_rtps => fifo_wr, wr_rtps => fifo_wr,
full_rtps => fifo_full, full_rtps => fifo_full,
last_word_out_rtps => fifo_in(WORD_WIDTH), last_word_out_rtps => fifo_in(WORD_WIDTH),
data_out_rtps => fifo_in(WORD_WIDTH-1 downto 0), data_out_rtps => fifo_in(WORD_WIDTH-1 downto 0),
assert_liveliness => '0', liveliness_assertion => '0',
data_available => data_available, data_available => data_available,
start_hc => start_hc, start_hc => start_hc,
opcode_hc => opcode_hc, opcode_hc => opcode_hc,
ack_hc => ack_hc, ack_hc => ack_hc,
seq_nr_hc => seq_nr_hc, seq_nr_hc => seq_nr_hc,
done_hc => done_hc, done_hc => done_hc,
ret_hc => ret_hc, ret_hc => ret_hc,
get_data_hc => get_data_hc, get_data_hc => get_data_hc,
data_in_hc => data_in_hc, data_in_hc => data_in_hc,
valid_in_hc => valid_in_hc, valid_in_hc => valid_in_hc,
ready_in_hc => ready_in_hc, ready_in_hc => ready_in_hc,
last_word_in_hc => last_word_in_hc, last_word_in_hc => last_word_in_hc,
cc_instance_handle => cc_instance_handle, cc_instance_handle => cc_instance_handle,
cc_kind => cc_kind, cc_kind => cc_kind,
cc_source_timestamp => cc_source_timestamp, cc_source_timestamp => cc_source_timestamp,
cc_seq_nr => cc_seq_nr cc_seq_nr => cc_seq_nr
); );
fifo_inst : entity work.FWFT_FIFO(arch) fifo_inst : entity work.FWFT_FIFO(arch)

82
src/Tests/Level_1/L1_rtps_writer_test2_vrkdn.vhd
View File

@ -34,7 +34,7 @@ architecture testbench of L1_rtps_writer_test2_vrkdn is
signal clk, empty_user, empty_meta, rd_meta, last_word_in_meta, last_word_in_hc, last_word_out_rtps : std_logic := '0'; signal clk, empty_user, empty_meta, rd_meta, last_word_in_meta, last_word_in_hc, last_word_out_rtps : std_logic := '0';
signal reset : std_logic := '1'; signal reset : std_logic := '1';
signal data_in_meta, data_out, data_in_hc : std_logic_vector(WORD_WIDTH-1 downto 0) := (others => '0'); signal data_in_meta, data_out, data_in_hc : std_logic_vector(WORD_WIDTH-1 downto 0) := (others => '0');
signal wr_sig, full, data_available, assert_liveliness : std_logic := '0'; signal wr_sig, full, data_available, liveliness_assertion : std_logic := '0';
signal ready_in_hc, valid_in_hc, ack_hc, done_hc, get_data_hc, start_hc : std_logic := '0'; signal ready_in_hc, valid_in_hc, ack_hc, done_hc, get_data_hc, start_hc : std_logic := '0';
signal seq_nr_hc : SEQUENCENUMBER_TYPE := SEQUENCENUMBER_UNKNOWN; signal seq_nr_hc : SEQUENCENUMBER_TYPE := SEQUENCENUMBER_UNKNOWN;
signal stim_stage_meta : SEND_STAGE_TYPE := IDLE; signal stim_stage_meta : SEND_STAGE_TYPE := IDLE;
@ -91,39 +91,39 @@ begin
MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS MAX_REMOTE_ENDPOINTS => MAX_REMOTE_ENDPOINTS
) )
port map ( port map (
clk => clk, clk => clk,
reset => reset, reset => reset,
time => test_time, time => test_time,
empty_user => '1', empty_user => '1',
rd_user => open, rd_user => open,
data_in_user => (others => '0'), data_in_user => (others => '0'),
last_word_in_user => '0', last_word_in_user => '0',
empty_meta => empty_meta or packet_sent_meta, empty_meta => empty_meta or packet_sent_meta,
rd_meta => rd_meta, rd_meta => rd_meta,
data_in_meta => data_in_meta, data_in_meta => data_in_meta,
last_word_in_meta => last_word_in_meta, last_word_in_meta => last_word_in_meta,
alive_sig => open, alive_sig => open,
wr_rtps => fifo_wr, wr_rtps => fifo_wr,
full_rtps => fifo_full, full_rtps => fifo_full,
last_word_out_rtps => fifo_in(WORD_WIDTH), last_word_out_rtps => fifo_in(WORD_WIDTH),
data_out_rtps => fifo_in(WORD_WIDTH-1 downto 0), data_out_rtps => fifo_in(WORD_WIDTH-1 downto 0),
assert_liveliness => assert_liveliness, liveliness_assertion => liveliness_assertion,
data_available => data_available, data_available => data_available,
start_hc => start_hc, start_hc => start_hc,
opcode_hc => opcode_hc, opcode_hc => opcode_hc,
ack_hc => ack_hc, ack_hc => ack_hc,
seq_nr_hc => seq_nr_hc, seq_nr_hc => seq_nr_hc,
done_hc => done_hc, done_hc => done_hc,
ret_hc => ret_hc, ret_hc => ret_hc,
get_data_hc => get_data_hc, get_data_hc => get_data_hc,
data_in_hc => data_in_hc, data_in_hc => data_in_hc,
valid_in_hc => valid_in_hc, valid_in_hc => valid_in_hc,
ready_in_hc => ready_in_hc, ready_in_hc => ready_in_hc,
last_word_in_hc => last_word_in_hc, last_word_in_hc => last_word_in_hc,
cc_instance_handle => cc_instance_handle, cc_instance_handle => cc_instance_handle,
cc_kind => cc_kind, cc_kind => cc_kind,
cc_source_timestamp => cc_source_timestamp, cc_source_timestamp => cc_source_timestamp,
cc_seq_nr => cc_seq_nr cc_seq_nr => cc_seq_nr
); );
fifo_inst : entity work.FWFT_FIFO(arch) fifo_inst : entity work.FWFT_FIFO(arch)
@ -248,7 +248,7 @@ begin
end if; end if;
end procedure; end procedure;
procedure push_hb(endpoint : in ENDPOINT_DATA_TYPE; first : in SEQUENCENUMBER_TYPE; last : in SEQUENCENUMBER_TYPE; assert_liveliness : in boolean) is procedure push_hb(endpoint : in ENDPOINT_DATA_TYPE; first : in SEQUENCENUMBER_TYPE; last : in SEQUENCENUMBER_TYPE; liveliness_assertion : in boolean) is
begin begin
reference := EMPTY_TEST_PACKET; reference := EMPTY_TEST_PACKET;
-- OUTPUT HEADER -- OUTPUT HEADER
@ -266,7 +266,7 @@ begin
sub.readerId := ENTITYID_UNKNOWN; sub.readerId := ENTITYID_UNKNOWN;
sub.firstSN := first; sub.firstSN := first;
sub.lastSN := last; sub.lastSN := last;
sub.flags(SUBMESSAGE_LIVELINESS_FLAG_POS) := '1' when (assert_liveliness) else '0'; sub.flags(SUBMESSAGE_LIVELINESS_FLAG_POS) := '1' when (liveliness_assertion) else '0';
sub.count := std_logic_vector(to_unsigned(count, CDR_LONG_WIDTH)); sub.count := std_logic_vector(to_unsigned(count, CDR_LONG_WIDTH));
gen_rtps_submessage(sub, reference); gen_rtps_submessage(sub, reference);
fix_output_packet(reference); fix_output_packet(reference);
@ -335,7 +335,7 @@ begin
new_cc <= '0'; new_cc <= '0';
stim_done <= '0'; stim_done <= '0';
start_meta <= '0'; start_meta <= '0';
assert_liveliness <= '0'; liveliness_assertion <= '0';
reset <= '1'; reset <= '1';
wait until rising_edge(clk); wait until rising_edge(clk);
wait until rising_edge(clk); wait until rising_edge(clk);
@ -399,10 +399,10 @@ begin
test_cc(2).payload <= gen_payload; test_cc(2).payload <= gen_payload;
test_cc_fill <= 3; test_cc_fill <= 3;
new_cc <= '1'; new_cc <= '1';
assert_liveliness <= '1'; liveliness_assertion <= '1';
wait until rising_edge(clk); wait until rising_edge(clk);
new_cc <= '0'; new_cc <= '0';
assert_liveliness <= '0'; liveliness_assertion <= '0';
wait until rising_edge(clk); wait until rising_edge(clk);
Log("Send HEARTBEAT to Endpoint 0,1 [Liveliness Flag]", INFO); Log("Send HEARTBEAT to Endpoint 0,1 [Liveliness Flag]", INFO);
@ -511,9 +511,9 @@ begin
wait_on_idle; wait_on_idle;
Log("Assert Liveliness", INFO); Log("Assert Liveliness", INFO);
assert_liveliness <= '1'; liveliness_assertion <= '1';
wait until rising_edge(clk); wait until rising_edge(clk);
assert_liveliness <= '0'; liveliness_assertion <= '0';
wait until rising_edge(clk); wait until rising_edge(clk);
Log("Send HEARTBEAT to Endpoint 0,1,2,3,4", INFO); Log("Send HEARTBEAT to Endpoint 0,1,2,3,4", INFO);

947
src/dds_writer.vhd
View File

File diff suppressed because it is too large Load Diff

33
src/key_hash_generator.vhd
View File

@ -120,18 +120,7 @@ begin
if (key_gen_valid_out) then if (key_gen_valid_out) then
cnt_next <= cnt + 1; cnt_next <= cnt + 1;
case (cnt) is key_hash_next(cnt) <= key_gen_data_out;
when 0 =>
key_hash_next(0) <= key_gen_data_out;
when 1 =>
key_hash_next(1) <= key_gen_data_out;
when 2 =>
key_hash_next(2) <= key_gen_data_out;
when 3 =>
key_hash_next(3) <= key_gen_data_out;
when others =>
null;
end case;
if (key_gen_last_word_out = '1') then if (key_gen_last_word_out = '1') then
stage_next <= FINISHED_KEY_HASH; stage_next <= FINISHED_KEY_HASH;
@ -143,21 +132,13 @@ begin
if (ready_out = '1') then if (ready_out = '1') then
cnt_next <= cnt + 1; cnt_next <= cnt + 1;
case (cnt) is data_out <= key_hash(cnt);
when 0 =>
data_out <= key_hash(0);
when 1 =>
data_out <= key_hash(1);
when 2 =>
data_out <= key_hash(2);
when 3 =>
data_out <= key_hash(3);
last_word_out <= '1';
stage_next <= IDLE; if (cnt = key_hash'length-1) then
when others => last_word_out <= '1';
null; -- DONE
end case; stage_next <= IDLE;
end if;
end if; end if;
when others => when others =>
null; null;

24
src/key_holder.vhd Normal file
View File

@ -0,0 +1,24 @@
library ieee;
use ieee.std_logic_1164.all;
use ieee.numeric_std.all;
entity key_holder is
port (
clk : in std_logic;
reset : in std_logic;
start : in std_logic;
opcode : in KEY_HOLDER_TYPE;
ack : in std_logic;
data_in : in std_logic_vector(WORD_WIDTH-1 downto 0);
valid_in : in std_logic;
ready_in : out std_logic;
last_word_in : in std_logic;
data_out : out std_logic_vector(WORD_WIDTH-1 downto 0);
valid_out : out std_logic;
ready_out : in std_logic;
last_word_out : out std_logic
);
end entity;

2
src/rtps_config_package.vhd
View File

@ -42,8 +42,10 @@ package rtps_config_package is
constant OPCODE_LIVELINESS_UPDATE : std_logic_vector(ENDPOINT_MATCH_OPCODE_WIDTH-1 downto 0) := x"55000003"; constant OPCODE_LIVELINESS_UPDATE : std_logic_vector(ENDPOINT_MATCH_OPCODE_WIDTH-1 downto 0) := x"55000003";
type HISTORY_CACHE_OPCODE_TYPE is (NOP, ADD_CACHE_CHANGE, GET_CACHE_CHANGE, ACK_CACHE_CHANGE, NACK_CACHE_CHANGE, REMOVE_CACHE_CHANGE, REMOVE_WRITER, GET_MIN_SN, GET_MAX_SN); type HISTORY_CACHE_OPCODE_TYPE is (NOP, ADD_CACHE_CHANGE, GET_CACHE_CHANGE, ACK_CACHE_CHANGE, NACK_CACHE_CHANGE, REMOVE_CACHE_CHANGE, REMOVE_WRITER, GET_MIN_SN, GET_MAX_SN);
type KEY_HOLDER_TYPE is (NOP, PUSH_DATA, PUSH_SERIALIZED_KEY, READ_KEY_HASH, READ_SERIALIZED_KEY);
type KEY_GENERATOR_OPCODE_TYPE is (NOP, WRITE_PAYLOAD, READ_KEY, READ_SIZE); type KEY_GENERATOR_OPCODE_TYPE is (NOP, WRITE_PAYLOAD, READ_KEY, READ_SIZE);
type HISTORY_CACHE_RESPONSE_TYPE is (OK, REJECTED, INVALID, ERROR); type HISTORY_CACHE_RESPONSE_TYPE is (OK, REJECTED, INVALID, ERROR);
type DDS_WRITER_OPCODE_TYPE is (NOP, REGISTER_INSTANCE, WRITE, DISPOSE, UNREGISTER_INSTANCE, LOOKUP_INSTANCE, WAIT_FOR_ACKNOWLEDGEMENTS, GET_OFFERED_DEADLINE_MISSED_STATUS, ASSERT_LIVELINESS, GET_LIVELINESS_LOST_STATUS);
-- Sample Status Info Flags -- Sample Status Info Flags
constant SSI_DISPOSED_FLAG : natural := STATUS_INFO_DISPOSED_FLAG; constant SSI_DISPOSED_FLAG : natural := STATUS_INFO_DISPOSED_FLAG;

8
src/rtps_reader.vhd
View File

@ -1742,6 +1742,14 @@ begin
mem_pos_next <= 0; mem_pos_next <= 0;
mem_stage_next <= FIND_EMPTY_SLOT; mem_stage_next <= FIND_EMPTY_SLOT;
mem_cnt_next <= 0; mem_cnt_next <= 0;
-- Set Endpoint Data
mem_endpoint_data_next <= ZERO_ENDPOINT_DATA;
mem_endpoint_data_next.guid <= guid_next;
mem_endpoint_data_next.addr <= addr_next;
mem_endpoint_data_next.portn <= portn_next;
mem_endpoint_data_next.next_seq_nr <= SEQUENCENUMBER_UNKNOWN when (DURABILITY_QOS = VOLATILE_DURABILITY_QOS) else FIRST_SEQUENCENUMBER;
mem_endpoint_data_next.lease_deadline <= lease_deadline;
mem_endpoint_data_next.res_time <= TIME_INVALID;
when UPDATE_ENDPOINT => when UPDATE_ENDPOINT =>
mem_stage_next <= UPDATE_ENDPOINT; mem_stage_next <= UPDATE_ENDPOINT;
if (RELIABILTY_QOS = RELIABLE_RELIABILITY_QOS and check_mask(mem_field_flags,EMF_IPV4_ADDR_FLAG)) then if (RELIABILTY_QOS = RELIABLE_RELIABILITY_QOS and check_mask(mem_field_flags,EMF_IPV4_ADDR_FLAG)) then

68
src/rtps_writer.vhd
View File

@ -27,44 +27,44 @@ entity rtps_writer is
); );
port ( port (
-- SYSTEM -- SYSTEM
clk : in std_logic; clk : in std_logic;
reset : in std_logic; reset : in std_logic;
time : in TIME_TYPE; time : in TIME_TYPE;
-- FROM RTPS_HANDLER (USER TRAFFIC) -- FROM RTPS_HANDLER (USER TRAFFIC)
empty_user : in std_logic; empty_user : in std_logic;
rd_user : out std_logic; rd_user : out std_logic;
data_in_user : in std_logic_vector(WORD_WIDTH-1 downto 0); data_in_user : in std_logic_vector(WORD_WIDTH-1 downto 0);
last_word_in_user : in std_logic; last_word_in_user : in std_logic;
-- FROM RTPS_BUILTIN_ENDPOINT (META TRAFFIC) -- FROM RTPS_BUILTIN_ENDPOINT (META TRAFFIC)
empty_meta : in std_logic; empty_meta : in std_logic;
rd_meta : out std_logic; rd_meta : out std_logic;
data_in_meta : in std_logic_vector(WORD_WIDTH-1 downto 0); data_in_meta : in std_logic_vector(WORD_WIDTH-1 downto 0);
last_word_in_meta : in std_logic; last_word_in_meta : in std_logic;
-- TO RTPS_BUILTIN_ENDPOINT (META TRAFFIC) -- TO RTPS_BUILTIN_ENDPOINT (META TRAFFIC)
alive_sig : out std_logic; alive_sig : out std_logic;
-- RTPS OUTPUT -- RTPS OUTPUT
wr_rtps : out std_logic; wr_rtps : out std_logic;
full_rtps : in std_logic; full_rtps : in std_logic;
last_word_out_rtps : out std_logic; last_word_out_rtps : out std_logic;
data_out_rtps : out std_logic_vector(WORD_WIDTH-1 downto 0); data_out_rtps : out std_logic_vector(WORD_WIDTH-1 downto 0);
-- FROM HC -- FROM HC
assert_liveliness : in std_logic; liveliness_assertion : in std_logic;
data_available : in std_logic; data_available : in std_logic;
start_hc : out std_logic; start_hc : out std_logic;
opcode_hc : out HISTORY_CACHE_OPCODE_TYPE; opcode_hc : out HISTORY_CACHE_OPCODE_TYPE;
ack_hc : in std_logic; ack_hc : in std_logic;
seq_nr_hc : out SEQUENCENUMBER_TYPE; seq_nr_hc : out SEQUENCENUMBER_TYPE;
done_hc : in std_logic; done_hc : in std_logic;
ret_hc : in HISTORY_CACHE_RESPONSE_TYPE; ret_hc : in HISTORY_CACHE_RESPONSE_TYPE;
get_data_hc : out std_logic; get_data_hc : out std_logic;
data_in_hc : in std_logic_vector(WORD_WIDTH-1 downto 0); data_in_hc : in std_logic_vector(WORD_WIDTH-1 downto 0);
valid_in_hc : in std_logic; valid_in_hc : in std_logic;
ready_in_hc : out std_logic; ready_in_hc : out std_logic;
last_word_in_hc : in std_logic; last_word_in_hc : in std_logic;
cc_instance_handle : in INSTANCE_HANDLE_TYPE; cc_instance_handle : in INSTANCE_HANDLE_TYPE;
cc_kind : in CACHE_CHANGE_KIND_TYPE; cc_kind : in CACHE_CHANGE_KIND_TYPE;
cc_source_timestamp : in TIME_TYPE; cc_source_timestamp : in TIME_TYPE;
cc_seq_nr : in SEQUENCENUMBER_TYPE cc_seq_nr : in SEQUENCENUMBER_TYPE
); );
end entity; end entity;
@ -467,7 +467,7 @@ begin
data_out_rtps <= (others => '0'); data_out_rtps <= (others => '0');
-- Assert Liveliness Latch Setter -- Assert Liveliness Latch Setter
if (assert_liveliness = '1') then if (liveliness_assertion = '1') then
assert_liveliness_latch_next <= '1'; assert_liveliness_latch_next <= '1';
end if; end if;