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/218)
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
218
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.
relative sea level
145.
relative sea level changes
146.
relative sea-level change
147.
RH level
148.
school-level policies
149.
sea level
150.
sea level forecasting
151.
sea level prediction
152.
sea level rise
153.
sea level series
154.
sea level trend
155.
sea level: variations and mean
156.
sea-level
157.
sea-level changes
158.
sea-level equation
159.
Sea-level indicator
160.
sea-level prediction
161.
sea-level rise
162.
sea-level trend
163.
semi-synthesis
164.
service-level agreements
165.
seven-level multilevel
166.
Sigma performance level
167.
signal synthesis
168.
skin conductance level
169.
software level TMR
170.
software security level
171.
sol-gel synthesis
172.
solution based synthesis
173.
solution combustion synthesis
174.
speech synthesis
175.
steel-level bureaucracy
176.
stereoselective synthesis
177.
strategic level decision makers
178.
sufficient level of security
179.
sustainable synthesis
180.
synthesis
181.
synthesis gas
182.
synthesis on hierarchical service models
183.
synthesis strategies
184.
system level
185.
system level hazards
186.
system level simulation
187.
system planning level
188.
system-level analysis
189.
system-level evaluation
190.
task-level uninterrupted presence
191.
telescoped synthesis
192.
template synthesis
193.
three-level
194.
three-level converter
195.
three-level inverter
196.
three-level neutral-point-clamped inverter
197.
three-level NPC inverter
198.
three-level T-type
199.
three-level T-type inverter
200.
three-level T-type quasi-impedance-source inverter (3L-T-type qZSI)
201.
three-level voltage inverter
202.
Tool Confidence Level
203.
top-level domain
204.
total synthesis
205.
transaction-level modeling
206.
treatment level
207.
two-level inverter
208.
undergraduate level
209.
university level informatics education
210.
water level
211.
water level fluctuation
212.
water level measurements
213.
water level reconstruction
214.
water-level changes
215.
wet-combustion synthesis
216.
voltage level
217.
voltage level optimisation
218.
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