|work.seven_segment_decoder|work.seven_segment_decoder.behavioral|
