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/178)
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. Service-Dominant logic
76. stateful logic computation
77. substructural logic
78. symbolic knowledge in Husserlian pure logic
79. symbolic logic
80. temporal logic
81. annual energy simulation
82. back traced simulation
83. building energy simulation
84. building simulation
85. casting simulation
86. CFD simulation
87. circuit simulation
88. CoCoViLa simulation environment
89. computer simulation
90. computer simulation environments
91. cooling simulation
92. co-simulation
93. data simulation
94. digital real time simulation
95. dynamic simulation
96. electric field simulation
97. emergency simulation
98. energy simulation
99. energy simulation software
100. environmental performance assessment and simulation
101. Fault Injection Simulation
102. fault simulation
103. fault simulation with critical path tracing
104. finite element method (FEM) simulation
105. finite element simulation
106. fluid flow simulation
107. FMS modelling and simulation
108. fullscale simulation
109. gait simulation
110. hardware-in-the loop simulation
111. Hardware-in-the-Loop simulation
112. high-level fault simulation
113. hospital simulation
114. hot/cold pressing and finite element model simulation
115. hygrothermal simulation
116. impact scenario simulation
117. impact-abrasive simulation
118. intelligent simulation
119. intelligent simulation environment
120. LES (large eddy simulation) method
121. magnetics field simulation
122. Mathematical simulation
123. MATLAB simulation
124. medical simulation
125. meso-scale simulation
126. MICA2 simulation
127. modeling and simulation
128. modelling and simulation
129. Monte Carlo simulation
130. Monte Carlo simulation (MCS)
131. multi agent simulation
132. multiscale simulation
133. Multi-valued Simulation for Hazard Detection in Digital Circuits
134. numerical simulation
135. Parallel Fault Simulation with Critical Path Backtracing
136. parallel fault-simulation
137. parallel simulation
138. phase diagram simulation
139. power system simulation
140. ray-tracing simulation
141. real time simulation
142. real-time simulation
143. register transfer and gate level simulation
144. response simulation
145. rheology simulation
146. Siemens Tecnomatix Plant Simulation (STPS) platform
147. signal simulation
148. signal simulation and modeling
149. similar material simulation test
150. simulation
151. simulation analysis
152. simulation and analysis
153. simulation applications
154. simulation based static optimization
155. simulation based TMY
156. simulation model
157. simulation modeling
158. simulation models
159. simulation of air change
160. simulation of energy consumption
161. simulation software "Delphin"
162. simulation training
163. simulationbased decision support
164. simulation-based verification
165. spinach simulation
166. SUMO simulation
167. supply chain simulation
168. systems simulation
169. TD-DFT simulation
170. urban simulation
171. validation of simulation model
172. wear simulation
173. vehicle simulation
174. whole building simulation
175. visual simulation
176. 3D simulation
177. 5G New Radio simulation
178. (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