Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
high-level synthesis for test (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/177)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
dissertation
Verification formelle des resultats de la synthese de Haut Niveau : [doktoriväitekiri]
Dušina, Julia
1999
dissertation
Number of records 1, displaying
1 - 1
keyword
177
1.
high-level synthesis for test
2.
high level synthesis
3.
high-level decision diagrams (HLDD) synthesis
4.
High-Level Synthesis (HLS)
5.
high-level test data generation
6.
logic level and high level BDDs
7.
behaviour level test generation
8.
system level test
9.
test path synthesis
10.
high level DD (HLDD)
11.
high-level control fault model
12.
high-level control faults
13.
high-level decision diagram
14.
high-level decision diagrams
15.
high-level expert group on AI
16.
high-level fault coverage
17.
high-level fault model
18.
high-level fault simulation
19.
high-level functional fault model
20.
Self-Propagating High-Temperature Synthesis
21.
high-speed serial link test
22.
High-Pressure High-Temperature Spark Plasma Sintering
23.
absolute sea level
24.
airport level of service
25.
arousal level
26.
assurance level
27.
asymmetric synthesis
28.
automatic program synthesis
29.
behavioral synthesis
30.
bi-level optimization
31.
chemical synthesis
32.
chemoenzymatic synthesis
33.
circuit synthesis
34.
CO2 level in classrooms
35.
CO2 level in classrooms and kindergartens
36.
combustion synthesis
37.
confidence level
38.
control system synthesis
39.
counterexample-guided inductive synthesis
40.
country-level logistics
41.
customer compatibility level
42.
data synthesis
43.
deep level
44.
deep level traps
45.
determination of the CO2 level
46.
digitalisation level
47.
distribution-level phasor measurement units (D-PMUs)
48.
diversity-oriented synthesis
49.
enantioselective synthesis
50.
evidence synthesis
51.
exposure level
52.
extreme penetration level of non synchronous generation
53.
extreme water level
54.
flame aerosol synthesis
55.
gate-level analysis
56.
gate-level circuit abstraction
57.
gate-level netlist
58.
graduate level
59.
green synthesis
60.
green synthesis biomaterials
61.
growth-synthesis
62.
hierarchical two-level analysis
63.
highly chemoselective synthesis
64.
hydrothermal synthesis
65.
improvement of safety level at enterprises
66.
improvement of safety level at SMEs
67.
in situ synthesis
68.
level control
69.
level set
70.
level(s) methodology
71.
level-crossing ADC
72.
level-crossing analog-to-digital converters
73.
level-crossing analogue-to-digital converters (ADC)
74.
logic level
75.
logic synthesis
76.
low temperature synthesis
77.
lower trophic level models
78.
low-level control system transportation
79.
low-level fault redundancy
80.
low-level radiation
81.
Low-level RF EMF
82.
macro-level industry influences
83.
mean sea level
84.
mechanically activated synthesis
85.
mechanically activated thermal synthesis
86.
microwave assisted synthesis
87.
microwave synthesis
88.
microwave-assisted synthesis
89.
module level power electronics (MLPE)
90.
module-level power electronics (MLPE)
91.
molten salt synthesis
92.
molten salt synthesis-growth
93.
multi-level governance
94.
multi-level inverter
95.
multi-level modeling
96.
multi-level perspective
97.
multi-level perspective of sustainability transitions
98.
multi-level selection and processing environment
99.
nano-crystal synthesis
100.
nanomaterials, synthesis
101.
Nanoparticle synthesis
102.
operational level (OL)
103.
organic synthesis
104.
parameter synthesis
105.
peroxide synthesis
106.
pigment synthesis
107.
Price level
108.
Process/Product Sigma Performance Level (PSPL)
109.
Protecting-group-free synthesis
110.
protein synthesis
111.
PV module level power electronics
112.
Realist synthesis
113.
register transfer and gate level simulation
114.
Register Transfer Level - RTL
115.
register transfer level modeling decision diagams
116.
register-transfer level
117.
relative sea level
118.
relative sea-level change
119.
RH level
120.
school-level policies
121.
sea level
122.
sea level rise
123.
sea level series
124.
sea level trend
125.
sea level: variations and mean
126.
sea-level
127.
sea-level changes
128.
sea-level equation
129.
Sea-level indicator
130.
sea-level prediction
131.
sea-level rise
132.
sea-level trend
133.
semi-synthesis
134.
seven-level multilevel
135.
signal synthesis
136.
skin conductance level
137.
software level TMR
138.
sol-gel synthesis
139.
solution based synthesis
140.
solution combustion synthesis
141.
steel-level bureaucracy
142.
stereoselective synthesis
143.
strategic level decision makers
144.
synthesis
145.
synthesis gas
146.
synthesis of intermetallic phases
147.
synthesis on hierarchical service models
148.
system level hazards
149.
system planning level
150.
system-level analysis
151.
system-level evaluation
152.
task-level uninterrupted presence
153.
template synthesis
154.
three-level
155.
three-level inverter
156.
three-level neutral-point-clamped inverter
157.
three-level NPC inverter
158.
three-level T-type
159.
three-level T-type inverter
160.
three-level T-type quasi-impedance-source inverter (3L-T-type qZSI)
161.
three-level voltage inverter
162.
Tool Confidence Level
163.
top-level domain
164.
total synthesis
165.
transaction-level modeling
166.
treatment level
167.
two-level inverter
168.
undergraduate level
169.
water level
170.
water level fluctuation
171.
water level measurements
172.
water level reconstruction
173.
water-level changes
174.
wet-combustion synthesis
175.
voltage level
176.
voltage level optimisation
177.
3-level T-type inverter
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT