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
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
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/164)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT fail
Salvesta PDF 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
164
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.
default logic
8.
diagrammatic logic
9.
digital logic
10.
dynamic logic
11.
epistemic logic
12.
formal logic
13.
fuzzy logic
14.
fuzzy logic
15.
fuzzy logic control
16.
fuzzy logic controller
17.
fuzzy logic controller (FLC)
18.
fuzzy logic model
19.
graphical method of logic
20.
history of logic
21.
Hoare logic
22.
Husserl and Pierce on logic of probability
23.
independence-friendly logic
24.
intuitionistic logic
25.
linear logic
26.
logic
27.
logic built-in self-test
28.
logic cell library
29.
logic circuit
30.
logic design
31.
logic diagram
32.
logic diagrams
33.
logic education
34.
logic for pragmatics
35.
logic gates
36.
logic in computer science
37.
logic in society
38.
logic level
39.
logic level and high level BDDs
40.
logic locking
41.
logic models
42.
logic notation
43.
logic obfuscation
44.
logic of bunched implications
45.
logic of relatives
46.
logic of speech acts
47.
logic synthesis
48.
logic teaching
49.
logic-based distributed routing
50.
malicious logic
51.
mathematical logic
52.
modal logic
53.
Natural logic
54.
Peirce's existential graphs and transcendental logic
55.
philosophical logic
56.
philosophy of logic
57.
pragmatic logic
58.
probabilistic relational program logic
59.
programmable logic
60.
quantitative logic
61.
quantum logic
62.
race logic
63.
reconfigurable logic
64.
routing logic
65.
S4 modal logic
66.
S-D logic
67.
Service-Dominant logic
68.
stateful logic computation
69.
symbolic knowledge in Husserlian pure logic
70.
symbolic logic
71.
temporal logic
72.
annual energy simulation
73.
back traced simulation
74.
building energy simulation
75.
building simulation
76.
casting simulation
77.
CFD simulation
78.
circuit simulation
79.
CoCoViLa simulation environment
80.
computer simulation
81.
computer simulation environments
82.
cooling simulation
83.
co-simulation
84.
data simulation
85.
digital real time simulation
86.
dynamic simulation
87.
electric field simulation
88.
emergency simulation
89.
energy simulation
90.
energy simulation software
91.
environmental performance assessment and simulation
92.
Fault Injection Simulation
93.
fault simulation
94.
fault simulation with critical path tracing
95.
finite element method (FEM) simulation
96.
finite element simulation
97.
fluid flow simulation
98.
FMS modelling and simulation
99.
fullscale simulation
100.
gait simulation
101.
hardware-in-the loop simulation
102.
Hardware-in-the-Loop simulation
103.
high-level fault simulation
104.
hospital simulation
105.
hot/cold pressing and finite element model simulation
106.
hygrothermal simulation
107.
impact-abrasive simulation
108.
intelligent simulation
109.
intelligent simulation environment
110.
LES (large eddy simulation) method
111.
magnetics field simulation
112.
Mathematical simulation
113.
MATLAB simulation
114.
medical simulation
115.
meso-scale simulation
116.
MICA2 simulation
117.
modeling and simulation
118.
modelling and simulation
119.
Monte Carlo simulation
120.
Monte Carlo simulation (MCS)
121.
multi agent simulation
122.
multiscale simulation
123.
numerical simulation
124.
parallel fault-simulation
125.
parallel simulation
126.
phase diagram simulation
127.
power system simulation
128.
ray-tracing simulation
129.
real time simulation
130.
real-time simulation
131.
register transfer and gate level simulation
132.
response simulation
133.
rheology simulation
134.
signal simulation
135.
signal simulation and modeling
136.
similar material simulation test
137.
simulation
138.
simulation analysis
139.
simulation applications
140.
simulation based static optimization
141.
simulation based TMY
142.
simulation model
143.
simulation modeling
144.
simulation models
145.
simulation of air change
146.
simulation of energy consumption
147.
simulation software "Delphin"
148.
simulation training
149.
simulationbased decision support
150.
simulation-based verification
151.
spinach simulation
152.
SUMO simulation
153.
supply chain simulation
154.
systems simulation
155.
TD-DFT simulation
156.
urban simulation
157.
validation of simulation model
158.
wear simulation
159.
vehicle simulation
160.
whole building simulation
161.
visual simulation
162.
3D simulation
163.
5G New Radio simulation
164.
(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