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/188)
Export

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