Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

logic simulation (keyword)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 2
Look more.. (1/179)
Export

export all inquiry results (2)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article

Logic simulation and fault collapsing with shared structurally synthesized BDDsMironov, Dmitri; Ubar, Raimund-Johannes; Raik, Jaan2014 19th IEEE European Test Symposium (ETS) : May 26th-30th, 2014, Paderborn, Germany : proceedings2014 / [2] p. : ill

book article
2

journal article EST / journal article ENG

Modeling and simulation of circuits with shared structurally synthesized BDDsUbar, Raimund-Johannes; Jürimägi, Lembit; Raik, Jaan; Viies, VladimirMicroprocessors and microsystems2017 / 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

journal article EST / journal article ENG

Number of records 2, displaying 1 - 2

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

match

sort

Otsing
Valikud 0

year of publication

author

TalTech department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu