Implementacja segmentu danych wykorzystującego liczby zmiennoprzecinkowe:
nie jest możliwa w przypadku zastosowania języka SystemC
jest łatwa bo liczby typu double są syntezowalne
w przypadku zastosowania języka VHDL wymaga zamiany liczb double na ułamki fixed-point
w przypadku zastosowania języka Verilog wymaga użycia pakietu implementującego Standard IEE 754
w przypadku zastosowania języka VHDL wymaga zamiany liczb double na ułamki fixed-point
W środowisku CtoS nie są syntezowalne:
wskaźniki i referencje
zmienne globalne
liczby zmiennoprzecinkowe określone przez Standard IEE 754
dziedziczenie
wskaźniki i referencje
Wykorzystywanie liczb fixed-point do implementacji segmentu danych
w przypadku języka Verilog wymaga użycia pakietu implementującego Standard IEE 754
jest zbędne bo liczby typu double są syntezowalne
nie jest możliwe w przypadku języka SystemC
w przypadku języka Verilog wymaga użycia pakietu implementującego Standard IEE 754
Sposób reprezentacji liczb zmiennoprzecinkowych określonych przez Standard IEE 754 powoduje że:
można zapisać dowolnie duże liczby
mantysa i wykładnik muszą być reprezentowane przez wektory o tej samej długości
bardzo małe co do moduły liczby są reprezentowane jako NaN
występują dwie reprezentacje zera (+0 i -1)
występują dwie reprezentacje zera (+0 i -1)
Zaletą stosowania reprezentacji fixed-point w porównaniu do reprezentacji floating-point jest to, że
implementacja wymaga mniej zasobów
zakres wartości liczb jest wąski i sztywny
nie istnieje problem przepełnienia
brak jest normalizacji
implementacja wymaga mniej zasobów
Wektor "1110" interpretowany jako liczba typu fixed-point w formacie Q0.3 (czyli "1.110") reprezentuje
+0.25
+0.5
-0.5
-0.25
-0.25
Wektor "sx.xxxx" interpretowany jako liczba typu fixed-point ze znakiem pozwala zapisać liczby:
[-64,60]
[-16,15]
[-0.01,0.01]
[-1,0.9375]
[-1,0.9375]
Implementacja pętli kombinacyjnych w trakcie syntezy behawioralnej modelu SystemC:
nie wymaga żadnych specjalnych zabiegów
wymaga zastosowania rozwijania i/lub rozcinania
Wymaga zawsze wstawienia instrukcji wait()
wymaga zastosowania rozwijania i/lub rozcinania
Czy potokowanie pętli modelu SystemC może być wykonane dla dowolnej wartości parametru
tak, jeśli liczba iteracji jest mniejsza niż 10
tak
nie, jeśli występuje konflikt operacji zapisu/odczytu w różnych stopniach potoku
nie, jeśli występuje konflikt operacji zapisu/odczytu w różnych stopniach potoku
Który z języków opisu sprzętu posiada własny system asercji pozwalający na przeprowadzenie (...)
SystemC
SystemVerilog
VHDL
SystemVerilog
Logika temporalna służy do definiowania zależności pomiędzy wyrażeniami logicznymi zachodzącymi w czasie. Które z poniższych wyrażeń oznacza: "jeśli req jest ustawiony w bieżącym cyklu, to ack ustawiony będzie kiedyś w przyszłości".
always(req-&rt;next ack)
always (req-&rt;eventually !ack)
never !(req-&rt;next ack)
always (req-&rt;eventually !ack)
Weryfikacja formalna
wykorzystuje ten sam zbiór pobudzeń jaki zastosowano podczas weryfikacji funkcjonalnej
wymaga wykonania symulacji dla specjalnie przygotowanego zbioru pobudzeń
nie wymaga przeprowadzania symulacji
nie wymaga przeprowadzania symulacji
Parametry czasowe komórek standardowych są w przypadku współczesnych technologii opisywane za pomocą
2-wymiarowego modelu nieliniowego
modelu liniowego
2-wymiarowego modelu nieliniowego
Analiza zależności czasowych (STA)
nie może być zastosowana do układów kombinacyjnych zawierających sprzężenie zwrotne
wymaga specjalnie przygotowanych pobudzeń
służy do badania propagacji wartości sygnałów 0, 1, X i Z
nie może być zastosowana do układów kombinacyjnych zawierających sprzężenie zwrotne
Która z poniższych analiz STA służy do badania, czy dane z wyjścia Q przerzutnika docierają do wejścia D następnego przerzutnika dostatecznie wcześnie przed kolejnym aktywnym zboczem:
hold timing check
removal timing check
setup timing check
recovery timing check
setup timing check
Rozrzut czasów propagacji sygnału zegarowego (clock skew) powoduje, żę w trakcie syntezy logicznej okres sygnału zegarowego ulega efektywnie
skróceniu
wydłużeniu
wydłużeniu
W trakcie syntezy drzewa buforów sygnału zegarowego następuje
eliminowanie struktur typu fishbone i zastępowanie ich drzewami H
eliminowanie struktur typu H-tree i zastępowanie ich strukturami fishbone
wyrównanie opóźnień sygnału zegarowego na wszystkich ścieżkach od wejścia zegarowego układu do wejścia przerzutników
osiągnięcie zerowej wartości parametru określanego terminem clock-skew
wyrównanie opóźnień sygnału zegarowego na wszystkich ścieżkach od wejścia zegarowego układu do wejścia przerzutników
Specyfikując ograniczenia projektowe dla syntezy układu sekwencyjnego należy podać następujące parametry sygnału zegarowego
parametr zwany zwyczajowo clock skew
pojemność wejściową portu
czas narastania i opadania zboczy
okres
okres
Specyfikując ograniczenia projektowe dla syntezy układu kombinacyjnego
określenie zależności czasowych pomiędzy wejściami i wyjściami
wstawienia rejestru dla sygnałów wyjściowych
wstawienia rejestru dla sygnałów wejściowych
zamiany układu kombinacyjnego na sekwencyjny
określenie zależności czasowych pomiędzy wejściami i wyjściami
We współczesnych systemach CAD synteza logiczna i synteza topografii
to dwa całkowicie niezależne etapy cyklu projektowego
stanowią jeden etap wykonywany przez ten sam program
