Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
logic simulation (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
2
Vaata veel..
(1/191)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
Logic simulation and fault collapsing with shared structurally synthesized BDDs
Mironov, Dmitri
;
Ubar, Raimund-Johannes
;
Raik, Jaan
2014 19th IEEE European Test Symposium (ETS) : May 26th-30th, 2014, Paderborn, Germany : proceedings
2014
/
[2] p. : ill
artikkel kogumikus
2
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Modeling and simulation of circuits with shared structurally synthesized BDDs
Ubar, Raimund-Johannes
;
Jürimägi, Lembit
;
Raik, Jaan
;
Viies, Vladimir
Microprocessors and microsystems
2017
/
p. 56-61 : ill
https://doi.org/10.1016/j.micpro.2016.09.006
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
191
1.
logic simulation
2.
logic models and simulation
3.
logic and philosophy of logic
4.
algebra of logic
5.
binary logic controller
6.
Boolean logic
7.
Compound logic locking
8.
Compound logic locking (CLL)
9.
constraint logic programming
10.
constraint logic programming (LP) (CLP)
11.
constructive logic
12.
default logic
13.
diagrammatic logic
14.
digital logic
15.
dynamic logic
16.
epistemic logic
17.
ethics and logic
18.
formal logic
19.
fuzzy logic
20.
fuzzy logic
21.
fuzzy logic control
22.
fuzzy logic controller
23.
fuzzy logic controller (FLC)
24.
fuzzy logic model
25.
graphical method of logic
26.
history of logic
27.
Hoare logic
28.
Husserl and Pierce on logic of probability
29.
independence-friendly logic
30.
Inductive logic programming
31.
intuitionistic logic
32.
linear logic
33.
linear logic of Petri nets
34.
logic
35.
logic built-in self-test
36.
logic cell library
37.
logic circuit
38.
logic design
39.
logic diagram
40.
logic diagrams
41.
logic education
42.
logic for pragmatics
43.
logic gates
44.
logic in AI
45.
logic in computer science
46.
logic in society
47.
logic level
48.
logic level and high level BDDs
49.
logic locking
50.
logic machine
51.
logic models
52.
logic notation
53.
logic obfuscation
54.
logic of bunched implications
55.
logic of relatives
56.
logic of science
57.
logic of speech acts
58.
logic synthesis
59.
logic teaching
60.
logic-based distributed routing
61.
malicious logic
62.
mathematical logic
63.
modal logic
64.
Natural logic
65.
Peirce's existential graphs and transcendental logic
66.
philosophical logic
67.
philosophy of logic
68.
pragmatic logic
69.
probabilistic relational program logic
70.
programmable logic
71.
programmable logic controller (PLC)
72.
quantitative logic
73.
quantum logic
74.
race logic
75.
reconfigurable logic
76.
routing logic
77.
S4 modal logic
78.
S-D logic
79.
Semi-substructural logic
80.
Service-Dominant logic
81.
stateful logic computation
82.
substructural logic
83.
symbolic knowledge in Husserlian pure logic
84.
symbolic logic
85.
temporal logic
86.
annual energy simulation
87.
back traced simulation
88.
building energy performance simulation
89.
building energy simulation
90.
building performance simulation
91.
building simulation
92.
casting simulation
93.
CFD simulation
94.
circuit simulation
95.
CoCoViLa simulation environment
96.
computer simulation
97.
computer simulation environments
98.
cooling simulation
99.
co-simulation
100.
data simulation
101.
digital real time simulation
102.
digital shipping simulation
103.
dynamic simulation
104.
electric field simulation
105.
emergency simulation
106.
energy simulation
107.
energy simulation software
108.
environmental performance assessment and simulation
109.
Fault Injection Simulation
110.
fault simulation
111.
fault simulation with critical path tracing
112.
finite element method (FEM) simulation
113.
finite element simulation
114.
fluid flow simulation
115.
FMS modelling and simulation
116.
fullscale simulation
117.
gait simulation
118.
hardware-in-the loop simulation
119.
Hardware-in-the-Loop simulation
120.
high-level fault simulation
121.
hospital simulation
122.
hot/cold pressing and finite element model simulation
123.
hygrothermal simulation
124.
impact scenario simulation
125.
impact-abrasive simulation
126.
intelligent simulation
127.
intelligent simulation environment
128.
LES (large eddy simulation) method
129.
long-term simulation
130.
magnetics field simulation
131.
Mathematical simulation
132.
MATLAB simulation
133.
medical simulation
134.
meso-scale simulation
135.
MICA2 simulation
136.
model building and simulation
137.
modeling and simulation
138.
modelling and simulation
139.
Monte Carlo simulation
140.
Monte Carlo simulation (MCS)
141.
multi agent simulation
142.
multiscale simulation
143.
Multi-valued Simulation for Hazard Detection in Digital Circuits
144.
numerical simulation
145.
Parallel Fault Simulation with Critical Path Backtracing
146.
parallel fault-simulation
147.
parallel simulation
148.
phase diagram simulation
149.
power system simulation
150.
process simulation
151.
ray-tracing simulation
152.
real time simulation
153.
real-time simulation
154.
register transfer and gate level simulation
155.
response simulation
156.
rheology simulation
157.
Siemens Tecnomatix Plant Simulation (STPS) platform
158.
signal simulation
159.
signal simulation and modeling
160.
similar material simulation test
161.
simulation
162.
simulation analysis
163.
simulation and analysis
164.
simulation applications
165.
simulation based static optimization
166.
simulation based TMY
167.
simulation model
168.
simulation modeling
169.
simulation models
170.
simulation of air change
171.
simulation of energy consumption
172.
simulation software "Delphin"
173.
simulation trace
174.
simulation training
175.
simulationbased decision support
176.
simulation-based verification
177.
spinach simulation
178.
SUMO simulation
179.
supply chain simulation
180.
system level simulation
181.
systems simulation
182.
TD-DFT simulation
183.
urban simulation
184.
validation of simulation model
185.
wear simulation
186.
vehicle simulation
187.
whole building simulation
188.
visual simulation
189.
3D simulation
190.
5G New Radio simulation
191.
(co-)simulation
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT