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