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/170)
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
170
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-abrasive simulation
112.
intelligent simulation
113.
intelligent simulation environment
114.
LES (large eddy simulation) method
115.
magnetics field simulation
116.
Mathematical simulation
117.
MATLAB simulation
118.
medical simulation
119.
meso-scale simulation
120.
MICA2 simulation
121.
modeling and simulation
122.
modelling and simulation
123.
Monte Carlo simulation
124.
Monte Carlo simulation (MCS)
125.
multi agent simulation
126.
multiscale simulation
127.
Multi-valued Simulation for Hazard Detection in Digital Circuits
128.
numerical simulation
129.
Parallel Fault Simulation with Critical Path Backtracing
130.
parallel fault-simulation
131.
parallel simulation
132.
phase diagram simulation
133.
power system simulation
134.
ray-tracing simulation
135.
real time simulation
136.
real-time simulation
137.
register transfer and gate level simulation
138.
response simulation
139.
rheology simulation
140.
signal simulation
141.
signal simulation and modeling
142.
similar material simulation test
143.
simulation
144.
simulation analysis
145.
simulation applications
146.
simulation based static optimization
147.
simulation based TMY
148.
simulation model
149.
simulation modeling
150.
simulation models
151.
simulation of air change
152.
simulation of energy consumption
153.
simulation software "Delphin"
154.
simulation training
155.
simulationbased decision support
156.
simulation-based verification
157.
spinach simulation
158.
SUMO simulation
159.
supply chain simulation
160.
systems simulation
161.
TD-DFT simulation
162.
urban simulation
163.
validation of simulation model
164.
wear simulation
165.
vehicle simulation
166.
whole building simulation
167.
visual simulation
168.
3D simulation
169.
5G New Radio simulation
170.
(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