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