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 publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/203)
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
203
1.
high-level synthesis for test
2.
high level synthesis
3.
high-level decision diagrams (HLDD) synthesis
4.
high-level synthesis
5.
High-Level Synthesis (HLS)
6.
high-level test data generation
7.
logic level and high level BDDs
8.
Automated Synthesis of Software-based Self-test
9.
test path synthesis
10.
behaviour level test generation
11.
Hierarchical Multi-level Test Generation
12.
system level test
13.
high level DD (HLDD)
14.
high-level control fault model
15.
high-level control faults
16.
high-level decision diagram
17.
high-level decision diagrams
18.
High-level Decision Diagrams for Modeling Digital Systems
19.
high-level expert group on AI
20.
high-level fault coverage
21.
high-level fault model
22.
high-level fault simulation
23.
high-level functional fault model
24.
high-temperature synthesis (SHS)
25.
Self-Propagating High-Temperature Synthesis
26.
high-speed serial link test
27.
High-Pressure High-Temperature Spark Plasma Sintering
28.
absolute sea level
29.
airport level of service
30.
arousal level
31.
assurance level
32.
asymmetric synthesis
33.
automatic program synthesis
34.
behavioral synthesis
35.
bi-level optimization
36.
chemical synthesis
37.
chemoenzymatic synthesis
38.
circuit synthesis
39.
CO2 level in classrooms
40.
CO2 level in classrooms and kindergartens
41.
combustion synthesis
42.
confidence level
43.
control system synthesis
44.
counterexample-guided inductive synthesis
45.
country-level logistics
46.
Cross-level Modeling of Faults in Digital Systems
47.
customer compatibility level
48.
data synthesis
49.
deep level
50.
deep level traps
51.
determination of the CO2 level
52.
determining the level of creatine
53.
digitalisation level
54.
distribution-level phasor measurement units (D-PMUs)
55.
diversity-oriented synthesis
56.
DNA synthesis
57.
ecological synthesis
58.
education level
59.
enantioselective synthesis
60.
evidence synthesis
61.
exposure level
62.
extreme penetration level of non synchronous generation
63.
extreme water level
64.
flame aerosol synthesis
65.
gate-level analysis
66.
gate-level circuit abstraction
67.
gate-level netlist
68.
graduate level
69.
green synthesis
70.
green synthesis biomaterials
71.
growth-synthesis
72.
hierarchical two-level analysis
73.
highly chemoselective synthesis
74.
histone synthesis
75.
hydrothermal synthesis
76.
improvement of safety level at enterprises
77.
improvement of safety level at SMEs
78.
in situ synthesis
79.
Layout Synthesis
80.
level control
81.
level crossing
82.
Level of paranoia
83.
level set
84.
level(s) methodology
85.
level-crossing ADC
86.
level-crossing analog-to-digital converters
87.
level-crossing analogue-to-digital converters (ADC)
88.
lipid synthesis
89.
logic level
90.
logic synthesis
91.
low temperature synthesis
92.
lower trophic level models
93.
low-level control system transportation
94.
low-level fault redundancy
95.
low-level radiation
96.
Low-level RF EMF
97.
macro-level industry influences
98.
mean sea level
99.
mechanically activated synthesis
100.
mechanically activated thermal synthesis
101.
microwave assisted synthesis
102.
microwave synthesis
103.
microwave-assisted synthesis
104.
module level power electronics (MLPE)
105.
module-level power electronics (MLPE)
106.
molten salt synthesis
107.
molten salt synthesis-growth
108.
multi-level governance
109.
multi-level inverter
110.
multi-level leadership
111.
multi-level modeling
112.
multi-level perspective
113.
multi-level perspective of sustainability transitions
114.
multi-level selection and processing environment
115.
nano-crystal synthesis
116.
nanomaterials, synthesis
117.
Nanoparticle synthesis
118.
nickel nanoparticle synthesis
119.
operational level (OL)
120.
organic synthesis
121.
parameter synthesis
122.
peroxide synthesis
123.
pigment synthesis
124.
Price level
125.
Process/Product Sigma Performance Level (PSPL)
126.
Protecting-group-free synthesis
127.
protein synthesis
128.
PV module level power electronics
129.
Realist synthesis
130.
register transfer and gate level simulation
131.
Register Transfer Level - RTL
132.
register transfer level modeling decision diagams
133.
register-transfer level
134.
relative sea level
135.
relative sea level changes
136.
relative sea-level change
137.
RH level
138.
school-level policies
139.
sea level
140.
sea level forecasting
141.
sea level prediction
142.
sea level rise
143.
sea level series
144.
sea level trend
145.
sea level: variations and mean
146.
sea-level
147.
sea-level changes
148.
sea-level equation
149.
Sea-level indicator
150.
sea-level prediction
151.
sea-level rise
152.
sea-level trend
153.
semi-synthesis
154.
service-level agreements
155.
seven-level multilevel
156.
Sigma performance level
157.
signal synthesis
158.
skin conductance level
159.
software level TMR
160.
sol-gel synthesis
161.
solution based synthesis
162.
solution combustion synthesis
163.
speech synthesis
164.
steel-level bureaucracy
165.
stereoselective synthesis
166.
strategic level decision makers
167.
synthesis
168.
synthesis gas
169.
synthesis on hierarchical service models
170.
synthesis strategies
171.
system level
172.
system level hazards
173.
system planning level
174.
system-level analysis
175.
system-level evaluation
176.
task-level uninterrupted presence
177.
template synthesis
178.
three-level
179.
three-level converter
180.
three-level inverter
181.
three-level neutral-point-clamped inverter
182.
three-level NPC inverter
183.
three-level T-type
184.
three-level T-type inverter
185.
three-level T-type quasi-impedance-source inverter (3L-T-type qZSI)
186.
three-level voltage inverter
187.
Tool Confidence Level
188.
top-level domain
189.
total synthesis
190.
transaction-level modeling
191.
treatment level
192.
two-level inverter
193.
undergraduate level
194.
university level informatics education
195.
water level
196.
water level fluctuation
197.
water level measurements
198.
water level reconstruction
199.
water-level changes
200.
wet-combustion synthesis
201.
voltage level
202.
voltage level optimisation
203.
3-level T-type inverter
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT