Universitatea Tehnică din Cluj-Napoca
Catedra de Calculatoare
BARUCH ZOLTAN FRANCISC
TRANSLATAREA LIMBAJELOR DE DESCRIERE
A UNITĂȚILOR HARDWARE
Referat de doctorat
Conducător științific: Prof. dr. ing. Pusztai Kalman
Cluj-Napoca, 1996
1.1. SINTEZA DE NIVEL ÎNALT
1.2. ETAPELE SINTEZEI DE NIVEL ÎNALT
2.1. INTRODUCERE
2.2. ETAPELE SINTEZEI DE NIVEL ÎNALT: UN EXEMPLU
2.3. COMPILAREA LIMBAJELOR DE DESCRIERE
2.3.1. Exemplu de generare a reprezentării interne
2.3.2. Tehnici de compilare
2.4. REPREZENTAREA DESCRIERILOR HARDWARE
2.4.1. Reprezentarea fluxului de control
2.4.2. Reprezentarea secvențierii și a temporizării
2.4.3. Reprezentări disjuncte ale fluxului de control și de date
2.4.4. Reprezentări hibride ale fluxului de control și de date
2.4.5. Reprezentări prin arbori sintactici
2.5. REPREZENTAREA REZULTATELOR SINTEZEI DE NIVEL ÎNALT
2.6. TRANSFORMĂRI
2.6.1. Transformări efectuate de compilator
2.6.2. Transformări ale grafurilor
2.6.3. Transformări specifice unităților hardware
3.1. INTRODUCERE
3.2. ALGORITMI FUNDAMENTALI DE PLANIFICARE
3.3. PLANIFICAREA CU RESTRICȚII DE TIMP
3.3.1. Metoda programării liniare
3.3.2. Metoda euristică constructivă
3.3.3. Metoda de rafinare iterativă
3.4. PLANIFICAREA CU RESTRICȚII DE RESURSE
3.4.1. Metoda de planificare bazată pe liste
3.4.2. Metoda de planificare cu liste statice
3.5. PLANIFICAREA CU ELIMINAREA IPOTEZELOR SIMPLIFICATOARE
3.5.1. Unități funcționale cu întârzieri variabile
3.5.2. Unități multifuncționale
3.5.3. Descrieri care utilizează construcții condiționale și bucle
4.1. INTRODUCERE
4.2. ARHITECTURI CU CĂI DE DATE
4.3. OPERAȚII PENTRU ALOCAREA CĂII DE DATE
4.3.1. Selecția unităților
4.3.2. Asignarea unităților funcționale
4.3.3. Asignarea unităților de memorie
4.3.4. Asignarea interconexiunilor
4.3.5. Interdependența operațiilor
4.4. METODE CONSTRUCTIVE DE TIP "GREEDY"
4.5. METODA DE PARTIȚIONARE
4.6. METODA DE RAFINARE ITERATIVĂ