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