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