Strona 2
PSSC
Pytanie 9
Językiem modelowania systemu nie jest:
C++
SystemC
SystemVerilog
Verilog
Pytanie 10
Przy użyciu języka PSL możliwe jest przeprowadzenie
symulacji funkcjonalnej
symulacji formalnej
weryfikacji formalnej
weryfikacji funkcjonalnej
Pytanie 11
W programie CtoS synteza z poziomu TLM:
jest możliwa dla standardu TLM 1.0
nie jest możliwa
jest możliwa dla standardu TLM 2.0
jest możliwa dla standardu TLM 1.0 z pewnymi ograniczeniami
Pytanie 12
Opakowania (wrappers) tworzone w trakcie syntezy modelu TLM są typowe dla:
projektowania correspondense-based
projektowania funkcjonalnego
projektowania IP-based
projektowania RTL
Pytanie 13
Proces cthread w SystemC służy do modelowania:
logiki kombinacyjnej
dowolnej logiki
logiki synchronicznej
logiki sekwencyjnej
Pytanie 14
Projektowanie na poziomie TLM dotyczy
funkcjonalności
obliczeń
komunikacji
przepływu danych
Pytanie 15
Gniazda (sockets) w TLM służą do:
wywoływania funkcji
grupowania elementów interfejsów odpowiadających danej stronie komunikacji
wywoływania procesów
symulowania elementów interfejsów odpowiadających danej stronie komunikacji
Pytanie 16
Standard TLM 2.0 został opracowany głównie w celu:
zwiększania elastyczności w modelowaniu systemów
modelowania magistrali memory-mapped
zwiększania szybkości modelowanych systemów
optymalizacji funkcjonalnej