Implementacja segmentu danych wykorzystującego liczby zmiennoprzecinkowe:
w przypadku zastosowania języka VHDL wymaga zamiany liczb double na ułamki fixed-point
jest łatwa bo liczby typu double są syntezowalne
nie jest możliwa w przypadku zastosowania języka SystemC
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
liczby zmiennoprzecinkowe określone przez Standard IEE 754
dziedziczenie
zmienne globalne
wskaźniki i referencje
Wykorzystywanie liczb fixed-point do implementacji segmentu danych
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
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:
bardzo małe co do moduły liczby są reprezentowane jako NaN
mantysa i wykładnik muszą być reprezentowane przez wektory o tej samej długości
występują dwie reprezentacje zera (+0 i -1)
można zapisać dowolnie duże liczby
występują dwie reprezentacje zera (+0 i -1)
Zaletą stosowania reprezentacji fixed-point w porównaniu do reprezentacji floating-point jest to, że
brak jest normalizacji
nie istnieje problem przepełnienia
zakres wartości liczb jest wąski i sztywny
implementacja wymaga mniej zasobów
implementacja wymaga mniej zasobów
Wektor "1110" interpretowany jako liczba typu fixed-point w formacie Q0.3 (czyli "1.110") reprezentuje
-0.25
+0.25
+0.5
-0.5
-0.25
Wektor "sx.xxxx" interpretowany jako liczba typu fixed-point ze znakiem pozwala zapisać liczby:
[-64,60]
[-0.01,0.01]
[-16,15]
[-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 (...)
SystemVerilog
VHDL
SystemC
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
nie wymaga przeprowadzania symulacji
wykorzystuje ten sam zbiór pobudzeń jaki zastosowano podczas weryfikacji funkcjonalnej
wymaga wykonania symulacji dla specjalnie przygotowanego zbioru pobudzeń
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
służy do badania propagacji wartości sygnałów 0, 1, X i Z
wymaga specjalnie przygotowanych pobudzeń
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
setup timing check
removal 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 H-tree i zastępowanie ich strukturami fishbone
eliminowanie struktur typu fishbone i zastępowanie ich drzewami H
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
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
czas narastania i opadania zboczy
pojemność wejściową portu
okres
okres
Specyfikując ograniczenia projektowe dla syntezy układu kombinacyjnego
zamiany układu kombinacyjnego na sekwencyjny
wstawienia rejestru dla sygnałów wejściowych
określenie zależności czasowych pomiędzy wejściami i wyjściami
wstawienia rejestru dla sygnałów wyjściowych
określenie zależności czasowych pomiędzy wejściami i wyjściami
We współczesnych systemach CAD synteza logiczna i synteza topografii
stanowią jeden etap wykonywany przez ten sam program
to dwa całkowicie niezależne etapy cyklu projektowego
