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