Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
logic simulation (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(1/163)
Export
export all inquiry results
(2)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article
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
book article
2
journal article
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
http://dx.doi.org/10.1016/j.micpro.2016.09.006
journal article
Number of records 2, displaying
1 - 2
keyword
163
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.
programmable logic
59.
quantitative logic
60.
quantum logic
61.
race logic
62.
reconfigurable logic
63.
routing logic
64.
S4 modal logic
65.
S-D logic
66.
Service-Dominant logic
67.
stateful logic computation
68.
symbolic knowledge in Husserlian pure logic
69.
symbolic logic
70.
temporal logic
71.
annual energy simulation
72.
back traced simulation
73.
building energy simulation
74.
building simulation
75.
casting simulation
76.
CFD simulation
77.
circuit simulation
78.
CoCoViLa simulation environment
79.
computer simulation
80.
computer simulation environments
81.
cooling simulation
82.
co-simulation
83.
data simulation
84.
digital real time simulation
85.
dynamic simulation
86.
electric field simulation
87.
emergency simulation
88.
energy simulation
89.
energy simulation software
90.
environmental performance assessment and simulation
91.
Fault Injection Simulation
92.
fault simulation
93.
fault simulation with critical path tracing
94.
finite element method (FEM) simulation
95.
finite element simulation
96.
fluid flow simulation
97.
FMS modelling and simulation
98.
fullscale simulation
99.
gait simulation
100.
hardware-in-the loop simulation
101.
Hardware-in-the-Loop simulation
102.
high-level fault simulation
103.
hospital simulation
104.
hot/cold pressing and finite element model simulation
105.
hygrothermal simulation
106.
impact-abrasive simulation
107.
intelligent simulation
108.
intelligent simulation environment
109.
LES (large eddy simulation) method
110.
magnetics field simulation
111.
Mathematical simulation
112.
MATLAB simulation
113.
medical simulation
114.
meso-scale simulation
115.
MICA2 simulation
116.
modeling and simulation
117.
modelling and simulation
118.
Monte Carlo simulation
119.
Monte Carlo simulation (MCS)
120.
multi agent simulation
121.
multiscale simulation
122.
numerical simulation
123.
parallel fault-simulation
124.
parallel simulation
125.
phase diagram simulation
126.
power system simulation
127.
ray-tracing simulation
128.
real time simulation
129.
real-time simulation
130.
register transfer and gate level simulation
131.
response simulation
132.
rheology simulation
133.
signal simulation
134.
signal simulation and modeling
135.
similar material simulation test
136.
simulation
137.
simulation analysis
138.
simulation applications
139.
simulation based static optimization
140.
simulation based TMY
141.
simulation model
142.
simulation modeling
143.
simulation models
144.
simulation of air change
145.
simulation of energy consumption
146.
simulation software "Delphin"
147.
simulation training
148.
simulationbased decision support
149.
simulation-based verification
150.
spinach simulation
151.
SUMO simulation
152.
supply chain simulation
153.
systems simulation
154.
TD-DFT simulation
155.
urban simulation
156.
validation of simulation model
157.
wear simulation
158.
vehicle simulation
159.
whole building simulation
160.
visual simulation
161.
3D simulation
162.
5G New Radio simulation
163.
(co-)simulation
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT